Question

Equivalências Lógicas; Predicados e Quantificadores.

01. Use a tabela-verdade para verificar a propriedade distributiva:


p∧(q∨r) ≡ (p∧q) ∨ (p∧r)

Answer 1

Resposta:

Explicação passo-a-passo:

Veja a resolução na imagem em anexo. Só deixando claro que:

(p ^ q) é verdadeiro se e somente se p e q são verdadeiros, sendo falso se pelo menos um dos valores lógicos forem falsos.

(p v q) é verdadeiro se pelo menos um dos valores lógicos forem verdadeiros, sendo falso, se e somente se p e q forem falsos.