Метод де Моргана при решении логических задач заключается в преобразовании логических выражений. ru.hexlet.io
Законы де Моргана гласят: ru.hexlet.io
- Отрицание конъюнкции (И) превращается в дизъюнкцию (ИЛИ) отрицаний. ru.hexlet.io
- Отрицание дизъюнкции (ИЛИ) превращается в конъюнкцию (И) отрицаний. ru.hexlet.io
Суть метода в том, что общее отрицание распространяется на отдельные выражения, а также дизъюнкция заменяется конъюнкцией (и наоборот). www.homework.ru
Для решения логических задач обычно используют следующую схему: zftsh.online
- Выделить из условия задачи элементарные (простые) высказывания и обозначить их буквами. zftsh.online
- Записать условие задачи на языке алгебры логики, соединив простые высказывания в сложные с помощью логических операций. zftsh.online
- Составить единое логическое выражение для всех требований задачи (возможно не одно). zftsh.online
- Используя законы алгебры логики, попытаться упростить полученное выражение и вычислить все его значения либо построить таблицу истинности для рассматриваемого выражения. zftsh.online www.homework.ru
Таблицу можно строить, если в выражении не более трёх логических переменных. zftsh.online