Q$1$: An asynchronous state machine has two inputs $(x_1$ and $x2).$ The output $(Z)$ must go to logic $"1"$ at the end of the input sequence $(00,01,11)$ and the output must go to logic $"0"$ on the next input changes. Draw a minimal Mealy state diagram for the above state machine?