Dadas as proposições simples p, q e r, o conectivo (⊕) para a disjunção exclusiva e o operador (¬) para negação, considere as seguintes proposições compostas:
(I) ((p → q) ∨ (q → p)) ∧ ¬(¬r ⊕ r)
(II) (p → (q ∨ r)) ↔ (¬p ∧ r)
As proposições (I) e (II) são, respectivamente,
