436
правок
Изменения
м
Line break added
[[Файл:Logic_scheme_sample_boolean_functions_and_linear_programs.gif|300px|thumb|center|Пример схемы]]
Воспользуемся только что доказанной теоремой, и построим на основании этой схемы линейную программу.<br>
Результатом топологической сортировки данного графа может стать последовательность вершин: <tex>x, y, z, a, b, c, d, e, f</tex>. Тогда программа <tex>P_S</tex> будет иметь следующий вид:<br>
<tex>a = x \wedge y</tex><br>
<tex>b = \neg z</tex><br>
