formula: p ⊕ q ≡ (p ∧ ∼ q) ∨ (∼ p ∧ q)
(p ∨ ~ q) ⊕ (r ∧ p)
≡ ((p ∨ ~ q) ∧ (~ (r ∧ p)) ) ∨ (~ (p ∨ ~ q) ∧ (r ∧ p))
(~ (p ∨ ~ q) ∧ (r ∧ p)) ≡ ~ p ∧ q ∧ r ∧ p ≡ ~ p ∧ p ∧ q ∧ r ≡ False ∧ q ∧ r ≡ False
((p ∨ ~ q) ∧ (~ (r ∧ p)) ) ∨ (~ (p ∨ ~ q) ∧ (r ∧ p))
≡((p ∨ ~ q) ∧ (~ (r ∧ p)) ) ∨ False
≡ (p ∨ ~ q) ∧ (~ (r ∧ p))
≡ (p ∨ ~ q) ∧ (~ r ∨ ~ p))
{{p, q}, {¬r, ¬p}}