Hola,
es incorrecto aplicar el reset y el inc en cada valor que toma el estado actual? Es decir, mantener el siguiente hilo de razonamiento:
En / Entradas / En+1 /(...)
000 0 000
000 1 001
manteniendo la codificación de 0=reset y 1=inc.
Mi duda surge a raíz de que estuve comparando con sus soluciones y pude notar que ustedes no utilizan dichos puntos para resolver este ejercicio ya que optan reset asincrónico.
Muchas gracias.
La codificación 0=reset y 1=inc no sería correcta porque en cada paso tendría que estar reseteando o incrementando, y puede que quieras ni resetear ni incrementar (quedarte en el estado en que estás).
En general todo circuito secuencial debería tener alguna manera de poner el circuito en un estado conocido. Para ello en general se usa una entrada de reset que setea los flip flops a un valor deseado.
Cuando no se habla de una entrada de reset sincrónica se puede agregar una entrada de reset asincrónica (que no se modela en la máquina de estados) y se agrega al final directamente al dibujar el circuito.
Si consideras que el reset en este problema va a ser sincrónica entonces formar parte de la máquina de estados y por lo tanto tenes que hacer Karnaughs de 5 variables (que perfecamente podes hacer a mano)
Si por otro lado consideras que el reset sigue siendo asincrónico, entonces no aparece en la máquina de estados y te quedan Karnaughs de 4 variables.
También podés querer resolver este problema sin usar la metodología. En ese caso también tenes que tomar la decisión de si el reset es asincrónico o sincrónico.
Saludos,
Gustavo