Алгебра теории множеств

Для любых множеств А, В и С выполнимы следующие тождества:

1. Коммутативный закон

(9)

2. Ассоциативный закон

(10)

3. Дистрибутивный закон

(11)

4. Закон поглощения

(12)

5. Закон идемпотентности

(13)

6. Закон де Моргана

(14)

7. Закон исключенного третьего

(15)

8. Закон противоречия

(16)

9. Операции с универсумом:

(17)

10. Операции с пустым множеством:

(18)

11. (19)

12. Закон двойного дополнения

(20)

13. (21)

14. (22)

При преобразованиях выражений над множествами по законам алгебры логики существуют следующие приоритеты: самой приоритетной операцией является дополнение, затем пересечение и в последнюю очередь объединение.