- cnftt.py : Conjunct Normal Form - Truth tabe. From a valid logical expression convert to CNF and display it's truth table
- sequent.py : Prove that the given sequent is valid or not
- eqiuv.py : Prove that the given relation is equivalent using truth tables.
All the files use string processing and logical statements to evaluate.
Submitted on : 27/11/2010