Ответ:
В каждой области диаграммы проверим, принадлежит ли ей элемент рассматриваемого множества.
- \(A\setminus B\) состоит из элементов, принадлежащих \(A\), но не принадлежащих \(B\). Это ровно элементы \(A\cap\overline B\).
- Симметрическая разность \(A\triangle B\) состоит из элементов, принадлежащих ровно одному из множеств. Такие элементы лежат либо в \(A\setminus B\), либо в \(B\setminus A\); эти области не пересекаются.
- В \(A\cup B\) входят элементы из обоих кругов, а вычитание \(A\cap B\) удаляет общую часть. Остаются части, принадлежащие ровно одному множеству.
Следовательно, все три тождества верны; на диаграммах в каждой паре равны закрашиваемые области.
