Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade de \r
. \r
Para isso, vamos usar as definições de conjunção e disjunção
e variar
,
e
em todas as combinações possíveis.
Para isso, vamos usar as definições de conjunção
Passo 2
Como são três variáveis, temos
combinações. Listamos nas colunas
,
e
.
Passo 3
Em cada linha, calculamos primeiro \r
, \r
que vale só quando
e
; caso contrário, vale
.
que vale
Passo 4
Depois, aplicamos \r
, \r
que vale se ao menos um dos operandos for
(isto é, se
ou se
); senão, vale
.
que vale
Resposta
A tabela-verdade completa é:\r