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.