(not(a) AND b AND c) OR (not(a) AND b AND c) OR (a AND b AND (not(c)))