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






