There is discrepancy between the code written for the function min and exercise 1. In the case where x==y the code should return y while the circuit output should be z=x. Which is the correct one?
Counter question: If x and y are known to be equal, does it matter if the returned output is x or y?