Разбирается дело Джона, Брауна и Смита. Известно, что один из них нашёл и утаил клад.

Марина в категроии Информатика, вопрос открыт 16.12.2017 в 21:17

На следствии каждый из подозреваемых сделал два заявления:
Смит: "Я не делал этого. Браун сделал это".
​Джон: "Браун не виновен. Смит сделал это".
​Браун: "Я не делал этого. Джон не делал этого".

Суд установил, что один из них дважды солгал, другой дважды сказал правду, третий один раз солгал, один раз сказал правду.

Кто из подозреваемых должен быть оправдан?

Для решения этой задачи заполним таблицу истинности по аналогии с таблицей истинности задачи 1 на странице 33 учебника:

Д Б С Показания С Показания Д Показания Б
НЕ С Б НЕ Б С НЕ Б НЕ Д
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
Ответ: преступление совершил ....., оправдать нужно ..... и ...... Это следует из строки . таблицы истинности.
Анализ строки . таблицы истинности показал, что никто из подозреваемых два раза правду не говорил, а также два раза не лгал. Анализ строки . таблицы истинности показал, что два подозреваемых одновременно два раза говорят правду, а один - обра раза лжёт. Эти строчки противоречат истине, которая была установлена судом - "один из них дважды солгал, другой дважды сказал правду, третий один раз солгал, один раз сказал правду".