В суде проходило разбирательство по делу троих обвиняемых: А, В и С. К началу слушания удалось выяснить, что один из этой троицы был рыцарем (он говорил всегда правду), другой - плутом (этот всегда лгал), а третий был шпионом, который оказался нормальным человеком (то есть иногда он лгал, а иногда говорил правду). Целью разбирательства было выявить среди них шпиона.
Поначалу слово предоставили обвиняемому А. Он то ли сообщил, что С - плут, то ли заявил, что С - шпион (точнее нам неизвестно). Потом предложили высказаться подсудимому В, который то ли утверждал, что А - рыцарь, то ли сказал, что А - плут, то ли заявил, что А - шпион, - точнее выяснить нам опять не удалось. Наконец, когда слово предоставили обвиняемому С, тот то ли сообщил что В - рыцарь, то ли утверждал, что В - плут, то ли заявил, что В - шпион. Судья разобрался, кто же из них шпион, и вынес справедливый приговор.
Об этой истории как-то рассказали одному логику, который, поразмыслив, в конце концов заявил: "У меня недостаточно информации, чтобы выяснить, кто же из обвиняемых шпион". Тогда логику сообщили, что именно сказал А, после чего он вычислил, кто шпион.
Кто же из обвиняемых является шпионом - А, В или С?

С логиком все понятно, он хоть с одним поговорил, а вот чем слушал судья, непонятно. Может он спал во время суда?

На мой взгляд данных недостаточно.

В соревнованиях по женской логике победил генератор случайных чисел.

Ну не знаю но мне это напомнило вот такую историю, точнее анекдот:

Жили-были отец и 3 сына. Были у них лошади. Паслись они по ночам. Охраняли их по очереди. И вот аднажды вбегает один из сыновей и арет:
- Б-а-т-я-я-я-я-я! Какой-то пи@ор нашу лошадь спи..л!
Второй сын: Ну раз пи@ор, значит маленький...
Третий: Раз маленький, значит из соседней деревни.
Батя: Раз из соседней деревни, значит Васька косой!

Подали на него в суд. Идет суд, судья спрашивает пострадавших, почему они считают, что это Васька косой. Они все рассказыват. Судья удивленно посмотрел, достал из-под стола коробку и спрашивает, что в ней по мнению пострадавшей стороны.
1 - Коробка то квадратная...
2 - Раз квадратная, значит внутри - круглое...
3 - Раз круглое - значит оранжевое...
Б - А раз оранжевое - значит апельсин!

Судья открывает коробку, заглядывает и говорит:
- Слушай, косой, отдай им эту лошадь....

Такого еще не слышал

!!! круто.

Задача решаема. Только вот решение на 4 страницах =) Не поленюсь, отсканю и выложу, через недельку

Данных достаточно, но без листка бумаги и ручки решить довольно сложно

По-моему, задача решается, если к условиям добавить, что утверждения A, B и С не повторялись.
Заданным условиям удовлетворяют след. варианты:
(где -1 - плут, 0 - шпион, 1 рыцарь)
A is 1- , A said C is 1- , B is 0 , B said A is 1- , C is 1 , C said B is 0
A is 1- , A said C is 1- , B is 0 , B said A is 0 , C is 1 , C said B is 0
A is 1- , A said C is 1- , B is 0 , B said A is 1 , C is 1 , C said B is 0
A is 1- , A said C is 1- , B is 1 , B said A is 1- , C is 0 , C said B is 1-
A is 1- , A said C is 1- , B is 1 , B said A is 1- , C is 0 , C said B is 0
A is 1- , A said C is 1- , B is 1 , B said A is 1- , C is 0 , C said B is 1
A is 0 , A said C is 1- , B is 1- , B said A is 1- , C is 1 , C said B is 1-
A is 0 , A said C is 1- , B is 1- , B said A is 1 , C is 1 , C said B is 1-
A is 0 , A said C is 1- , B is 1 , B said A is 0 , C is 1- , C said B is 1-
A is 0 , A said C is 1- , B is 1 , B said A is 0 , C is 1- , C said B is 0
A is 1 , A said C is 1- , B is 0 , B said A is 1- , C is 1- , C said B is 1-
A is 1 , A said C is 1- , B is 0 , B said A is 1- , C is 1- , C said B is 1
A is 1 , A said C is 1- , B is 0 , B said A is 0 , C is 1- , C said B is 1-
A is 1 , A said C is 1- , B is 0 , B said A is 0 , C is 1- , C said B is 1
A is 1 , A said C is 1- , B is 0 , B said A is 1 , C is 1- , C said B is 1-
A is 1 , A said C is 1- , B is 0 , B said A is 1 , C is 1- , C said B is 1
A is 1- , A said C is 0 , B is 0 , B said A is 1- , C is 1 , C said B is 0
A is 1- , A said C is 0 , B is 0 , B said A is 0 , C is 1 , C said B is 0
A is 1- , A said C is 0 , B is 0 , B said A is 1 , C is 1 , C said B is 0
A is 0 , A said C is 0 , B is 1- , B said A is 1- , C is 1 , C said B is 1-
A is 0 , A said C is 0 , B is 1- , B said A is 1 , C is 1 , C said B is 1-
A is 0 , A said C is 0 , B is 1 , B said A is 0 , C is 1- , C said B is 1-
A is 0 , A said C is 0 , B is 1 , B said A is 0 , C is 1- , C said B is 0
A is 1 , A said C is 0 , B is 1- , B said A is 1- , C is 0 , C said B is 1-
A is 1 , A said C is 0 , B is 1- , B said A is 1- , C is 0 , C said B is 0
A is 1 , A said C is 0 , B is 1- , B said A is 1- , C is 0 , C said B is 1
A is 1 , A said C is 0 , B is 1- , B said A is 0 , C is 0 , C said B is 1-
A is 1 , A said C is 0 , B is 1- , B said A is 0 , C is 0 , C said B is 0
A is 1 , A said C is 0 , B is 1- , B said A is 0 , C is 0 , C said B is 1

Если же в условия задачи ввести вышеуказанное условие, то вариантов остается всего 4:
A is 1- , A said C is 1- , B is 0 , B said A is 1 , C is 1 , C said B is 0
A is 1 , A said C is 1- , B is 0 , B said A is 0 , C is 1- , C said B is 1
A is 0 , A said C is 0 , B is 1- , B said A is 1 , C is 1 , C said B is 1-
A is 1 , A said C is 0 , B is 1- , B said A is 1- , C is 0 , C said B is 1

При этом, если A сказал, что С - шпион, то определить шпиона не удастся, т.к. в двух вариантах, справедливых для этого случая, шпионом является либо А, либо С.
А вот если А сказал, что С - плут, то в обоих вариантах шпионом является В.
Т.о. если логик смог определить кто шпион, значит А сказал, что С - плут, а шпионом был В.

Не надо вводить доп.условий. Все должно примитивно решиться при помощи предикатов.Пара часов матеаматическмих выкладок - и ответ, тщательно обоснованный мат.аппаратом - перед вами!

Только вот некорректно, уважаемая Diska, такие загадки загадывать на форуме консультантов. Было бы время - ответ найдется! А времени то у нашего брата и нету...

Прав, абсолютно прав. Не в обиду das Mädchen будет сказано.
stms ждет:)

Я решал таким образом - составил все возможные варианты
(их 108 = количество_перестановок_ролей * количество_размещений_высказываний,
количество_перестановок_ролей = 3!
количество_размещений_высказываний = 2*3^2)
Затем каждый из вариантов проверяется на соответствие условиям задачи след. образом:
каждое из трех высказываний (X говорит что Y - m. Y в действительности - k) должно соответствовать след. условию:
Если X - рыцарь, то высказывание соответствует условиям задачи, если m = k
Если X - плут, то высказывание соответствует условиям задачи, если m <> k
Если X - шпион, то высказывание соответствует условиям задачи в любом случае.

На АВАРе надеюсь?

Не иначе

Еще лучше - на АВАРе, с выгрузкой в Excel, и подтягиванием тамошних макросов.

Best regs

ну а на чем