(NOT X AND Y) OR (X AND Z)