Formulas as Trees
Description
This tool can be used to display a formula in tree form. By entering
truth assignments for the atoms of the formula
we can see how truth values propagate up the tree.
Instructions
Enter a formula and press the "GO" button.
The formula will be displayed in tree form.
Assign truth values to the atoms in the formula using the boxes at the
bottom of the screen. Use T or F to denote
the truth values.
Press the "TRUTH VALUE" button to generate a tree displaying the truth
values of operators given your truth
assignments.
An atom can be any string consisting of one or more letters.
Use the following symbols for the logical connectives:
| ^ | (and) |
| v | (or) |
| => | (implication) |
| <=> | (equivalence) |
| ~ | (not) |
|