Yo te lo voy a intentar explicar de memoria, asi que igual hay algun error. Pero ojo, no te lo voy a hacer, te voy a explicar lo que tienes que hacer.
Como no pones nada voy a asumir que es un circuito sincrono, que son mas faciles de hacer, pero mas lentos y suelen necesitar mas puertas logicas.
1º Haz la tabla de la verdad, con todos los numeros de forma descendente del 9 al 0 en binario ( Q3, Q2, Q1 y Q0 ). Al lado pones de estas cuatro columnas pones otras cuatro que seran las del siguiente paso que dara el contador, es decir, a la par de la fila del 9 pondras la fila del 8 que seran Q3+t, Q2+t, Q1+t, Q0+t. Despues tendras que dibujar todas las columnas JK, que seran 4 columnas, una JK por cada Q.
2º Te fijas en la tabla ( hay unas tablas compuestas por Q | Q+t || J | K ) que corresponde para sacar los valores de los JK. Entoces vas sacando los valores fijandote en el Q y en el Q+t, por ejemplo en la linea de los binarios del 9 comparas Q3 con Q3+t y pones los valores de la tabla en J3 y K3. Asi rellenas toda la tabla.
3º Simplificas toda la tabla con los mapas de Karnaugh y sacas los valores de todos los JK.
4º Diseñas el circuito teniendo el cuenta los resultados de los mapas de karnaugh con el circuit maker o algun otro programa de diseño digital.
Una vez hecho esto solo tienes que diseñar el circuito, pero tienes que tener en cuenta a la hora de diseñar el circuito el pequeño circuito que hay que añadirle para resetear. El objetivo de este circuito es que cuando tu pulses el boton de reset los valores de la salida vuelvan a dar otra vez el valor del 9 en binario, osea, el valor del principio.
