(z xnor not y) and (x implies z)