Маска Гая Фокса

После провала Порохового заговора в 1605 году в Англии было арестовано шестеро человек. Всех допрашивали по отдельности, выпытывая, кто из остальных заговорщики, а кто верны Короне. Арестованные дали следующую информацию:

• Августин: Феликс верен Короне, а Эразм — предатель.
• Бартоломью: Августин верен.
• Кутберт: Феликс верен, а Бартоломью — предатель.
• Дионис: Кутберт верен, а Бартоломью — предатель.
• Эразм: Дионис — предатель.
• Феликс: Августин верен.

Известно, что лоялисты (верные Короне люди) говорят правду — в той мере, в которой она им известна. То есть, их словам о предателях можно верить, но не их словам о лоялистах. Заговорщики, в свою очередь, знают остальных участников заговора и всегда дают ложные сведения.

Вопрос: сколько всего предателей?

Посмотреть решение

Предположим, что Августин верен Короне, и посмотрим, куда это нас приведет.

Если Августин верен, Эразм — предатель. Это в свою очередь означает, что Дионис верен, а Бартоломью — предатель. Мы приходим к тому, что Августин — предатель, а это противоречит нашей первой установке.

Предположим, что Августин — предатель. Значит, Эразм — лоялист, а Феликс — предатель. Это значит, что Дионис — тоже предатель, а следовательно, Бартоломью верен Короне, а Кутберт — предатель.

Итого — четыре предателя (Августин, Кутберт, Дионис и Феликс) и два лоялиста (Бартоломью и Эразм).