Изменения

Далее на время исключим $x_0$ из рассмотрения аргументов $s_i$.

* В каждой $s_i$ ровно $m$ переменных с отрицанием и столько же без него.

* Каждой $s_i$ можно однозначно сопоставить в пару такую $s_j$, что все переменные с отрицанием из $s_i$ в $s_j$ будут без отрицания и наоборот. Это следует из того, как мы строим набор ${s_i}$ {{---}} циклически сдвигаем отрезок отрицания переменных, пока не получим все возможные. Для нахождения нужно сдвинуть отрезок ровно на $m$ позиций (вправо или влево, это не важно {{---}} получится одно и то же). Назовем такую пару $(s_i, s_j)$ '''двойственной''', и будем обозначать через $\neg s_i$ двойственную $s_i$ пару.

Заметим также, что мы доказали наличие '''одной пары''', но на самом деле таких может быть больше. Давайте такие пары назовем '''особенными''', а остальные {{---}} обычными.

}}

{{Теорема

* [[Представление функции класса DM с помощью медианы]]

* [[Определение булевой функции]]