Contador descendente 9a0 con reset

En la escuela me dejaron hacer un Contador descendente(9a0) usando flip flop´s JK, ya hice los mapas de Karnaugh pero al simularlo no me queda, no sé que estoy haciendo mal. Sí en las conexiones porque ya lo revise como mil veces y ya me desespere  
Los resultados me salieron de mis mapas
J3=\\Q2*\\Q1*\\Q0
K3= \\Q0
J2=Q3*\\Q0
K2=\\Q1*\\Q0
J1=(Q3+Q2)*\\Q0
K1=\\Q0
J0 y; K0= me dan todos 1 en el mapa ... ...
Sí alguien me pudiera hacer la simulación se lo agradecería