Последние новости
05.03.24
Проведение финального тура
01.01.24
Предварительные результаты
25.12.23
Отборочный этап завершён.
18.12.23
Отборочный этап продлён по 24 декабря включительно
28.11.23
Начало отборочного этапа 11 декабря. Примеры работы с манипуляторами
Докажите, что количество различных выражений, описывающих очереди для голосования (любой длины), которые можно составить при помощи предикатов "за", "против" и "рядом", двух переменных x и y, кванторов и логических связок, не превышает 2 218+15 . (Выражения считаются одинаковыми, если для каждой очереди их значения совпадают).
Вы можете пользоваться манипулятором, но оцениваться будет только текст решения.
Манипулятор позволяет создавать в том числе картинки, не являющиеся очередями. Их не надо учитывать и использовать при решении задачи.