Página 1 de 1

[LÓGICA] simplificação lógica e leis de equivalência

MensagemEnviado: Qua Ago 24, 2016 16:13
por MatheusComp606
Meu professor da faculdade pediu para eu fazer uma simplificação da expressão abaixo usando apenas as leis de equivalência e eu não to conseguindo...

Expressão:
[P ^ ¬ (¬P V Q)] V (P ^ Q)

podem me ajudar?

Re: [LÓGICA] simplificação lógica e leis de equivalência

MensagemEnviado: Seg Ago 29, 2016 15:34
por adauto martins
(p \Lambda ( ¬ ¬p V ¬ q)) V (p \Lambda q)\rightarrow p \Lambda ((p V  ¬ q)) V (p \Lambda q)\rightarrow (p\Lambda q) V (p\Lambda q)\equiv p\Lambda q