An easy way to display the truth values of a compound proposition.
One row for each possible value of the elementary position.
Truth Tables have rows, where N is the number of unique variables (, , etc.)
| p | q | |||
|---|---|---|---|---|
| T | T | F | T | T |
| T | F | F | F | T |
| F | T | T | F | T |
| F | F | T | F | F |
Truth tables can also be used to prove compound propositions.