Julgue os próximos itens, considerando os conectivos lógicos usuais ¬, ∧, ∨, →, ↔ e que P, Q e R representam proposições lógicas simples.
A proposição [(¬P)∨Q]↔{¬[P∧(¬Q)]} é uma tautologia.
