Computer Architecture/Organization

A sequential circuit with two JK flip flops, A and B, an input X, and an output Z is specified by the following equations:

J_A = X + Q_B K_A = X

J_B = XQ_A K_B = X + Q_A

Z = Q_AQ_BX

J	K	Next state Q(t+1)
0	0	Q(t) [No change]
0	1	0
1	0	1
1	1	Q(t) [Complement]

1. (6 points) Draw the logic diagram of the circuit.
2. (8 points) Derive the truth table showing the present state (Q_A(t), Q_B(t)), input X, next state (Q_A(t+1), Q_B(t+1)), Flip Flop inputs (J_A, J_B, K_A, K_B) and output Z.
3. Draw the finite state diagram.