Логические законы (презентация)

В алгебре логики имеется ряд законов, позволяющих производить равносильные преобразования логических выражений.
Приведем соотношения, отражающие эти законы.

Закон тождества
Всякое высказывание тождественно самому себе.
Закон двойного отрицания
Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.

Операции с константами
Логическое сложение
Логическое умножение
Закон повторения
Логическое сложение
Логическое умножение

Закон непротиворечия
Результат логического произведения высказывания и его отрицания ложно.
Закон исключенного третьего
Результат логического сложения высказывания и его отрицания всегда принимает значение «истинна».

Закон де Моргана
Для логического сложения
Для логического умножения
Закон коммутативности
Логическое сложение
Логическое умножение

Закон ассоциативности
Логическое сложение
Логическое умножение
Закон дистрибутивности
Дистрибутивность умножения относительно сложения
Дистрибутивность сложения относительно умножения

Закон поглощения
Логическое сложение
Логическое умножение
Закон склеивания
Логическое сложение
Логическое умножение