Контрольная работа: Математическая логика и теория алгоритмов 2

Диаграмма для множества

Диаграмма для множества	Диаграмма для множества

Диаграммы Эйлера показывают, что тождество выполняется. Докажем это. Используя основные тождества алгебры множеств, преобразуем левую и правую части к одному множеству.

Преобразуем отдельно первое и второе множества.