Si este circuito es parte de un sumador completo de 4 bits, donde A1, B1 son entradas de sumador y C1 se transfiere desde el bit anterior, ¿C2 da la salida correcta para el bit de ejecución? Según mis cálculos, C2 no lo hace, aunque S1 genera el valor correcto de la suma. Por favor, necesito una verificación cruzada.
Este circuito es más complicado de lo necesario, pero parece que C2 da la salida correcta. La expresión simplificada para C2 es: $$ C_2 = \ overline {\ overline {(A_1 + B_1)} + (\ overline {C_1} \ cdot \ overline {A_1B_1})} \\ = (A_1 + B_1) \ overline {(\ overline {C_1} \ cdot \ overline {A_1B_1})} \\ = (A_1 + B_1) (C_1 + A_1B_1) \\ = C_1A_1 + C_1B_1 + A_1A_1B_1 + A_1B_1B_1 \\ = C_1A_1 + C_1B_1 + A_1B_1 $$
Lea otras preguntas en las etiquetas digital-logic