¿Cómo implementar un restador de dos números de 4 bits utilizando restadores de dos números de 1 bit como módulo (sin codificación de ensamblador, solo expresiones en álgebra booleana)? Si hay cuatro restadores de 1 bit, ¿cómo encontrar expresiones para los resultados de cada uno?
Por ejemplo, la implementación del comparador de 3 bits utilizando comparadores de 1 bit proporciona:
for A2A1A0 > B2B1B0
X=(A2>B2)+(A2=B2)(A1>B1)+(A2=B2)(A1=B1)(A0>B0)=X0+Y2X1+Y2Y1X0
for A2A1A0 = B2B1B0
Y=(A2=B2)(A1=B1)(A0=B0)=Y2Y1Y0
for A2A1A0 < B2B1B0
Z=(A2<B2)+(A2=B2)(A1=B1)(A0<B0)=Z2+Y2Z1+Y2Y1Z0
Tabla de verdad para el sustractor completo:
A B Ci R Co
0 0 0 0 0
0 0 1 1 1
0 1 0 1 1
0 1 1 0 1
1 0 0 1 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1