Логические законы

Содержание

Слайд 2

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

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

выражений.
Приведем соотношения, отражающие эти законы.
Слайд 3

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

Закон тождества

Всякое высказывание тождественно самому себе.
Закон двойного отрицания

Если дважды отрицать некоторое

высказывание, то в результате мы получим исходное высказывание.
Слайд 4

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

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

Слайд 5

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

Закон непротиворечия

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

Результат

логического сложения высказывания и его отрицания всегда принимает значение «истинна».
Слайд 6

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

Закон де Моргана
Для логического сложения

Для логического умножения

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

Логическое умножение
Слайд 7

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

Закон ассоциативности
Логическое сложение

Логическое умножение

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

Дистрибутивность сложения относительно умножения
Слайд 8

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

Закон поглощения

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