A simplificação de expressões booleanas é extremamente importante em um processo de projeto de circuitos digitais pois uma mesma expressão mais complexa pode ser reduzida a uma expressão bem mais simples. Ou seja, um circuito mais simples com menos portas lógicas pode propiciar o mesmo funcionamento de um circuito inicialmente previsto com especificação mais complexo. Para o funcionamento de um sistema de controle de cancela automática de uma praça de pedágio, obteve-se a seguinte tabela verdade para acionar a abertura da cancela (S). Na tabela, A indica a presença de carro com leitura bem sucedida de chip (RFID) de identificação, B indica se existe pendências financeiras na conta vinculada ao chip e C indica se houve a apresentação de tícket de pagamento do pedágio, para o caso manual. Por exemplo, na linha com valor 6, a permanece fechada (S igual a 0) pois o carro foi identificado (A igual a 1) e a conta está com pendências (B igual a 1). Já Na linha 1 a cancela é aberta pois o condutor apresentou um ticket de pagamento manual do pedágio (C igual a 1). Observe a seguinte tabela verdade do sistema de abertura de cancela. LINHA A B C S 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 3 0 1 1 1