标签： function tree boolean decision-tree
该函数接收一个布尔函数并返回相应的BDD树 给定布尔函数的表示形式。
布尔函数示例：
"{'and', {'not', x1}, {'not', {'or', {'and', x2, x3}, {'and', {'not', x2}, {'or', {'and', x3, x4}, {'not', x3}}}}}}"