Способ 1. Перебор возможного правдивого
Если известно, что правду говорит ровно один человек, предположите по очереди каждого кандидата правдивым. Для каждой версии определите, какими должны быть остальные фразы. Версия подходит только тогда, когда число истинных высказываний совпало с условием.
Такой перебор не является случайным: число версий ограничено. Для трёх участников понадобится проверить максимум три сценария, а аккуратная запись занимает меньше времени, чем попытка рассуждать обо всех сразу.
Способ 2. Найдите связанные фразы
Иногда два высказывания являются отрицаниями друг друга. Тогда одно из них обязательно истинно, а второе ложно. Это сразу задаёт часть картины. В других задачах две фразы оказываются равносильными и должны иметь одинаковое значение.
Особенно внимательно работайте со словами «оба», «хотя бы один» и «ровно один». Если ложна фраза «Аня и Борис лгут», это означает, что хотя бы один из них говорит правду, а не обязательно оба.
Способ 3. Доведите предположение до противоречия
Выберите удобное высказывание и временно считайте его истинным. Последовательно отметьте, что тогда происходит с остальными. Если один человек должен одновременно говорить правду и лгать, исходное предположение невозможно.
В финале перечислите значения всех фраз и пересчитайте правдивых. Такая контрольная проверка защищает от самой частой ошибки — найти локально непротиворечивую пару и забыть про оставшееся условие.
Коротко о частом
Вопросы и ответы
Что делать, если человек иногда лжёт, а иногда говорит правду?
Тогда принадлежность к типу не помогает. Анализируйте каждую конкретную фразу и используйте дополнительные ограничения из условия.
Нужна ли символическая логика?
Для большинства бытовых задач достаточно таблицы версий и аккуратного понимания связок «и», «или», «не».