Teorema de De Morgan

 Esse é um modo de simplificar expressões booleanas, utilizando a ideia de dualidade, substituindo portas com entradas de em certas condições por outras equivalentes. O teorema de De Morgan diz que:

Uma operação barrada, pode ser substituida pela sua operação complementar, com as entradas barradas, da sequinte maneira:

1)     

Assim, se na expressão lógica tivermos uma porta E com as duas entradas invertidas, podemos substituir essas 3 portas, por uma NOR.

2)

E nesse da mesma forma, uma porta OU com entradas invertidas pode ser substituída por uma porta NAND. Associando esse teorema com as técnicas de mintermos e maxtermos, conseguiremos formar circuitos mais enxutos.

As substituições que eu destaquei tem a ideia de substituir mais portas por uma equivalente, mas na simplificação da função booleana, podemos usar a substituição que for mais conveniente.