A sequential circuit with two clocked D$-$flip$-$

flops A and $B,$ one input $x,$ and one output $z$

is specified by the following input equations:

$D_A=B^{\text{'}}**x,D_B=A**x,z=A^{\text{'}}**B$

Draw the logic diagram of the circuit.

Derive the state table.

Derive the state diagram.

Is this a Mealy or a Moore finite state

machine?