436
правок
Изменения
м
Renaming in example
'''Пример'''<br>
Для базиса <tex>B_0 = \{\vee, \wedge, \neg \}</tex> линейная программа состоит из присваиваний вида:
* <tex>Z A = X B \wedge YC</tex>;* <tex>Z E = X A \vee YB</tex>;* <tex>Z D = \neg XE</tex>.
<br>
Линейная программа <tex>P</tex> с выделенными переменными <tex>x_1,\dots , x_n</tex> порождает для каждого набора <tex>\sigma_1, \dots , \sigma_n</tex> значений входных переменных естественный процесс вычисления:
