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