Considere as seguintes proposições:

I - (p ∨ q) ⇒ p.
II - (p ∧ q) ⇒ (p ⇔ q).
III - (p ∧ q) ∧ ~ (p ∨ q).

Independentemente dos valores lógicos de p e q, podemos afirmar que I, II e III, nessa ordem, são: