Raciocínio Lógico

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.