Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
Vamos usar as definições de negação
e bicondicional
e montar todas as combinações de verdade para
e
.
Passo 2
As quatro combinações de
são
. A primeira coluna intermediária é
, que inverte o valor de
:
Passo 3
No bicondicional
, o resultado é
quando
e
têm o mesmo valor, e
caso contrário. Preenchendo essa coluna:
Passo 4
Para obter
, basta inverter cada valor da coluna
: trocar
por
e
por
.