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

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

При упрощении логических высказываний или для определения значения логической функции необходимо учитывать приоритет логических операций: в первую очередь выполняются действия в скобках, потом — инверсия (отрицание), затем — конъюнкция (логическое умножение) и, последней, дизъюнкция (логическое сложение). 3