A sequential circuit with two D flip-flops A and B, two inputs X and Y, and one output Z is specified by the following equations: DA = 7.B + XA DB = Y + X.B Z = X.Y. A Derive the state table. Derive the state diagram. . Draw the logic diagram of the circuit on Logisim software and verify the state table values by providing all input combinations. NOTES Make sure that you use edge-triggered flip-flops (FF), connect clock source, and reset FFs at initialization to put them into a known state. You may refer to Help of Logisim software to learn how to use logic components