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.