IMA 111-Discrete Mathematics: Assignment 1

August 31, 2023

Q1. Prove the following equivalences:

1) p → q ≡ ¬p ∨ q
2) ¬(p → q) ≡ p ∧ ¬q
3) p ∨ q ≡ ¬p → q
4) p ∧ q ≡ ¬(p → ¬q)
5) (p → q) ∧ (p → r) ≡ p → (q ∧ r)
6) (p → r) ∧ (q → r) ≡ (p ∨ q) → r
7) (p → q) ∨ (p → r) ≡ p → (q ∨ r)
8) (p → r) ∨ (q → r) ≡ (p ∧ q) → r

Q2: Prove;

1) p↔q ≡p→q∧q →p
2) p ↔ q ≡ ¬p ↔ ¬q
3) p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)
4) ¬(p ↔ q) ≡ p ↔ ¬q

Q3. Show in at least two different ways that the compound propositions ¬p ∨ (r → ¬q)
and ¬p ∨ ¬q ∨ ¬r are equivalent.