Свойства операций над множествами

– коммутативность;

– ассоциативность;

– дистрибутивность;

– идемпотентность;

– двойное отрицание;

– закон Моргана;

7. - законы поглощения.

Определение 13. Символы и , U и называются двойственными. Методом таблиц Буля легко показать, что имеет место принцип двойственности: при замене в любом свойстве входящих в него символов на двойственные, оно остается верным.

Пример. Докажем, например, закон Моргана.