Solution for Section 1.1 Question 5

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

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

Since columns 5 and 6 have identical truth values, the statements forms p L ~q  and (p V q) L  ~q are logically equivalent.

Back to Section 1.1