Use a tabela verdade para mostrar que
AND
OR (X AND NOT Y).
Passo 1
O enunciado pede para mostrar que a expressão
é sempre verdadeira para quaisquer valores lógicos de
e
. O conteúdo aqui é a construção de uma tabela verdade usando as definições de
(AND),
(OR) e
(NOT).
Passo 2
Vamos montar a tabela verdade com as colunas:
Passo 3
Preenchendo cada linha da tabela:
Passo 4
Agora comparo a primeira coluna (
) com a última. Em todas as quatro linhas os valores coincidem (ambos são
).
Resposta
A tabela mostra que
sempre assume o mesmo valor de
, logo a identidade está demonstrada.