| Practice recognising well formed formulas. | ||
| Practice transforming full syntax into short hand syntax. | ||
| Practice operator precedence by recognising the top level operator of formulas. | ||
| Generates the truth table for a specified formula automatically. | ||
| Displays a given formula and its truth values in tree form. | ||
| Generates the conjunctive normal form of a given formula automatically. | ||
| Practice constructing resolution proofs. | ||
This website was created by Elin Uddenberg as a 4th year dissertation
project in computer science
at Heriot-Watt University.