Considerando os conectivos lógicos usuais, assumindo que as letras maiúsculas representam proposições lógicas e considerando que o símbolo ⁓ representa a negação, julgue o item a seguir, relacionados à lógica proposicional.
A expressão ⁓(P˄(⁓Q))↔(Q˅(⁓P)) é uma tautologia.
