Use a tabela-verdade para verificar estas equivalências.
Passo 1
Resumindo o enunciado: precisamos verificar por meio da tabela-verdade a equivalência lógica
O conteúdo envolve o conceito de idempotência da disjunção, e para isso vamos construir a tabela-verdade de
e de
.
Passo 2
Construímos a tabela com todas as possíveis atribuições de verdade para
:
Passo 3
Analisando a tabela, vemos que sempre que
é
,
também é
, e quando
é
,
é
. Portanto, os valores de
e de
coincidem em todas as linhas.
Passo 4
Como as duas colunas são idênticas para todas as atribuições de valor de verdade, concluímos que a equivalência é válida.
Resposta
A equivalência
é verdadeira, caracterizando a lei de idempotência da disjunção.