not x x or y x and y