Теоремы булевой алгебры
1. Закон сложения с нулем и единицей
2. Закон умножения на ноль и единицу
3. Закон идемпотентности
4. Законы операций с переменной и ее
инверсией
5. Закон двойного отрицания
6. Закон коммутативности
7. Законы поглощения
8. Законы поглощения с отрицанием
9. Закон де Моргана
10. Закон ассоциативности
11. Закон дистрибутивности