Задача

За круглым столом сидят четыре человека. Каждый из них либо рыцарь, либо лжец. Рыцари всегда говорят только правду, а лжецы всегда лгут. Постройте логическую схему, которая принимает значение истина тогда и только тогда, когда каждый из сидящих за столом может произнести фразу «Оба моих соседа лжецы».

На логической схеме входы соответствуют людям: нули обозначают лжецов, а единицы рыцарей. Соседние входы соответствуют соседним людям, кроме того, поскольку стол круглый, верхний вход будем считать соседним с нижним.

Разрешается использовать логические элементы AND (и), OR (или), NOT (не) и XOR (исключающее или).

Решение участника

Пусть первый сосед - С1, второй - С2, и сам человек - С0. Рыцарь скажет эту фразу если оба его соседа - лжецы. Т.е. если (not С1) and (not C2) = 1 и С0 = 1. Также если С0 - лжец, истина будет при (not C0) and (C1 and C2) = 1.