Lógica Digital/Álgebra de Boole/Teorema de De Morgan

De Wikiversidade

Lei de De Morgan

  1. NOT (x OR y) = NOT x AND NOT y
  2. NOT (x AND y) = NOT x OR NOT y

As Leis de De Morgan permitem simplificar expressões Boobeanas. Em última análise permitem simplificar Circuitos Lógicos (Digitais).

Este teorema prova que qualquer lógica pode ser construída utilizando somente portas NAND ou NOR.