Введённые операции обладают следующими свойствами:
1.
Идемпотентность
2.
3.
Коммутативность
4.
5.
Ассоциативность
6.
7.
Дистрибутивность
8.
9.
Правило де Моргана
10.
11.
12.
13.
14.
15.
16.
17.
Для выполнения введённых операций определена приоритетность:
1. выполняются операции в круглых скобках ()
2.дополнение
3.пересечение
4.Объединение
Выписанные соотношения обладают свойством двойственности. Если в одной из формул поменять:
То получим формулу из этого списка.
Упражнение
Доказать, что
Названные операции и свойства к ним могут быть проиллюстрированы диаграммами Эйлера-Венна.
=
=
4. - разность. {и }
5. - симметричная разность.
Алгебраическая система подмножеств, система подмножеств некоторого универсального множества с введёнными операциями с перечисленными свойствами образуют Булеву алгебру.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление