Julgue os próximos itens, considerando os conectivos lógicos usuais ¬, ∧, ∨, →, ...

questão de raciocínio lógico. confira a resolução completa abaixo:

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.