Truth Table Generator
Description
This tool is used to automatically generate the truth table for a formula.
Instructions
Enter a formula in the box below. The formula should have no more than
10 atoms for the truth table calculation to be quick.
Click on the "GO" button and the truth table for the formula is displayed.
An atom can be any string consisting of one or more letters. The strings
"TRUE" and "FALSE" can be used to denote constant truth values.
Use the following symbols for the logical connectives:
| ^ | (and) |
| v | (or) |
| => | (implication) |
| <=> | (equivalence) |
| ~ | (not) |
|