Code a behavioural description of a sequential circuit with two JK flipflops F1 and F2 and two inputs X and Y. If X=0 and Y=1, the circuit goes from transitions 01 to 00 to
