What logical equivalence is used for each step in the given expression?
(p∧ ∼ q) ∨ (p ∧ q) ≡ p ∧ (∼ q ∨ q)
(a) ≡ p ∧ (q∨ ∼ q)
(b) ≡ p ∧ t
(c) ≡ p
(d) Therefore, (p∧ ∼ q) ∨ (p ∧ q) ≡ p