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