Digital Logic Morris Mono 5.6

Question

 A sequential circuit with two $D$ flip-flops $A$ and $B$, two inputs $x$ and $y$, and one output $z$ is specified by the following next-state and output equations :

                                     $A(t+1)= x'y + xB$

                                     $B(t+1)= x'A + xB$

                                             $z = A$

(a) Draw the logic diagram of the circuit.
(b) List the state table for the sequential circuit.
(c) Draw the corresponding state diagram.

Answer 1

b) 

x             y	$D_{A}$                   $D_{B}$	$D_{A}^{+}$                      $D_{B}^{+}$	z
0             0   0              1   1              0   1              1   0             0   0              1   1              0   1              1   0             0   0              1   1              0   1              1   0             0   0              1   1              0   1              1	0                              0   0                              0   0                              0   0                             0   0                              1   0                              1   0                              1   0                             1   1                              0   1                              0   1                              0   1                             0   1                              1   1                              1   1                              1   1                             1	0                                    0   1                                     0   0                                     0   0                                      0   0                                    0   1                                     0   1                                     1   1                                      1   0                                    1   1                                     1   0                                     0   0                                      0   0                                    1   1                                     1   1                                     1   1                                     1	0   0   0   0   0   0   0   0   1   1   1   1   1   1   1   1