i was given this task: create a synchronous counter that counts from 0 to 9 then back to 0. i am suppose to use jk flipflop and gray code.. I've already the state table ( gray code, example : 0000 -> 0001 and the corresponding values for jk : for output 0 -> 0 , j= 0, k = X (dont care)) what is the next step? k-map ? but how? plsss help!!