Анализ:
- Если А — рыцарь, то он говорит правду. Его утверждение «Мы оба лжецы» означает, что и А, и Б — лжецы. Но это противоречит предположению, что А — рыцарь. Следовательно, А не может быть рыцарем.
- Если А — лжец, то он лжет. Его утверждение «Мы оба лжецы» ложно. Это означает, что неверно, что они оба лжецы. Поскольку А — лжец, то Б должен быть рыцарем (так как они оба не могут быть лжецами).
Ответ: А — лжец, Б — рыцарь.