После провала Порохового заговора в 1605 году в Англии было арестовано шестеро человек. Всех допрашивали по отдельности, выпытывая, кто из остальных заговорщики, а кто верны Короне. Арестованные дали следующую информацию:
- Августин: Феликс верен Короне, а Эразм — предатель.
- Бартоломью: Августин верен.
- Кутберт: Феликс верен, а Бартоломью — предатель.
- Дионис: Кутберт верен, а Бартоломью — предатель.
- Эразм: Дионис — предатель.
- Феликс: Августин верен.
Известно, что лоялисты (верные Короне люди) говорят правду — в той мере, в которой она им известна. То есть, их словам о предателях можно верить, но не их словам о лоялистах. Заговорщики, в свою очередь, знают остальных участников заговора и всегда дают ложные сведения.
Вопрос: сколько всего предателей?
Посмотреть решениеПредположим, что Августин верен Короне, и посмотрим, куда это нас приведет.
Если Августин верен, Эразм — предатель. Это в свою очередь означает, что Дионис верен, а Бартоломью — предатель. Мы приходим к тому, что Августин — предатель, а это противоречит нашей первой установке.
Предположим, что Августин — предатель. Значит, Эразм — лоялист, а Феликс — предатель. Это значит, что Дионис — тоже предатель, а следовательно, Бартоломью верен Короне, а Кутберт — предатель.
Итого — четыре предателя (Августин, Кутберт, Дионис и Феликс) и два лоялиста (Бартоломью и Эразм).