De Morgan

A regra é a comprovação das seguintes equivalências: ~(p∧q)⇔(~p∨~q) e ~(p∨q)⇔(~p∧~q) e. 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.

<<Fechar