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






