Теория:

Элементы множества помещаются в круги или эллипсы. Если у множеств есть одинаковые элементы, они размещаются на пересечении фигур. Все рассматриваемые множества помещаются в прямоугольник — универсальное множество.
В универсальное множество входят все обозначенные подмножества, а также элементы, которые не входят ни в одно из подмножеств.
Рассмотрим взаимное расположение элементов множеств для одного, двух, трёх множеств.
 
29.png
Рис. \(1\). Одно множество
 
Во множество (\(1\)) входят все элементы множества \(A\), во множество (\(0\)) входят все элементы, не вошедшие во множество \(A\). Эти элементы обозначаются ¬\(A \) (не \(A\)).
 
30.png
Рис. \(2\). Два множества
 
• Во множество (\(1\)) входят те элементы множества \(B\), которые не входят во множество \(A\), \(A\) и не \(B\), (\(A\) &¬\(B\)).
• Во множество (\(2\)) входят те элементы множества \(A\), которые не входят во множество \(B\), \(B\) и не \(A\), (\(B\) &¬\(A\)).
• Во множество (\(3\)) входят те элементы, которые одновременно принадлежат и множеству \(A\), и множеству \(B\), \(A\) и \(B\), (\(A\) & \(B\)).
• Во множество (\(0\)) входят все элементы, не вошедшие ни во множество \(A\), ни во множество \(B\), не \(A\) и не \(B\), (\(\)¬\(A\)\( \) &¬\(B\)).
При этом множество \(A\) состоит из подмножеств (\(2\)) и (\(3\)); множество \(B\) — из подмножеств (\(3\)) и (\(1\)).
Область (\(3\)) называется пересечением множеств \(A\) и \(B\) (\(A\) & \(B\)).
А область (\(1\)), (\(2\)), (\(3\)) — объединением множеств \(A\) и \(B\) (\(A|B\)).
В область (\(0\)) входят элементы, не вошедшие ни в область \(A\), ни в область \(B\).
Для этой области есть несколько равнозначных обозначений:
¬\((A|B)\) \(=\) ¬\(A\) &¬\(B\).

31.png
Рис. \(3\). Три множества
 

Множество \(A\) состоит из подмножеств (\(4\)), (\(5\)), (\(6\)), (\(7\)); множество \(B\) — из подмножеств (\(2\)), (\(3\)), (\(6\)), (\(7\)); множество \(C\) — из подмножеств (\(1\)), (\(3\)), (\(5\)), (\(7\)).

Область (\(1\)) \(C\) и не \(A\) или \(B\); \(C\) &¬\((A|B)\).

Область  (\(2\)) \(B\) и не \(A\) или \(C\); \(B\) &¬\((A|C)\).

Область  (\(3\)) \(B\) и \(C\) и не \(A\) ; \(B\) & \(C\) &¬\(A\).

Область  (\(4\)) \(A\) и не \(B\) или \(C\); \(A\) &¬\((B|C)\).

Область  (\(5\)) \(A\) и \(C\) и не \(B\); \(A\) & \(C\) &¬\(B\).

Область  (\(6\)) \(A\) и \(B\) и не \(C\); \(A\) & \(B\) &¬\(C\).

Область  (\(7\)) \(A\) и \(C\) и \(B\); \(A\) & \(C\) & \(B\).

Область  (\(0\)) не (\(A\) и \(C\) и \(B\)); ¬(\(A\) & \(C\) & \(B\)).

Количество пересечений (областей) \(N\) определяется по формуле: N=2i, где \(n\) — количество множеств.

Источники:
Рис. 1. Одно множество. © ЯКласс.
Рис. 2. Два множества. © ЯКласс.
Рис. 3. Три множества. © ЯКласс.