Derive a sequential circuit with two inputs (S1 and S2) and one output (z) using D flip flops that will output z=1 if a S1=S2=0 is input, then a S1=S2=1 is input, then a S1=S2=0 is input. Any other sequences of these inputs should output a z = 0. Overlapping sequences should also be detected (ie 00->11->00->11->00 should output 0 0 0 1 0 1). Use a Moore model, and show all of your work including the state machine, state table, state assignment, state assignment table, and the final circuit.