Suppose that we want to synthesize a circuit that has two switches x and y. The required functional behavior of the circuit is that the output must be equal to 0 if switch x is opened (x=0 ) and y is closed (y=1); otherwise the output must be 1.