not X or (Y and X)