Проблема разрешимости и минимизация формул логики

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

В логике высказываний используется два основных способа разрешения:

• 1) табличный способ определения формул логики;
• 2) приведение к нормальным логическим формам и последующая минимизация формулы.

В качестве примера проверим корректность следующего рассуждения: «Если „Спартак“ выиграет следующую игру, а „Зенит“ сыграет вничью или потерпит поражение, и „Торпедо“ потерпит поражение, то „Спартак“ выходит в финал. Но „Торпедо“ одержало победу. Следовательно, „Спартак“ в финал не вышел».

Логическая формула, соответствующая этому рассуждению (механизм ее составления разобран выше) выглядит следующим образом:

Приведем данную формулу к нормальной форме и будем ее последовательно упрощать (минимизировать), используя законы логики.

Удалим знаки импликации и строгой дизъюнкции согласно законам (1) и (6):

Применим к полученной формуле законы де Моргана (32) и (33):

Теперь воспользуемся законом двойного отрицания (31):

Используя закон поглощения (24) окончательно получаем:

Полученная формула, очевидно, является нейтральной, следовательно, приведенное рассуждение некорректно.

Рассмотрим пример другого рассуждения.

«Если Иванов сдает экзамен по логике, то Петров сдает зачет по философии. Иванов сдает экзамен по логике или экзамен по истории. Если Иванов сдает экзамен по истории, то Сидоров сдает экзамен по анатомии. Но Сидоров не сдает экзамен по анатомии. Следовательно, Петров сдает зачет по философии».

Проверим корректность этого рассуждения. Логическая формализация позволяет представить его в виде следующей формулы:

Воспользуемся той же процедурой, что и в предыдущем случае.

Удаляем знаки импликации:

Применяем законы де Моргана и закон двойного отрицания:

Воспользуемся законом дистрибутивности. Тогда в нашей формуле следует произвести эквивалентные замены:

Получаем:

Используем закон исключения третьего:

Исключим логическую константу И в соответствии с законом исключения логических констант:

Используя закон дистрибутивности, получаем:

В соответствии с законом исключения третьего и исключения констант имеем:

Согласно закону коммутативности, порядок, в котором осуществляется операция дизъюнкции, не влияет на логическое значение формулы, поэтому, переставив дизъюнкты, получаем:

Таким образом, логическая формула, соответствующая анализируемому рассуждению, оказалась тавтологией, то есть данное рассуждение является корректным.