Derive the state diagram, state table and flip-flops input values for a sequential circuit with two T-type flip flops (named A and B), and one external input y. The circuit will have following two conditions: [10] i. When y = 0, the state of the circuit remains the same. For example, if the present state is 00 and the designer gives 1 as input, then the next state will also be 00. ii. When y = 1, the circuit goes through the state transitions from 00 to 01, from 01 to 11, from 11 to 10, and from 10 to 00.