BASIC TABLES
| P | Q | ~Q | P • Q | P ∨ Q | P ⊃ Q | P ≡ Q |
| T | T | F | T | T | T | T |
| T | F | T | F | T | F | F |
| F | T | F | F | T | T | F |
| F | F | T | F | F | T | T |
Place a value under the operator for which it is the output.
Hint: Move to the first ) . Backup to the previous ( and calculate the value of the enclosed •∨⊃≡ . The inputs will NOT be used again. The COLUMN of inputs can be marked by changing the case. If a ~ is before the ( , the enclosed value is its input.
Repeat for each NEW pair of ( ).
If a •∨⊃≡ is still uncalculated, it is the MAIN OPERATOR. Use the remaining values to find its truth value.
But if no operator remains uncalculated, the very first symbol is the MO.