Buenas,
Yo no agregué ningún estado al hacer la asignación sin carreras ni espurios. Me manejé con los estados (a), (b) y (c) que quedaban tras la minimización.
Aproveché el hecho de que en la tabla de transiciones, en la parte de los estados había un don't care (columna 01, fila b en la solución del examen) y usé eso para poder hacer un ciclo. De esa forma no tuve que respetar la adyacencia impuesta entre c y a para la columna 01.
La cuestión es que para codificar tres estados, necesito dos bits. Y con esos dos bits hay cuatro posibilidades. Esto hace que mis mapas de Karnaugh sean de 4 filas x 4 columnas siendo que mi tabla de transición era de 3 filas x 4 columnas.
Yo codifiqué los estados (a),( b) y( c) como 00, 01 y 11 respectivamente.
Mi pregunta es, el renglón que agrego (tanto para hacer el Mapa K de la salida como el Mapa K de cada bit de los estados),
¿sería un renglón lleno de don't care?
En modo reloj sé que la respuesta sería afirmativa, pero en modo nivel no estoy tan seguro.
Saludos y desde ya muchas gracias,
Alejandro.