В чем заключается метод де Моргана при решении логических задач?

Метод де Моргана при решении логических задач заключается в преобразовании логических выражений. 2

Законы де Моргана гласят: 2

• Отрицание конъюнкции (И) превращается в дизъюнкцию (ИЛИ) отрицаний. 2
• Отрицание дизъюнкции (ИЛИ) превращается в конъюнкцию (И) отрицаний. 2

Суть метода в том, что общее отрицание распространяется на отдельные выражения, а также дизъюнкция заменяется конъюнкцией (и наоборот). 5

Для решения логических задач обычно используют следующую схему: 4

1. Выделить из условия задачи элементарные (простые) высказывания и обозначить их буквами. 4
2. Записать условие задачи на языке алгебры логики, соединив простые высказывания в сложные с помощью логических операций. 4
3. Составить единое логическое выражение для всех требований задачи (возможно не одно). 4
4. Используя законы алгебры логики, попытаться упростить полученное выражение и вычислить все его значения либо построить таблицу истинности для рассматриваемого выражения. 45

Таблицу можно строить, если в выражении не более трёх логических переменных. 4