Os teoremas da álgebra booleana são fundamentais para
guiar o projetista de sistemas lógicos no desenvolvimento,
análise e simplificação de circuitos. Assumindo X, Y e Z
como variáveis lógicas, em que Y é a saída de uma porta
lógica NOT com entrada X, um teorema válido da álgebra
booleana é