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.