1302
правки
Изменения
Нет описания правки
{{tick}} Пояснить, почему нельзя сделать 0. '''UPD''': Имеется в виду теорема: "Для любой булевой функции f, не равной тождественному нулю,"
* "очевидно из алгоритма построения" {{---}} плохое объяснение
{{tick| ticked = 1}} Кажется, при массовой замене \vec на \neg некоторые \vec испортились. '''UPD''' В условии теоремы.
* Просмотрел историю правок {{---}} это было не \vec, а \overline
