Imagem de fundo

A expressão ~(P∧(~Q))↔(Q∨(~P)) é uma tautologia.

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 os itens a seguir, relacionados à lógica proposicional.

A expressão ~(P∧(~Q))↔(Q∨(~P)) é uma tautologia.


C

Certo


E

Errado