返回与布尔函数相对应的BDD树

时间:2019-04-13 08:10:31

标签: function tree boolean decision-tree

该函数接收一个布尔函数并返回相应的BDD树 给定布尔函数的表示形式。

布尔函数示例:

"{'and', {'not', x1}, {'not', {'or', {'and', x2, x3}, {'and', {'not', x2}, 
{'or', {'and', x3, x4}, {'not', x3}}}}}}"

0 个答案:

没有答案