3.1 - Teoremas de De Morgan

Veremos agora dois teoremas do lógico e matemático britânico Augustus De Morgan que viveu no século XIX. Pedimos que você não fique assustado com as proposições dos teoremas, pois aparentemente eles são complexos, mas são base para o entendimento dos circuitos lógicos.

Veremos que Augustus De Morgan diz em seu primeiro teorema que a complementação de um produto (lógico) equivale à soma (lógica) das negações de cada variável do referido produto. Tendo por base a Figura 01 vista anteriormente, observe como seria em forma de equação:

No segundo teorema de De Morgan observamos que é chamado de dual (espelho ou contrário) do primeiro, sendo assim, ele diz que a complementação de uma soma (lógica) equivale ao produto das negações individuais das variáveis. Tendo por base a Figura 02 vista anteriormente, veja como seria em forma de equação:

Particularizando os teoremas de De Morgan para duas variáveis. Tendo por base a Figura 03 e 04 vistas anteriormente, veja como seria em forma de equação: