Julgue os itens que se seguem, a respeito de lógica proposicional.
Se P e Q forem proposições simples, então a proposição ¬[P∨(¬Q)]↔[(¬P)∧Q] é uma tautologia.
Fonte: ESPECIALISTA TéCNICO 1 – QUALIFICADOR: ANALISTA DE SISTEMA / Banco do Nordeste do Brasil S/A / 2018 / CESPE