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.