Последние новости
03.04.24
Предварительные результаты финального тура
05.03.24
Проведение финального тура
01.01.24
Предварительные результаты
25.12.23
Отборочный этап завершён.
18.12.23
Отборочный этап продлён по 24 декабря включительно
Запишите при помощи языка исчисления предикатов утверждения, что рядом с каждым человеком в очереди стоит кто-то, голосующий "за".
На картинке синий цвет обозначает человека, голосующего «за», красный — голосующего «против». Левая картинка представляет из себя пример правильной очереди, правая - неправильной.
Манипулятор позволяет создавать в том числе картинки, не являющиеся очередями. Их не надо учитывать и использовать при решении задачи.
Запись определения по условию задачи, Т.е. Для любого x найдется такой y такой что они соседи и y = 1