A sequential circuit has two JK flip-flops A and B and one input x. The circuit is described by the following flip-flop input equations:

JA = x KA = B

JB = 1 KB = AB

(a) Derive the state equations A(t+1) and B(t+1) by substituting the input equations for the J and K variables.

(b) Draw the state diagram of the circuit.

(c) Are there any unnecessary states in your state diagram? If so, remove them and re-draw the state diagram for the circuit.