(CEBRASPE (CESPE) - SOLDADO (CBM BA)/2020) É sabido que tautologia é uma proposição cuja tabela-verdade sempre resulta em valores lógicos verdadeiros. Sendo P uma proposição lógica, assinale a alternativa incorreta.

a) (P v ~P) é um caso de tautologia
b) (P ^ ~P) não é um caso de tautologia
c) ~(P ^ ~P) não é um caso de tautologia
d) (P ↔ ~P) não é um caso de tautologia
e) ~(P ↔ ~P) é um caso de tautologia