Логика истинности (Лжецы и рыцари)
Загадка №1: Новгородское Вече
На Вече собрались три боярина: Прохор, Твердислав и Добрыня. Один из них всегда говорит правду (рыцарь), другой всегда лжет (лжец), а третий хитрит (говорит то правду, то ложь).
Прохор сказал: «Твердислав — лжец».
Твердислав сказал: «Я хитвец».
Добрыня сказал: «Твердислав — честный человек».
Кто из бояр всегда говорит правду? Напиши имя: Прохор, Твердислав или Добрыня.