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: