436
правок
Изменения
index fix
'''Пример'''<br>
Для базиса <tex>B_0 = \{\vee, \wedge, \neg \}</tex> линейная программа состоит из присваиваний вида:
* <tex>A A_2 = B A_0 \wedge CA_1</tex>;* <tex>E A_2 = A A_0 \vee BA_1</tex>;* <tex>D A_1 = \neg EA_0</tex>.
<br>
Линейная программа <tex>P</tex> с выделенными переменными <tex>x_1,\dots , x_n</tex> порождает для каждого набора <tex>\sigma_1, \dots , \sigma_n</tex> значений входных переменных естественный процесс вычисления:
