66
правок
Изменения
м
Нет описания правки
|statement=Если в $s_i$ ровно $n$ самостоятельных единиц, то в $\neg s_i$ их будет $(2m - n)$.
|proof=
В двойственной паре все единицы станут нулями, а все нули ~{{--- }} единицами. А всего единиц $2m$.
}}
