///
São dadas as proposições simples p, q e r e as seguintes proposições compostas:
I. (∼p ∨ ∼(q ∧ r)) ↔ ((r ∨ q) ↔ (q ⊕ r))
II. (p → q) ↔ (∼q → ∼p)
Sendo (⊕) o conectivo para a disjunção exclusiva, e (∼) o operador para negação, as proposições (i) e (ii) são, respectivamente,