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.