PHP Classes: Latest changes to "First Order Logic Prop"

examples/example6.php (2,225 days ago)

Tue, 07 Oct 2003 18:01:26 GMT

File:	examples/example6.php
Description:	Shows conjunctive/disjunctive forms of a proposition. You can see here that the computation time is a bit long :(
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:59:50 GMT

File:	examples/example5.php
Description:	Shows how you can extend the base class to have nice HTML output of the values table
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:58:55 GMT

File:	examples/example4.php
Description:	Show cloning feature, and how to set values to variables in a proposition
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:57:51 GMT

File:	examples/example2.php
Description:	testing EQUALITY (and not equivalence) of formulas
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:55:29 GMT

File:	examples/example3.php
Description:	testing if propositions are in disjunctive/conjunctive forms
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:52:30 GMT

File:	examples/example1.php
Description:	basic operations on propositions
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:51:22 GMT

File:	demo/syntax.litteral
Description:	Defines litteral syntax for the demo file (it then accepts two syntax, for example "a & b" is the same than "a AND b"). This is an example on how you can add your own supported syntax
Role:	Auxiliary data
Age in days:	2,225

Tue, 07 Oct 2003 17:49:49 GMT

File:	demo/index.php
Description:	The basic demo: showing the values table, normal forms, and can prove the given formula
Role:	Example script
Age in days:	2,225

Tue, 07 Oct 2003 17:46:20 GMT

File:	FirstOrderLogicProp.inc.php
Description:	The file containing base class and the checker class
Role:	Class source
Age in days:	2,225