(A AND B) OR (NOT (A OR B))