Um circuito somador completo, que recebe como entrada dois bits (A e B) e um transporte de entrada (VEM-UM), produz duas saídas SOMA, com o resultado da soma e VAI-UM, como transporte de saída. As equações lógicas para SOMA e VAI-UM são, respectivamente, \oplus