66
правок
Изменения
м
Нет описания правки
Назовем такую пару $(s_i, s_j)$ '''двойственной''', и будем обозначать через $\neg s_i$ двойственную $s_i$ пару.
Пусть на $j$-ом месте у $s_i$ стоит единица $(j>0)$. Назовем этот аргумент '''самостоятельной единицей'''.
{{Утверждение
