Задача

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

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

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

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

4 лжеца быть не может, так как тогда все скажут правду 3 лжеца тоже не подходит, так как тогда один сидит между двумя лжеца и скажет правду 2 лжеца в самый раз. Сидят через одного 1 лжец не может сидеть, так как тогда один рыцарь сидит между двумя рыцарями и получается врет 0 лжецов тоже не может сидеть, так как тогда это врущие рыцари, чего не может быть