Коммутативные (переместительные) законы:
Ассоциативные (сочетательные) законы:
Дистрибутивные (распределительные) законы:
Законы повторения:
Законы инверсии (двойственности):
Законы отрицания:
Закон двойного отрицания:
Закон поглощения:
Закон склеивания:
Правила операций с константами:
Дополнительные тождества: