В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений :
|
Закон |
Для ИЛИ |
Для И |
|
Переместительный |
|
|
|
Сочетательный |
|
|
|
Распределительный |
|
|
|
Правила де Моргана |
|
|
|
Идемпотенции |
|
|
|
Поглощения |
|
|
|
Склеивания |
|
|
|
Операция переменной с ее инверсией |
|
|
|
Операция с константами |
|
|
|
Двойного отрицания |
|
|
|
|
|
|
|
|