Considere os seguintes teoremas da Álgebra Booleana:

A+1 A+A A.!$ \overline{A} !$ A(A+B) A(!$ \overline{A} !$ +B)

Os resultados para essas operações são, considerando a sequência dos teoremas da esquerda para a direita: