A synchronous sequential logic circuit has two D type flip flops with outputs, A and B, and a control input, Z. The D inputs are given by the following Boolean expressions:
Dᴀ= A.B A
Dʙ= A.(B+Z)
Using truth table and state assignment table, determine the behaviour of the circuit for both values of the control input.