How to convert a non linear constraint into a linear constraint in linear programming?

Question

I have two integer variables, x and y and a constant z which is either equal to 0 or 1.
Those variables are such that x * z = 0 or y * z = 0. I have tried implementing