2 - Validação do funcionamento do circuito lógico via tabela verdade

O funcionamento de um circuito lógico pode, e normalmente é, validado por meio de tabela verdade, sendo possível confirmar os resultados intermediários produzidos ao longo do percurso do circuito, até a obtenção do respectivo resultado final.

Retomando o exemplo do circuito da expressão, percebe-se que estamos trabalhando com uma Contradição!

A constatação da Contradição confirma a total ausência de eletricidade das saídas obtidas na montagem do circuito lógico, comprovando que todas as combinações de entradas geram sempre a saída igual a 0. Assim, atestada a equivalência de entre os resultados do circuito lógico e da tabela verdade, valida-se o projeto concebido para .