Use tabelas verdade para estabelecer as seguintes equivalências.
Mostre que
é logicamente equivalente a
.
Mostre que
Passo 1
O enunciado pede para mostrarmos que
é logicamente equivalente a
. Vamos usar o método da tabela– verdade, que consiste em listar todas as combinações de valores lógicos de
e
, calcular os valores de
e de
, e verificar que ambas as colunas coincidem em todos os casos.
Passo 2
Montamos a tabela– verdade para
:
|
|
|
|
|
|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Passo 3
Montamos a tabela– verdade para
:
|
|
|
|
|
|
|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Passo 4
Comparando as colunas de
e de
vemos que em cada linha obtivemos exatamente os mesmos valores:
. Como as duas fórmulas coincidem para todas as combinações de
e
, elas são logicamente equivalentes.