Assinale a alternativa que apresenta corretamente a classificação da respectiva fórmula proposicional.
A
A ➔ B ↔ B ➔ A é uma contradição.
B
A ∨ ~A ➔ (B ∧ ~B) é uma tautologia.
C
(A ∧ B) ➔ (A ∨ B) é uma contingência.
D
(A ∧ B) ↔ (~A ∨ ~B) é uma contradição.
E
~(A ∨ B) ➔ ~A ∧ ~B é uma contingência.