Tengo que diseñar un contador reversible de sincronización con seq 0 1 3 5 6 10 0. Intenté escribir los números en 4 bits con el estado actual y el siguiente, pero me quedo atascado en los Kmaps. Lo que intenté está en la foto de abajo. ¿Es incorrecto intentar resolverlo de esta manera? 