Рыцари — А и Б; лжецы — В и Г. А и Б «поддерживают» друг друга: если А — рыцарь, то «Г — лжец» правда $\to$ Г — лжец; тогда «В — рыцарь» — ложь $\to$ В — лжец; В лжёт: «Б — лжец» ложь $\to$ Б — рыцарь; Б говорит «А — рыцарь» правдиво ✓. Итого: рыцари А и Б, лжецы В и Г — система непротиворечива. Проверка второго варианта (А — лжец): «Г — лжец» ложь $\to$ Г — рыцарь; Г говорит «В — рыцарь» правдиво $\to$ В — рыцарь; В говорит «Б — лжец» правдиво $\to$ Б — лжец; Б лжёт: «А — рыцарь» ложь $\to$ А — лжец ✓. Рыцари В и Г — тоже непротиворечиво. Задача имеет два решения: {А, Б} или {В, Г} — рыцари.

💡 Авторизуйтесь, чтобы получить помощь AI-тьютора с подсказками и решениями!