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