Construa a tabela-verdade para cada uma das proposições
Passo 1
O enunciado pede a tabela-verdade da fórmula
O conteúdo é lógica proposicional: vamos precisar da definição de implicação, que diz que
é só falsa quando
é verdadeira e
é falsa; em todo outro caso é verdadeira.
Passo 2
Calculamos primeiro as colunas intermediárias
e
para cada combinação de valores de
e
.
Passo 3
Agora montamos a tabela completa, incluindo a avaliação final
: