Considerando os símbolos normalmente usados para representar os conectivos lógicos, julgue os itens seguintes, 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.