Na álgebra booleana, o Teorema de Morgan tornou-se muito conhecido devido aos seus teoremas, fortemente, aplicados, em funções lógicas. Diante desta afirmação, dentre os principais teoremas, podemos destacar: