К основным законам (тождествам, правилам) булевой алгебры относятся:
1. Коммутативные (переместительные) законы:
2. Ассоциативные (сочетательные) законы:
3. Дистрибутивные (распределительные) законы:
4. 
Закон двойного отрицания:
5. Законы тавтологии (идемпотентности):
6. Законы нулевого элемента:
7. 
Законы единичного элемента:
8. 
Законы дополнительного элемента. В булевой алгебре дополнительным элементом по отношению к а является отрицание а
9. Законы двойственности (де Моргана):
Следствия:
10. 
Законы поглощения:
11. Правила сокращения:
Cледствия:
12. Правила склеивания:
