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: