А — рыцарь, Б — рыцарь, В — рыцарь, Г — лжец. По условию А и Г разного типа. Случай А — рыцарь, Г — лжец: А(р) «Б р» ✓ $\to$ Б — рыцарь. Б(р) «В р» ✓ $\to$ В — рыцарь. В(р) «Г л» ✓ — Г действительно лжец. Г(л) «среди А,Б,В есть лжец» — ложь, значит все трое рыцари ✓. Всё согласованно. Случай А — лжец, Г — рыцарь: А(л) «Б р» ложь $\to$ Б — лжец. Б(л) «В р» ложь $\to$ В — лжец. В(л) «Г л» ложь $\to$ Г — рыцарь ✓. Г(р) «среди А,Б,В хотя бы один лжец» — истина (все трое лжецы) ✓. Тоже согласованно. Два решения. При дополнительном условии А — рыцарь получаем единственный ответ: А—р, Б—р, В—р, Г—л.

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