Последние новости
05.03.24
Проведение финального тура
01.01.24
Предварительные результаты
25.12.23
Отборочный этап завершён.
18.12.23
Отборочный этап продлён по 24 декабря включительно
28.11.23
Начало отборочного этапа 11 декабря. Примеры работы с манипуляторами
На некоторых клетках квадратной клетчатой доски стоят рыцари, которые говорят только правду, а на некоторых — лжецы, которые всегда лгут. Некоторые клетки могут быть свободны; на каждой клетке стоит не более одного человека. Рыцари обозначены синими кружками, лжецы — красными. Составьте логическое выражение, которое истинно тогда и только тогда, когда каждый из стоящих на доске человек может произнести фразу «Все мои соседи лжецы». На левой картинке изображён пример, удовлетворяющий условию задачи, на правой — не удовлетворяющий.
Истина только тогда, когда нет соседей рыцарей и когда у лжеца не все соседи лжецы