Uma unidade aritmética foi construída usando um somador tipo 7483, com entradas A3A2A1A0 (primeiro operando de 4 bits), B3B2B1B0 (segundo operando de 4 bits) e Ci (carry de entrada), além de portas lógicas auxiliares. Sejam X, Y e Z números de 4 bits e K = K1K0 um número de 2 bits usado para a escolha da operação. Considere as ligações listadas a seguir:
A3A2A1A0 = X3X2X1X0
B3 = ( ( !$ ar{K} !$1.Y3) + (K1 .Z3) ) !$ oplus !$ K0
B2 = ( ( !$ ar{K} !$1.Y2) + (K1 .Z2) ) !$ oplus !$ K0
B1 = ( ( !$ ar{K} !$1.Y1) + (K1 .Z1) ) !$ oplus !$ K0
B0 = ( ( !$ ar{K} !$1.Y0) + (K1 .Z0) ) !$ oplus !$ K0
Ci = K0
Nesse caso, a tabela verdade que será oferecida pela saída do somador é