x and y and z or x and z and not x or x and z and not z or y or y and z or y and z and not x or y and z and not z or y and not x or y and not z