Considere a tabela-verdade de um circuito somador de 2 bits completo:

Sabendo-se que o símbolo !$ \oplus !$ denota a operação ou exclusivo, a equação booleana das saídas Soma e Carry Out são dadas, respectivamente, por: