Краткое содержание: Параграф § 22 / Информатика 10 класс

Основы решения логических задач

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

Метод рассуждений

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

Задачи о рыцарях и лжецах

Особый класс логических задач — задачи о рыцарях и лжецах. В таких задачах фигурируют:

• Рыцарь – всегда говорит правду.
• Лжец – всегда говорит ложь.
• Обычный человек – может говорить как правду, так и ложь.

Решение таких задач, как правило, сводится к перебору всех возможных вариантов распределения ролей или высказываний и исключению тех, которые приводят к логическим противоречиям. В задачах с неизвестным распределением (например, в какой город — Лжецов или Правдивых — попали путники) можно использовать блок-схемы для анализа возможных ответов на заданный вопрос.

Задачи на сопоставление (Табличный метод)

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

Использование таблиц истинности для решения логических задач

Аппарат алгебры логики предоставляет универсальные методы для решения широкого класса логических задач. Одним из таких методов является построение таблиц истинности. Процесс включает:

• Выделение элементарных высказываний и их обозначение логическими переменными (буквами, например, \( A \), \( B \), \( C \)).
• Запись условий задачи на языке алгебры логики.
• Построение таблицы истинности.
• Выбор набора значений логических переменных, при котором логическое выражение, описывающее условия задачи, является истинным.

Решение логических задач путем упрощения логических выражений

Другой формальный метод — это упрощение логических выражений. Его этапы:

• Выделение и обозначение элементарных высказываний.
• Формализация условий задачи на языке алгебры логики.
• Составление единого логического выражения.
• Упрощение полученного выражения, используя законы алгебры логики.
• Выбор такого набора значений логических переменных, при котором упрощенное выражение принимает значение истина.

Пример упрощения: если из условий следует истинность выражения \( (A \supset B) \wedge (C \supset \overline{B}) \), его можно упростить до \( \overline{A} \wedge \overline{C} \wedge \overline{B} \). Это выражение истинно только при \( A=0, C=0, B=0 \).