Latest changes to files of the package "First Order Logic Prop" http://www.phpclasses.org/browse/package/1344.html 2009-11-09T10:17:38Z http://www.phpclasses.org/browse/package/1344.html http://files.phpclasses.org/graphics/elephpant_logo.gif http://www.phpclasses.org/browse/file/5021.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5021.html">examples/example6.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">Shows conjunctive/disjunctive forms of a proposition. You can see here that the computation time is a bit long :(</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T18:01:26Z http://www.phpclasses.org/browse/file/5020.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5020.html">examples/example5.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">Shows how you can extend the base class to have nice HTML output of the values table</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:59:50Z http://www.phpclasses.org/browse/file/5019.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5019.html">examples/example4.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">Show cloning feature, and how to set values to variables in a proposition</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:58:55Z http://www.phpclasses.org/browse/file/5017.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5017.html">examples/example2.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">testing EQUALITY (and not equivalence) of formulas</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:57:51Z http://www.phpclasses.org/browse/file/5018.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5018.html">examples/example3.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">testing if propositions are in disjunctive/conjunctive forms</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:55:29Z http://www.phpclasses.org/browse/file/5016.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5016.html">examples/example1.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">basic operations on propositions</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:52:30Z http://www.phpclasses.org/browse/file/5015.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5015.html">demo/syntax.litteral</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">Defines litteral syntax for the demo file (it then accepts two syntax, for example &quot;a &amp; b&quot; is the same than &quot;a AND b&quot;). This is an example on how you can add your own supported syntax</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Auxiliary data</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:51:22Z http://www.phpclasses.org/browse/file/5014.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5014.html">demo/index.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">The basic demo: showing the values table, normal forms, and can prove the given formula</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Example script</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:49:49Z http://www.phpclasses.org/browse/file/5013.html <table style="width: 60em"> <tr> <td valign="top" style="width: 99%"><table style="width: 100%" cellpadding="2" cellspacing="0"> <tr> <td style="text-align: right; width: 1%">File: </td> <td style="background-color: #dcdce0"><a href="http://www.phpclasses.org/browse/file/5013.html">FirstOrderLogicProp.inc.php</a></td> </tr> <tr> <td style="text-align: right; width: 1%">Description: </td> <td style="background-color: #d0d0d4"><span name="description">The file containing base class and the checker class</span></td> </tr> <tr> <td style="text-align: right; width: 1%">Role: </td> <td style="background-color: #dcdce0">Class source</td> </tr> <tr> <td style="text-align: right; width: 1%; white-space: nowrap">Age in days: </td> <td style="background-color: #d0d0d4">2,225</td> </tr> </table> </td> </tr></table> 2003-10-07T17:46:20Z Search the PHP Classes site http://www.phpclasses.org/search.html?go_search=1 words