Use a tabela-verdade para verificar a primeira lei de De Morgan.

Passo 1

O enunciado pede para verificar a lei de De Morgan
\neg\bigl(p\land q\bigr)\;\equiv\;\neg p\;\lor\;\neg q
usando tabela-verdade. Vamos construir todas as colunas necessárias e comparar os valores de \neg(p\land q) e de \neg p\lor\neg q.

Passo 2

Montamos a tabela-verdade com as colunas \,p, \,q, \,p\land q, \,\neg(p\land q), \,\neg p, \,\neg q e \,\neg p\lor\neg q:
p q p\land q \neg(p\land q) \neg p \neg q \neg p\lor\neg q
\text{V} \text{V} \text{V} \text{F} \text{F} \text{F} \text{F}
\text{V} \text{F} \text{F} \text{V} \text{F} \text{V} \text{V}
\text{F} \text{V} \text{F} \text{V} \text{V} \text{F} \text{V}
\text{F} \text{F} \text{F} \text{V} \text{V} \text{V} \text{V}

Passo 3

Comparando as colunas de \neg(p\land q) e de \neg p\lor\neg q, vemos que em cada linha os valores coincidem.

Resposta

A primeira lei de De Morgan
\neg\bigl(p\land q\bigr)\;\equiv\;\neg p\;\lor\;\neg q
está verificada, pois as duas colunas são idênticas em toda a tabela-verdade.

Exercícios de Livros Relacionados