Задача по логике: определить, в каком кабинете лежит пакет, по ответам учителей в трёх кабинетах. В каждом кабинете один учитель — один из трёх типов: откровенный (всегда говорит правду), осторожный (говорит правду один раз, иначе — нет), скрытный (на первый раз не скажет правду; то есть в этой задаче лжет).
Назовём места: M — математика, F — физика, I — информатика. Распишем высказывания учителей:
В кабинете информатики учитель сказал: «пакет не у нас и не в кабинете математики».
Это означает: пакет не в I и не в M → пакет в F. Верно только если местоположение P = F.
В кабинете математики учитель сказал: «пакет не в кабинете информатики, пакет в кабинете физики».
Это означает: не в I и в F → снова пакет в F. Верно только если P = F.
В кабинете физики учитель сказал: «пакет не у нас, пакет в кабинете информатики».
Это означает: не в F и в I → то есть пакет в I. Верно только если P = I.
Итак, по сути:
- Если пакет в F, то высказывания учителей в I и M будут истинны, а в P — ложь.
- Если пакет в I, то высказывание в P истинно, а в I и M ложно.
- Если пакет в M, то все три высказывания ложны.
Теперь применим требование к ролям: среди трёх учителей один откровенный (всегда говорит правду), один осторожный (один раз говорит правду, один нет), и один скрытный (на первый раз лжёт). В этой задаче каждому учителю приходится говорить ровно один раз.
Из условий следует, что в допустимом сценарии должно быть ровно две правдивые декларации и одна ложь (поскольку откровенный — правдивый всегда, осторожный — правдив в этой единственной реплике, скрытный — лжёт в своей реплике). Это совпадает с ситуацией, когда пакет находится в F: тогда высказывания из I и M истинны, а высказывание из P ложно.
Следовательно, единственно совместимое положение пакета: пакет в кабинете физики (P = F).
Ответ: пакет лежит в кабинете физики.
Дополнительная заметка: кто из учителей относится к каким ролям, определить можно так: учителя в I и M говорят правду, значит один из них — откровенный, другой — осторожный. А учитель в P лжёт — значит именно в физике скрытный. Но по данным задачи точно определить, кто из I и M откровенный, а кто осторожный нельзя без дополнительных предположений.
