not (x and y) + x and y and w