São dadas as proposições simples p, q e r e as seguintes proposições compostas:

I. (∼p !$ \lor !$ ∼(q !$ \land !$ r)) ↔ ((r !$ \lor !$ q) ↔ (q !$ \oplus !$ r))

II. (p → q) ↔ (∼q → ∼p)

Sendo (!$ \oplus !$) o conectivo para a disjunção exclusiva, e (∼) o operador para negação, as proposições (i) e (ii) são, respectivamente,