Consider the following 2-input (x1,x2) single-output (z) asynchronous circuit: The output changes from 0 to 1 only when x2 changes from 0 to 1 while x1 = 1. The output changes from 1 to 0 only when x1 changes from 1 to 0 while x2=1. Design the circuit to obtain static, hazard-free, next-state and output equations.