Cómo determinar la entrada de flip-flops en la tabla de verdad

Al principio: la tabla presenta una máquina que tiene una entrada (= X) y cuatro estados. El número del estado actual es el número binario AB. A y B son las salidas de los dos JK ffs que se utilizan como dispositivos de memoria. A y B se denominan "variables de estado" en la teoría de la automatización.

La máquina tiene un circuito combinado de cuatro salidas y tres salidas (= compuertas) que genera las entradas correctas para las Ffs de JK para las transiciones de estado deseadas. Las entradas de ese circuito de combinación son A, B y X. Las columnas de la derecha muestran las salidas de ese circuito de combinación. El propósito es mostrar qué valores deben aplicarse a las entradas J / K para avanzar a través de los estados. Las ecuaciones booleanas para las salidas Ja, Ka, Jb y Kb consisten en A, B y X como las variables. Tu propia versión J Q! + K! Q es una tontería.

Escribo una de las cuatro ecuaciones booleanas: Ja = B. Debes encontrar el resto por ti mismo.

Las dos columnas bajo Siguiente estado son las salidas, y se derivan de las columnas bajo Estado actual y Entradas de Flip-Flop el cambio real tiene lugar cuando se produce el flanco activo del pulso de reloj. Nota: X no es el reloj, es la entrada de la máquina.

Aquí está la tabla de verdad para un flip flop J-K de Wikipedia para comparación. La tabla en su pregunta simplemente tiene dos dispositivos de este tipo. Qnext es A o B en Siguiente estado y Q es A o B en Estado actual :