Veja então a transformação que foi feita:
| Proposições Lógicas | Expressão Lógica | ||
|---|---|---|---|
| Linguagem simbólica | Nome da Operação | Representação simbólica | |
| ~p∨q | → | NOR | P + Q |
Neste momento vamos relembrar a Regra de Simplificação de DE MORGAN. Acompanhe a seguir a sua aplicação sobre as expressões lógicas recentemente aprendidas, a NAND e a NOR:
(P•Q) ⇔ P + Q
(P+Q) ⇔ P • Q
A regra é a comprovação das seguintes equivalências: ~(p∧q)⇔(~p∨~q) e ~(p∨q)⇔(~p∧~q). Ou seja, desloca-se a negação de fora do parêntese para dentro, deixando-a incidente sobre cada uma das partes, invertendo o conectivo central de ∧ para ∨, e vice-versa.
X