Приложение отображает ROBDD граф, сформированный из заданной формулы