bool z = !(!x ^ !y)