Непонятная задачка

[Gamover jr]

Нужно логически решить задачку про шпионов.
Ввообще не знаю как подступиться.

[XPEHOMETP]

Элементарно, Ватсон! Что требуют в первую очередь? Выразить ответы дипломатов в символьном виде. Это раз плюнуть:

Ответ дипломата A: C == spy
Ответ дипломата B: B /= spy
Ответ дипломата C: C /= spy
Ответ дипломата D: A == spy

Вместо буржуинского словечка "spy" можно использовать что-нибудь другое: "проклятый вражеский лазутчик", "шпигун" или еще что-то, как кому нравится.

Теперь составляем таблицу с предположениями, кто там из дипломатов "spy", и логическими переменными, характеризующими правдивость ответов дипломатов при любом раскладе. Формализация предположений уже задана: "Let A", "Let B" и так далее. Получаем что-то вроде:

-------- | Let A | Let B | Let C | Let D |
---------|-------|-------|-------|-------|
C == spy | false | false | true | false |
B /= spy | true | false | true | true |
C /= spy | true | true | false | true |
A == spy | true | false | false | false |

Ну и, соответственно, ищутся нужные варианты: если соврал только один, то должно быть 3 true и 1 false, и т. д.

[Gamover jr]

Не догоняю.
Почему столбцы в алфавитном порядке, а строки в обратном?

[XPEHOMETP]

Строки - это ответы дипломатов, от А до D. Дипломаты в алфавитном порядке, но не указаны. Можно и указать для доходчивости.

[Gamover jr]

Теперьт я понял, что за таблица.
А как выяснить кто шпион в случае а) или b) ?

[XPEHOMETP]

Ну елы-палы, кто картинку с условием прикреплял???? (Хотел написать русским, но там) английским языком же спрашивают: кто шпион, если - далее всего 2 варианта:

1. Всего один дипломат солгал;
2. Только один дипломат сказал правду.

Оба варианта без проблем находятся по таблице. Т.е. надо смотреть, в какой колонке только один false или только один true. Соответственно, шпиёнами будут А и В.

Надо же, оказывается, даже дипломаты иногда не врут!!!

[Gamover jr]

Почему А ?
Во втором варианте надо искать строчку с одним true? Таких строчек две.

[Diseased Head]

Gamover jr, не строки, а столбцы!..

[Gamover jr]

Просто скажите почему в одном случае А, в другом В.
Начинаю ответ применять к условию и не клеится, получается ещё кто-то шпиён.

[XPEHOMETP]

Cтроки в таблице - это ответы дипломатов. Столбцы показывают истинность или ложность этих ответов в предположении, что такой-то дипломат - шпион. Например, в столбце Let A истинность ответов дипломатов оценивается с позиции предположения, что шпион - это А. Получается один ложный ответ и три истинных - а это как раз один из искомых вариантов. Поэтому дипломат А - шпион при условии, что только один дипломат солгал. Ну, и так далее.