37
правок
Изменения
→Теоремы о числе функций в базисе
Рассмотрим <tex>f_0</tex>. Возможны два случая:
1. <tex> f_0(1, 1, \ldots, 1) = 0 </tex>, тогда функция <tex>ff_0</tex> также не сохраняет единицу и немонотонная, т.е.
<tex> f_0 = f_1 = f_m </tex>. Тогда <tex>\left | X \right | \le 3</tex>.
2. <tex> f_0(1, 1, \ldots, 1) = 1 </tex>, тогда функция <tex>ff_0</tex> несамодвойственная, т.е.
<tex> f_0 = f_s </tex>. Тогда <tex>\left | X \right | \le 4</tex>.
