Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
. Para isso, precisamos listar todas as combinações possíveis de valores de verdade de
e
(são
casos) e em seguida calcular as colunas intermediárias
e
, para finalmente chegar a
.
Passo 2
Listamos as quatro combinações de
e obtemos
invertendo o valor de
:
Passo 3
Agora calculamos
usando a regra do “OU”: é
se pelo menos um dos operandos for
, e
caso contrário.
Passo 4
Por fim,
é simplesmente a negação da coluna anterior: trocamos
por
e vice-versa.