Задача 6н.11. Стоят рядом две деревни — Правдино и Лгуново. Жители первой всегда честны, а жители второй всегда лгут. Как-то раз путник встретил на дороге между деревнями трёх сельчан, ведущих коня, и спросил у них, откуда они и чей это конь. Вот их ответы: Анатолий: «Борис из Лгуново. Конь принадлежит Василию». Борис: «Анатолий и Василий из одной деревни». Василий: «Борис из Правдино. Это конь Бориса». Помогите путнику найти ответ на его вопрос.

Если Борис из Лгуново, то высказывание Анатолия о Борисе истинно, а значит, Анатолий из Правдино. Тогда утверждение Бориса, что Анатолий и Василий из одной деревни, ложно; это согласуется с тем, что Борис лжец, и означает, что Василий тоже из Лгуново.

В таком случае слова Василия ложны: Борис не из Правдино и конь не принадлежит Борису. Утверждение Анатолия, что конь принадлежит Василию, истинно, как и должно быть для жителя Правдино.

Все высказывания согласуются: Анатолий — из Правдино, Борис и Василий — из Лгуново, конь принадлежит Василию.

Ответ: конь принадлежит Василию.