Esta es la tabla que hice ( la tabla de transiciones y salidas codificada):
Q0n|Q0(n+1)|Jo|Ko
0 1 1 X
0 1 1 X
0 0 0 X
0 1 1 X
1 0 X 1
1 0 X 1
1 0 X 1
1 0 X 1
0 1 1 X
0 1 1 X
0 0 0 X
0 1 1 X
1 0 X 1
1 0 X 1
1 0 X 1
1 0 X 1
Ko depnde de Q0n y de Q1n y de las entradas del circuito m1 y m0,
cuando yo hice la tabla la ordene asi:
Q1n Q0n m1 m0 | Q1n+1 |Q0n+1| s |J1|K1|J0|KO
Utilice cuatro estados para modelar el problema, a los cuales codifique 00(espero entrada),01(error1),10(error2),11(error3). Y las entradas (lo que media el alambre del espesor) lo codifique asi (00,01,10,11) y la salida del circuito 0 o 1(hubo error luego de 4 tics seguidos).
Que pasa con K0 entonces? Porque el metodo de karnaugh dice que hay que maximizar el tamaño de los rectangulos, y utilizando toda la cuadricula lo estoy maximizando, pero se me van todas las variables y nose con que igualar Ko. Si no utilizo los Don't cares (x) me queda un rectangulo de 8 unos y la expresion de k0 me queda k0= q0, donde q0 es la que yo denomine en mi tabla Q0n.
Agradezco si alguien me puede dar una sugerencia,
Saludos.