Программное средство для построения КНФ-формулы по графу совместимости вершин дерева сценариев работы программы