реализованы построение дерева решений и известный алгоритм выявления зависимостей между формулами