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 (A + B) • (B • A), percebe-se que estamos trabalhando com uma Contradição!
| A | B | (A + B) | (A + B) | A | B • A | (A + B) • (B • A) | |
|---|---|---|---|---|---|---|---|
| 1. | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 2. | 0 | 1 | 1 | 0 | 1 | 1 | 0 |
| 3. | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 4. | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
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 (A + B) • (B • A).