Изменения
fix
Определения и основные понятия, связанные с булевыми функциями описаны в статье [[Определение булевой функции|"определение булевой функции"]].<br>
{{Определение
|definition='''Линейная программа''' {{---}} последовательность строк вида <tex>x {\{s_i\}}_{i=0}^t</tex>, в которой <tex>s_i</tex> имеет вид <tex>x_i = F(x_1x_{a_1}, x_2x_{a_2}, \dots ldots , x_nx_{a_n})</tex>, где <tex>xx_i, x_1x_{a_1}, \dots , x_nx_{a_n}</tex> {{---}} переменные, каждое из чисел <tex>a_i</tex> меньше <tex>x</tex>, а <tex>F</tex> {{---}} <tex>kn</tex>-местная базисная функция.
}}
'''Пример'''<br>
