436
правок
Изменения
index fix
Воспользуемся только что доказанной теоремой, и построим на основании этой схемы линейную программу.<br>
Результатом топологической сортировки данного графа может стать последовательность вершин: <tex>x, y, z, a, b, c, d, e, f</tex>. Тогда программа <tex>P_S</tex> будет иметь следующий вид:<br>
<tex>a x_3 = x x_0 \wedge yx_1</tex><br><tex>b x_4 = \neg zx_2</tex><br><tex>c x_5 = \neg ax_3</tex><br><tex>d x_6 = c x_5 \wedge zx_2</tex><br><tex>e x_7 = a x_3 \wedge bx_4</tex><br><tex>f x_8 = d x_6 \vee ex_7</tex><br>
<br>
{{Утверждение
