6 - Verificação de (p ∧ q ∧ r) ∨ (p ∧ ~r) ∨ (p ∧ ~q) ⇔ p

Equivalência (p ∧ q ∧ r) ∨ (p ∧ ~r) ∨ (p ∧ ~q) ⇔ p comprovada via método dedutivo.