COMP107 2021

Tutorial 5

1. Construct complete truth tables for the following logical statements:

a. (𝑝 ⋀ ¬ 𝑞) → 𝑞

b. ¬ 𝑞 → (𝑝 ∨ ¬ 𝑟)

c. (𝑝 → 𝑞) ↔ ¬ (𝑞 ∧ 𝑟)

2. Use truth tables to determine if the below argument is valid showing all working.

𝑝 →𝑞
𝑞 →¬𝑟
𝑟
∴ ¬𝑝

3. Which of the below statements are logically equivalent? Prove your answer using truth tables and show all
working.

a. (𝑝 ⋀ ¬ 𝑞) ∨ ( ¬ 𝑝 ∧ 𝑞)

b. (𝑝 ∨ 𝑞) ⋀ (¬ (𝑝 ∧ 𝑞))

c. ¬ ((𝑝 ⋀ 𝑞) ∨ ((¬ 𝑝) ∧ (¬ 𝑞)))

4. Which of the below statements is a tautology, a contradiction or neither? Prove your answer using truth tables
and show all working.

a. (𝑝 ⋀ 𝑞) ∨ ( ¬ (𝑝 ∧ 𝑞))

b. (𝑝 ∧ 𝑞 ∧ 𝑟) ∨ (𝑝 ∧ 𝑞 ∧ (¬ 𝑟)) ∨ (¬ (𝑝 ∧ 𝑞))

c. (𝑝 ∨ 𝑞 ∨ 𝑟) ∧ (𝑝 ∨ (¬ 𝑟)) ∧ (¬ 𝑝) ∧ (¬ 𝑞)