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: