Si A = 0, B = 1 y x = 0, ¿qué son A 'y B' en el siguiente circuito lógico?

A y B son D latches ; en el borde del reloj, el valor de la entrada se engancha a la salida Q.

A = 1 significa que la salida Q asociada con el pestillo A es alta (por lo tanto, la salida complementaria es baja).

A = 0 significa que la salida Q asociada con el pestillo A es baja (la salida complementaria es alta).

A 'es el valor de A después del siguiente flanco de reloj.

Esta es una máquina de estado . A y B representan el estado actual. El estado actual, junto con la entrada x, determina el estado siguiente indicado por los números primos en A y B.

Entonces, por ejemplo, la entrada al latch A es x así que, si x = 0, en el próximo flanco del reloj, 0 se bloqueará, es decir, la salida Q del latch A será baja; A '= 0.

Siguiendo la lógica, la entrada al pestillo B es: \ $ (\ bar x \ cdot \ bar A) + B \ $

Entonces, para x = 0, A = 0, B = 0, la entrada a B es 1 y, por lo tanto, después del siguiente flanco de reloj, la salida Q de B será alta; B '= 1.

ACTUALIZACIÓN: una mirada más cercana muestra que el esquema no coincide con la tabla de transición de estado. Es obvio que la entrada al latch A es x y, por lo tanto, A '= x de acuerdo con el esquema. Sin embargo, la quinta fila en la tabla de transición de estado tiene A '= 1 cuando x = 0. Eso no es consistente.