Порядок выполнения работы. 1. Докажем дистрибутивность объединения относительно пересечения

1. Докажем дистрибутивность объединения относительно пересечения:

2. Три множества A, B, C изобразим в самом общем виде, в двух копиях

3. На первой диаграмме отметим "синее" пересечение B и C (на второй – "зеленое" объединение A и B)

4. На первой диаграмме отметим "сиреневое" объединение A и полученного пересечения B (на второй "желтое" объединение A и С)

Самостоятельно задание. Доказать на диаграммах Эйлера – Венна по вторые из законов дистрибутивности и де Моргана. Доказать "логически": "включение слева направо" и "включение справа налево".

ЛАБОРАТОРНАЯ РАБОТА №2