Последние новости
04.09.24
Объявление
09.06.24
Результаты Олимпиады
03.04.24
Предварительные результаты финального тура
05.03.24
Проведение финального тура
01.01.24
Предварительные результаты
Докажите, что количество различных выражений, описывающих очереди для голосования (любой длины), которые можно составить при помощи предикатов "за", "против" и "рядом", двух переменных x и y, кванторов и логических связок, не превышает 2 218+15 . (Выражения считаются одинаковыми, если для каждой очереди их значения совпадают).
Вы можете пользоваться манипулятором, но оцениваться будет только текст решения.
Манипулятор позволяет создавать в том числе картинки, не являющиеся очередями. Их не надо учитывать и использовать при решении задачи.