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