Задача 49. Логический фрагмент назовем упорядоченным (по отношению к фиксированному порядку, заданному на множестве логических переменных X. == {X1, ...,Xn}), если на любом пути от начала к висячей вершине условие с меньшим номером всегда проверяется раньше условия с большим номером. По заданному свободному логическому фрагменту, к каждой вершине которого ведет не более одной стрелки, построить эквивалентный упорядоченный фрагмент.
|