Последние новости
04.09.24
Объявление
09.06.24
Результаты Олимпиады
03.04.24
Предварительные результаты финального тура
05.03.24
Проведение финального тура
01.01.24
Предварительные результаты
Запишите при помощи языка исчисления предикатов утверждения, что рядом с каждым человеком в очереди стоит кто-то, голосующий "за".
На картинке синий цвет обозначает человека, голосующего «за», красный — голосующего «против». Левая картинка представляет из себя пример правильной очереди, правая - неправильной.
Манипулятор позволяет создавать в том числе картинки, не являющиеся очередями. Их не надо учитывать и использовать при решении задачи.
Просто запишем формулой условие: для всех x, существует сосед, голосующий "за".