A respeito da temática Lógica Matemática, assinale a alternativa que representa uma Tautologia.
A
(~p Λ ~r) Λ (q Λ r)
B
(p Λ r) -> (~q v r)
C
(p <-> q) v (q Λ ~r)
D
(~p v ~q) <-> (p Λ q)
E
~{(p -> q) -> [(p -> q) v r]}