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