(A' union B') set difference ((A union A') set difference (A intersect B))