Solution for Section 1.1 Question 6

6. Since there are two statement variables, the truth table will have 4 rows.

p q   p L q ~p ~q p  L ~q ~p V (p L ~q)   (p L q) V (~p V (p L ~q))
T T   T F F F F   T
T F   F F T T T   T
F T   F T F F T   T
F F   F T T F T   T

Since the final column contains only Ts, the statement  (p L q) V (~p V (p L ~q))  is a tautology.

Back to Section 1.1