Precisión de la tabla de verdad

Primero: supongamos que los valores de la tabla de verdad se calculan para el flanco ascendente del reloj. Esta es una lógica secuencial, y las tablas de verdad requieren información sobre el estado anterior; en este caso, Z representa Q (i-1).

Hay algunos errores en la tabla de verdad, pero la tabla de verdad del sumador completo es la siguiente:

$$ X + Y + Z = 1 \ rightarrow Q = 0, S = 1 $$

$$ X + Y + Z = 2 \ rightarrow Q = 1, S = 0 $$

$$ X + Y + Z = 3 \ rightarrow Q = 1, S = 1 $$

El flip-flop se usa para mantener la salida de acarreo anterior hasta que se levanta el reloj (y para evitar el bucle debido a la retroalimentación de la entrada de acarreo), y no cambia la tabla de verdad siempre que lo considere los valores después del borde.

Entonces, este debe ser un sumador serial (cronometrado), porque al ingresar dos secuencias de bits (comenzando desde el menos ponderado) después de reiniciar Q, tiene en la salida S el bit equivalente de su suma binaria.

IMPORTANTE: debe bloquear el bit de suma porque, de lo contrario, cuando tenga el flanco ascendente, la suma se actualizará con el nuevo valor de acarreo, por lo que solo será válida hasta que la señal de acarreo pase a través del sumador.

En este caso, en el que el bit de suma no está retenido, asumirá un valor que toma en cuenta el mantenimiento de la nueva operación y no será correcto; así que la tabla de verdad será así:

Z  Y  X  |  Q  S
----------------
0  0  0  |  0  0
0  0  1  |  0  1
0  1  0  |  0  1
0  1  1  |  1  1  !
1  0  0  |  0  1
1  0  1  |  1  0
1  1  0  |  1  0
1  1  1  |  1  1

! : = No es el valor que daría un sumador, porque con el margen de subida del reloj, el valor se lleva a Q y las sumas con X e Y vuelven a sumar la suma y se llevan alto.