66
правок
Изменения
м
Нет описания правки
== Вспомогательные утверждения ==
{{Лемма
|statement=Каждой $s_i$ можно однозначно сопоставить в пару такую $s_j$, что все переменные с отрицанием из $s_i$ в $s_j$ будут без отрицания и наоборот. Здесь исключим $x_0$ из рассмотрения аргументов $s_i$, и будем считать, что у $s_i$ $2m$ аргументов {{---}} $(x_1, x_2, \ldots, \x_{2m})$ (некоторые из них с отрицанием).
|proof=Мы строим набор ${s_i}$, циклически сдвигая отрезок отрицания переменных, пока не получим все возможные. Совершив ровно $m$ таких шагов, мы сдвинем начало отрезка отрицания на следующую позицию после его конца. Таким образом, там, где был отрезок отрицания, будет отрезок без отрицания, и наоборот.
}}
