If you need a graphing tool for visualizing a Truth Table, One tool you should consider is Graphviz. BDD is essentially a graph, and the graphviz package has several built-in algorithms for graphing that you can try. It is also a de-facto graphing in many academic institutions.
The very first hit for the google search "BDD algorithm" is the wikipedia page on BDD, which gives an introduction to BDDs and lists several textbooks covering BDD in its Further Reading section.
发布评论
评论（2）
如果您需要一个图形工具来可视化真值表，您应该考虑的一个工具是
Graphviz。BDD本质上是一个图，而graphviz包有几个内置的-您可以尝试的绘图算法。它也是许多学术机构事实上的图表。BDD 维基百科的示例，使用 graphviz：
If you need a graphing tool for visualizing a Truth Table, One tool you should consider is
Graphviz.BDDis essentially a graph, and the graphviz package has several built-in algorithms for graphing that you can try. It is also a de-facto graphing in many academic institutions.BDD example from wikipedia, using graphviz:
谷歌搜索“BDD算法”的第一个命中是维基百科BDD页面，它给出了BDD 简介，并在其进一步阅读部分列出了几本涉及 BDD 的教科书。
The very first hit for the google search "BDD algorithm" is the wikipedia page on BDD, which gives an introduction to BDDs and lists several textbooks covering BDD in its Further Reading section.