This is a Moore model, since the output z, which equals A B, is a function
of the state (that is, the contents of the flip flops) and not of the
input x.
We will now write equations for the flip flop inputs and the output,
and, from them, construct a state table: