Функция получает булеву функцию и возвращает соответствующее дерево BDD
представление данной булевой функции.
Пример булевой функции:
"{'and', {'not', x1}, {'not', {'or', {'and', x2, x3}, {'and', {'not', x2},
{'or', {'and', x3, x4}, {'not', x3}}}}}}"