Одна логическая задача

Рассмотрим возможность применения аппарата алгебры логики к решению содержательных задач.

Следователь одновременно допрашивает трех свидетелей. Их показания противоречивы. Первый свидетель утверждает, что второй лжет. Второй свидетель утверждает, что третий лжет. Третий свидетель утверждает, что нельзя верить ни первому, ни второму. Кто из свидетелей говорит правду?

Обозначим свидетелей f₁,f₂ ,f₃ , соответственно. То, что свидетели f₁,f₂,f₃ говорят правду, обозначим через а, в, с. Тогда то, что они лгут, обозначим а, в, с, соответственно.

Свидетель f₁ мог сказать правду,что свидетель f₂ лжет, но f₁ мог и солгать. Тогда оказывается,что свидетель f₂ говорит правду.

Это можно записать следующим образом:

f ₁ = а × в v а × в = 1

Аналогично запишутся и показания свидетеля f_2:

f ₂ = в × с v в × с = 1

Рассмотрим показания третьего свидетеля. f₃ может сказать правду, тогда а и в лгут. Это запишется, как с ×а× в.Но с мог солгать.Тогда, по крайней мере, один из первых двух свидетелей сказал правду. Это запишется как с× (а v в).

В итоге получим:

f ₃ = с × а × в v с × (а v в) = 1

Мы получили три истинных высказывания. Их конъюнкция f также будет истинна.

f = f ₁× f ₂ × f ₃ = (а × в v а × в) × (в × с v в × с ) v (с × а × в v с × (а v в)) = 1

Определим из таблицы истинности 3.9 наборы значений переменных а, в и с, на которых функция f принимает значение 1. Поскольку имеется три переменных, то таблица будет содержать 2 ³ = 8 строк.

Таблица 3.9

a

в

с

а × в

а × в

f1

в × c

в × с

f2

а × в × с

с×(аÚв)

f3

f

Из таблицы 3.9 следует, что функция f = 1 при а = 0, в = 1 и c = 0. То есть справедливо f = а× в × с = 1

Это означает, что второй свидетель говорит правду, а первый и третий лгут.