Изменения

===Оценка на количество линейных программ над <tex>\{\downarrow\}</tex> длины <tex>r</tex>===

<tex>n</tex> {{---}} количество аргументов булевой функции.

<tex>\downarrow</tex> {{---}} стрелка Пирса, является сама по себе базисом булевых функций.