Considerando os símbolos normalmente usados para representar os conectivos lógicos, julgue o item seguinte, relativos a lógica proposicional e à lógica de argumentação. Nesse sentido, considere, ainda, que as proposições lógicas simples sejam representadas por letras maiúsculas.

A expressão (¬ P) ∧ ((¬ Q) ∨ R) ⇔ ¬ ( P ∨ Q) ∨ ((¬ P) ∧ R) é uma tautologia.