Hola,
no es válido hacer K=J' porque cuando se pide la metodología del curso, eso implica minimizar el circuito, y al hacer K=J' eso no se cumple
sobre el pasaje entre las tablas, es necesario que basándose en las ecuaciones de los FF, se determine las salidas del circuito en función de las entradas del circuito y las salidas de los ff, y el valor para las entradas de los ff de manera que almacenen el nuevo estado. Entonces, necesitamos en la tabla tener las entradas de los ff, asegurándonos que guarden el nuevo estado.
En el caso de los ff tipo d, el pasaje es trivial porque tenes las salidas (Q) de los ff que representan el próximo estado (En+1), y como la ecuación del ff d es Qn+1 = Dn sabes que las entradas (Dn) van a tener el valor de las salidas, que ya las tenías en la tabla de transiciones
Ahora, con ff jk se hace lo mismo, con la ecuación busco qué valores de entrada (J y K) resultan en los valores del próximo estado que tengo en la tabla. En el ejercicio que mencionás, en la primera linea, el estado siguiente es 010, entonces tengo que ver para el ff2 qué valores de j2 y k2 me dan Qn+1=0 (acordate que cada bit del estado se representa con un ff, entonces veo qué entradas para el ff2 me dan la salida del primer bit). Si mirás la tabla de los ff jk, la combinación j=0 y k=1 da Qn+1=0, pero a su vez, la combinación j=0 y k=0 da Qn, que lo tengo en la tabla (es En, es decir el estado) y es 0 en esta tabla (el primer bit del estado actual), entonces esta combinación también sirve. Por ende, para generar el siguiente estado necesito J2=0 y K2 sea 0 o 1, por ende K2=X. Ahora deberías hacer lo mismo para el ff1 y ff0. Y luego para cada fila
Si no se entiende pregunta de nuevo
saludos!