на основании конечного набора правил, последующие решения, каждое из которых зависит от решения, принятого на предыдущей фазе, по схеме дерева, посредством серии бинарных дизъюнкций
