Круг Эйлера - это множество всех элементов, которые принадлежат одновременно обоим множествам A и B.

A\B означает множество всех элементов, которые принадлежат множеству A, но не принадлежат множеству B.

B\A означает множество всех элементов, которые принадлежат множеству B, но не принадлежат множеству A.

Поэтому A\B u B\A будет равно объединению всех элементов, которые принадлежат только одному из множеств A или B.