(𝑝 ∧ ∼ 𝑞) ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 ∧ (∼ 𝑞 ∨ 𝑞) …..(a)
≡ 𝑝 ∧ (𝑞 ∨ ∼ 𝑞) …..(b)
≡ 𝑝 ∧ 𝑡 …. (c)
≡ 𝑝 .…(d)