De Morgan sugeriu dois teoremas que são extremamente úteis na Álgebra Booleana. Os dois teoremas são discutidos abaixo.
Teorema 1
O lado esquerdo (LHS) deste teorema representa uma porta NAND com entradas A e B, enquanto o lado direito (RHS) do teorema representa uma porta OR com entradas invertidas.
Esta porta OR é chamada de Bubbled OR.
Tabela mostrando a verificação do primeiro teorema de De Morgan -
Teorema 2
O LHS deste teorema representa uma porta NOR com entradas A e B, enquanto o RHS representa uma porta AND com entradas invertidas.
Este portão AND é chamado de Bubbled AND.
Tabela mostrando a verificação do segundo teorema de De Morgan -