6. There are two statement variables so the truth table will have 4 rows. Start by filling in all possible combinations of truth values for p and q.
| p | q | p |
q |
(p |
p |
||
| T | T | ||||||
| T | F | ||||||
| F | T | ||||||
| F | F |
Now use the truth values in columns 1 and 2, and the definition of
to
fill in columns 3 and 4.
| p | q | p |
q |
(p |
p |
||
| T | T | T | T | ||||
| T | F | F | T | ||||
| F | T | T | F | ||||
| F | F | T | T |
Now use columns 3 and 4, and the definition of L to fill in
column 5. Then use columns 1 and 2, and the definition of
to fill in the final column. Then compare
the truth values in columns 5 and 6.