(x xnor y) xnor z