Заштрихованное, кажется выглядит так:
(A ∩ C) U ((A U B) ∩ !B) U ((B U C) ∩ !C)
Здесь (A ∩ C) - это пересечение областей А и В.
((A U B) ∩ !B) - это область А, которая не пересекается с В.
!B - это "не В". Вся операция называется "вычитание А - В".
Может быть, это можно как-то упростить по правилам логики, не знаю.
((B U C) ∩ !C) - это, соответственно, вычитание В - С