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