Tautologia é um conceito da lógica que se refere a uma proposição ou expressão que é sempre verdadeira, independentemente dos valores de verdade das suas partes constitutivas. Em outras palavras, uma tautologia é uma afirmação que não pode ser falsa em nenhuma circunstância.
Nesse contexto, analise as proposições que seguem:

I. (P → Q) ↔ (~P v Q)
II.~(P v Q) ↔ ~P v ~Q v P
III. (P v Q) v (R ^ S) ↔ P ^ Q ^ R ^ S

É correto afirmar que: