Construa tabelas verdades para:
Passo 1
O enunciado pede a construção da tabela-verdade da fórmula lógica
. O conteúdo envolvido é lógica proposicional, usando o operador de negação
(unário) e o operador de disjunção
(binário). Vamos listar todas as possíveis valorações de verdade para
, calcular
e então o valor de
.
Passo 2
As possíveis valorações de
são Verdadeiro (V) ou Falso (F). Pela definição de negação:
Passo 3
A disjunção
é Verdadeira sempre que ao menos um dos operandos for Verdadeiro; só é Falsa se ambos forem Falsos.
Passo 4
Organizando numa tabela:
Resposta
A tabela-verdade de
é
Logo,
é sempre verdadeira (tautologia).