((A intersect not B) union (A intersect B))