Решение логических задач средствами алгебры логики

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

  1. изучается условие задачи;
  2. вводится система обозначений для логических высказываний;
  3. конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
  4. определяются значения истинности этой логической формулы;
  5. из полученных значений истинности формулы определяются значения истинности введенных логических высказываний, на основании которых делается заключение о решении.