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.