Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
Aqui o conteúdo é lógica proposicional, envolvendo bicondicional, negação, conjunção e implicação. Vamos listar todas as combinações de valores de verdade para
e
e calcular passo a passo cada subfórmula.
Passo 2
Identificamos as subfórmulas que precisamos computar em cada linha da tabela:
,
,
,
,
e finalmente .
e finalmente
Passo 3
Para cada par
, calculamos em ordem:
-
e . -
. -
. -
.
Resposta
A tabela-verdade completa fica: