| p | q | p  q |
q p |
(p q) L (q p) |
p  q |
||
| T | T | T | T | T | T | ||
| T | F | F | T | F | F | ||
| F | T | T | F | F | F | ||
| F | F | T | T | T | T |
6. There are two statement variables so the truth table will have 4 rows.
| p | q | p q |
q p |
(p q) L (q p) |
p q |
||
| T | T | T | T | T | T | ||
| T | F | F | T | F | F | ||
| F | T | T | F | F | F | ||
| F | F | T | T | T | T |
The truth values in the final two columns are identical so the statements p
q
and (p q) L (q
p)
are logically equivalent.