Pues mira, a ver si este diagrama te aclara la duda. La idea es que en cada estado de tu contador debe haber dos líneas de salida, una para cuando la entrada de control sea 0 o cuando sea 1, verifica cada estado (cada circulo), tanto el estado superior como el inferior tienen una repetición sobre la misma flecha, ya que tienen que salir dos flechas de cada estado. Si vas en sentido ascendente genras una salida de valor 0, si vas en sentido descendente generas una salida 1. Nuestro diseño se simplifica porque nuestra entrada y salida indicada en cada flecha como " x / x ". es la misma, y depende de nosotros su control y lo proponemos como un FF.
Otra forma podría ser diseñando un contador de tres bits, pero tú solo tomarías en cuenta para la conexión externa dos de los bits (los menos significativos por ejemplo) y la secuencia sería:
0 00 , 0 01 , 0 10 , 0 11 , 1 10 , 1 01 y comienza, con lo que habría dos estados no usados y serían presentados como condiciones no importa para simplificar la expresión. Lo que resulta lo mismo.
Espero haberte ayudado.
Raffa , México