Design a 2-bit count-down counter with two JK flip-flops A and B and one input x. When x = 0, the state of the flip-flops does not change. When x = 1, the state sequence is 11, 10, 01, 00, and back to 11.

Complete the following excitation table. The characteristic equation of the JK flip flop is: Q(t+1)=K'Q(t)+JQ'(t):

Please show work, thanks

Present state A (t) B(t) input Next state Flip-flop inputs xA (t+1) B(t+1 JK JB Ks