Ответ:

В каждой области диаграммы проверим, принадлежит ли ей элемент рассматриваемого множества.

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

Следовательно, все три тождества верны; на диаграммах в каждой паре равны закрашиваемые области.