В лесу на полянке встретились три лисицы: Анфиса, Беатриса и Василиса. Одна из них честная — она всегда говорит правду. Другая лисица — лукавая, она всегда лжет. А третья лисица — хитрая, и может сказать как правду, так и ложь. — Я хитрая лисица, — сказала Анфиса. — Нет, ты честная! — возразила ей Беатриса. — Хитрая у нас Беатриса, — сказала Василиса. Укажи, кто из лисиц честная, кто — лукавая, кто — хитрая.

Пошаговое решение:

• Анализ высказываний:
  • Анфиса говорит: «Я хитрая лисица».
  • Беатриса говорит: «Нет, ты честная!» (отвечая Анфисе).
  • Василиса говорит: «Хитрая у нас Беатриса».
• Проверяем Анфису: Если Анфиса честная, то она не может сказать «Я хитрая», потому что это будет ложью. Если Анфиса лукавая, она скажет «Я хитрая», что является правдой для лукавой лисицы. Если Анфиса хитрая, она может сказать «Я хитрая», что будет правдой.
• Проверяем Беатрису: Беатриса говорит Анфисе «Нет, ты честная!». Если Беатриса честная, она бы сказала правду. Если Анфиса честная, то Беатриса говорит правду. Но мы знаем, что есть три типа лисиц: честная, лукавая, хитрая.
• Проверяем Василису: Василиса говорит «Хитрая у нас Беатриса».
• Логическая цепочка:
  • Предположим, что Анфиса — честная. Тогда её слова «Я хитрая» — ложь. Это противоречит тому, что она честная. Значит, Анфиса не честная.
  • Предположим, что Анфиса — лукавая. Тогда её слова «Я хитрая» — ложь. Это соответствует тому, что лукавая лисица всегда лжет. Если Анфиса лукавая, то Беатриса, сказав «Нет, ты честная!», солгала, значит, Беатриса — лукавая. Но лисицы только три, и лукавая уже есть. Значит, Анфиса не лукавая.
  • Следовательно, Анфиса — хитрая. Её слова «Я хитрая» — правда.
  • Теперь разберем Беатрису. Она говорит Анфисе (хитрой): «Нет, ты честная!». Так как Анфиса хитрая, Беатриса солгала. Значит, Беатриса — лукавая.
  • Остается Василиса. Она говорит: «Хитрая у нас Беатриса». Мы выяснили, что Беатриса — лукавая. Значит, Василиса солгала. Но это не может быть, потому что хитрая лисица может сказать как правду, так и ложь, а лукавая — всегда ложь.
  • Давайте пересмотрим:
  • Анфиса: «Я хитрая лисица».
    • Если Анфиса честная, она бы сказала правду: «Я честная». Значит, Анфиса не честная.
    • Если Анфиса лукавая, она бы сказала правду: «Я лукавая». Но она говорит «Я хитрая», что является ложью. Значит, Анфиса может быть лукавой.
    • Если Анфиса хитрая, она может сказать правду: «Я хитрая».
  • Беатриса: «Нет, ты честная!» (Анфисе).
    • Если Беатриса честная, то Анфиса действительно честная. Но мы уже выяснили, что Анфиса не честная. Значит, Беатриса не честная.
    • Если Беатриса лукавая, то Анфиса не честная. Это соответствует нашим рассуждениям, что Анфиса не честная.
    • Если Беатриса хитрая, она может сказать, что Анфиса честная (ложь), или что она не честная (правда).
  • Василиса: «Хитрая у нас Беатриса».
    • Если Василиса честная, то Беатриса — хитрая.
    • Если Василиса лукавая, то Беатриса не хитрая.
    • Если Василиса хитрая, то Беатриса может быть как хитрой, так и не хитрой.
  • Сопоставляем:
    • Вариант 1: Анфиса — хитрая. Её слова «Я хитрая» — правда. Беатриса говорит Анфисе: «Нет, ты честная!» — это ложь. Значит, Беатриса — лукавая или хитрая. Василиса говорит: «Хитрая у нас Беатриса». Если Беатриса лукавая, то это ложь. Тогда Василиса — честная или хитрая. Если Беатриса хитрая, то это правда. Тогда Василиса — честная или хитрая.
    • Вариант 2: Анфиса — лукавая. Её слова «Я хитрая» — ложь. Это соответствует тому, что лукавая говорит ложь. Беатриса говорит Анфисе: «Нет, ты честная!» — это ложь, так как Анфиса лукавая. Значит, Беатриса — лукавая или хитрая. Василиса говорит: «Хитрая у нас Беатриса». Если Беатриса лукавая, то это ложь. Тогда Василиса — честная или хитрая. Если Беатриса хитрая, то это правда. Тогда Василиса — честная или хитрая.
    • Анализ высказывания Беатрисы: «Нет, ты честная!» (в ответ Анфисе). Если Анфиса говорит «Я хитрая», и Беатриса ей отвечает «Нет, ты честная!», то:
      • Если Беатриса честная, она скажет правду. Значит, Анфиса честная. Но Анфиса сказала «Я хитрая», что противоречит тому, что она честная. Значит, Беатриса не честная.
      • Если Беатриса лукавая, она скажет ложь. Значит, Анфиса не честная. Это возможно.
      • Если Беатриса хитрая, она может сказать правду (если Анфиса не честная) или ложь (если Анфиса честная).
    • Рассмотрим высказывание Василисы: «Хитрая у нас Беатриса».
      • Если Василиса честная, то Беатриса — хитрая.
      • Если Василиса лукавая, то Беатриса не хитрая.
      • Если Василиса хитрая, то Беатриса может быть как хитрой, так и не хитрой.
    • Сводим все вместе:
      • Пусть Анфиса — хитрая. Тогда ее слова «Я хитрая» — правда. Беатриса говорит ей: «Нет, ты честная!» — ложь. Значит, Беатриса — лукавая (т.к. всегда лжет) или хитрая. Если Беатриса лукавая, то Василиса говорит: «Хитрая у нас Беатриса» — ложь. Значит, Василиса — честная (т.к. она единственная осталась и не лукавая/хитрая). Если Беатриса хитрая, то Василиса говорит: «Хитрая у нас Беатриса» — правда. Значит, Василиса — честная.
      • Пусть Беатриса — честная. Тогда ее слова «Нет, ты честная!» (Анфисе) — правда. Значит, Анфиса — честная. Но у нас только одна честная лисица. Противоречие. Значит, Беатриса не честная.
      • Пусть Беатриса — лукавая. Тогда ее слова «Нет, ты честная!» (Анфисе) — ложь. Значит, Анфиса не честная. Анфиса говорит: «Я хитрая». Если Анфиса — хитрая, то это правда. Тогда Анфиса — хитрая, Беатриса — лукавая. Остается Василиса — честная. Василиса говорит: «Хитрая у нас Беатриса». Это ложь, т.к. Беатриса лукавая. Значит, Василиса не может быть честной. Противоречие.
      • Пусть Беатриса — хитрая. Тогда ее слова «Нет, ты честная!» (Анфисе) — это может быть как правда, так и ложь.
    • Переосмыслим высказывания:
      • Анфиса: «Я хитрая».
      • Беатриса: «Нет, ты честная!» (Анфисе).
      • Василиса: «Хитрая у нас Беатриса».
    • Если Анфиса — честная: Она скажет правду — «Я честная». Но говорит «Я хитрая». Не подходит.
    • Если Анфиса — лукавая: Она скажет ложь. «Я хитрая» — ложь. Значит, Анфиса не хитрая. Но она лукавая. Это возможно. Если Анфиса лукавая, то Беатриса говорит ей «Нет, ты честная!». Это ложь, так как Анфиса лукавая. Значит, Беатриса — лукавая или хитрая. Так как лукавая уже есть (Анфиса), Беатриса может быть хитрой. Тогда Василиса говорит «Хитрая у нас Беатриса». Если Беатриса хитрая, это правда. Значит, Василиса — честная.
    • Итак, если Анфиса — лукавая, Беатриса — хитрая, Василиса — честная:
      • Анфиса (лукавая) говорит «Я хитрая» (ложь) — подходит.
      • Беатриса (хитрая) говорит Анфисе (лукавой) «Нет, ты честная!» (ложь) — подходит (хитрая может солгать).
      • Василиса (честная) говорит «Хитрая у нас Беатриса» (правда, т.к. Беатриса хитрая) — подходит.
    • Проверим единственность
      • Пусть Анфиса — хитрая. Тогда «Я хитрая» — правда. Беатриса говорит «Нет, ты честная!» — ложь. Значит, Беатриса — лукавая. Василиса говорит «Хитрая у нас Беатриса». Это ложь, т.к. Беатриса лукавая. Значит, Василиса — честная или хитрая. Но хитрая уже есть (Анфиса), а лукавая — Беатриса. Значит, Василиса — честная. Но тогда у нас две честные: Василиса и Беатриса, что невозможно.
      • Значит, вариант: Анфиса — лукавая, Беатриса — хитрая, Василиса — честная — единственно верный.

    Финальный ответ:

    • Честная: Василиса
    • Лукавая: Анфиса
    • Хитрая: Беатриса