Пользователь1 год назад
Разберем утверждения жителей и определим, кто из них лжец.
Утверждения:
1. Билли: Все цифры номера автобуса различны.
2. Вилли: Первая цифра номера — 1.
3. Тилли: Вторая цифра номера — 2.
4. Салли: Третья цифра номера — 3.
5. Билли (дополнительно): Цифры расположены в порядке возрастания.
Анализ:
* Если утверждения 2, 3 и 4 истинны, номер автобуса должен быть 123.
* Если номер автобуса — 123, то:
* Утверждение Билли о порядке возрастания истинно.
* Утверждение Билли о том, что все цифры различны, также истинно.
* Утверждения Вилли, Тилли и Салли об отдельных цифрах номера тоже истинны.
Проверим на случай, если один из них лжец:
1.
Если лжец Билли:
* Его первое утверждение ложно: цифры номера не различны. Но это противоречит утверждениям других (номер должен быть трёхзначным, и цифры 1, 2, 3 различны).
* Значит, Билли не лжец.
2.
Если лжец Вилли:
* Первая цифра не 1. В этом случае номер не может быть 123, а утверждения Тилли и Салли также окажутся неверными. Противоречие.
* Значит, Вилли не лжец.
3.
Если лжец Тилли:
* Вторая цифра не 2. Противоречит условию порядка возрастания (с первой цифрой 1 и третьей 3).
* Значит, Тилли не лжец.
4.
Если лжец Салли:
* Третья цифра не 3. Противоречит условию, что цифры в порядке возрастания (если первая 1, вторая 2).
* Значит, Салли — лжец.