Considerando as proposições compostas e, por consequência, os conectivos lógicos, é possível determinar diversas estruturas para as quais se podem avaliar os valores-verdade. Assim, é correto afirmar que duas proposições compostas são equivalentes somente se suas tabelas-verdade têm, como resposta, a mesma sequência de valores lógicos. Nesse contexto, sendo P1 e P2 proposições compostas equivalentes, assinale a alternativa na qual sempre figuram tautologias.

a) P1 ˄ P2 e P1 ˅ P2
b) P1 ˅ P2 e P1 → P2
c) P1 → P2 e P1 ↔ P2
d) P1 ↔ P2 e P1 ˄ P2
e) ~P1 e ~P2