The procedure would be as follows:

1. Get the state diagram.

2. Use the excitation table of JK ff to get the values of J-K for each state (A,B,C) respectively.

3. Use a k-map to simplify J-K in terms of Qa, Qb and Qc.

1. Get the state diagram.

2. Use the excitation table of JK ff to get the values of J-K for each state (A,B,C) respectively.

3. Use a k-map to simplify J-K in terms of Qa, Qb and Qc.