Sergei Nickolaev написал(а) к Alexander Hohryakov в Mar 23 16:56:34 по местному времени:

Привет, Alexander!

SN>> Подсказка: способ решения задачи можно увидеть, если внимательно
SN>> посмотреть на диаграммы Венна. Что за штука - находится в
SN>> Интернете сполпинка :-)

AН> Диаграмму Вейча помню, диаграмму Венна не помню. Будем искать... :-)

Для того, чтобы понять в чем дело и придумать идею доказательства, достаточно повозиться с диаграммой для 3-х множеств. Для большего числа их труднее рисовать, да и разбираться на более сложной картинке труднее.
Мне стоило предложить перед этой задачей другую задачу из этой же книжки:

Какие из равенств являются тождествами, а какие нет:
а) (A П B) U C = (A U C) П (B U C)
б) (A U B) П C = (A П С) U (B П C)
в) (A U B) \ C = (A \ C) U B
г) (A П B) \ C = (A \ C) П B
д) A \ (B U C) = (A \ B) П (A \ C)
е) A \ (B П C) = (A \ B) U (A \ C)

Эту задачку удобнее всего решать на диаграмме Венна для 3-х множеств. И идея для той задачки, скорее всего, будет видна ...

С уважением - Sergei
--- GoldED+/W32-MINGW 1.1.5-b20120519 (Kubik 3.0)