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