Cronograma de un circuíto secuencial síncrono

[sLk]

Hola, os quería preguntar si me podéis verificar si este ejercicio de secuencial esta correcto. Los biestables son JK sincronos activos por flanco de bajada.Primero hallo el cronograma de Qo, hasta ahí no hay problema. Pero luego, teniendo en cuenta que las entradas del primer biestable JK son Qo, el cronograma de Q1 no debería ser ( a mi modo de pensar) como está ahí resuelto. Pues cuando aparece el primer flanco de bajada, Qo está a 1, es decir, las entradas del primer biestable JK son 1 y 1, por lo que su salida (Q1) debería ser 0! (su estado anterior, negado). A ver si me podeis decir si el cronograma está bien o si podriais comprobarlo con algun simulador o algo, gracias

Os adjunto el ejercicio:
http://img204.imageshack.us/my.php?image=lwf0000.jpg

 

[erkillo]

Los flip flop actualizan su salida por cada pulso descendente de reloj. Si con el primer flanco descendente ponemos el q0 a uno no sera por lo tanto hasta el siguiente flanco de bajada cuando pongaños el q1 a uno.