Um determinado circuito digital possui a equação booleana de saída dada por:
Y = (AB + BC' + C )'
As aspas simples representam a operação inversora (NOT). Utilizando as regras de simplificação da álgebra booleana, verifica-se que Y corresponde a seguinte expressão:
