需要有关BDD图表的帮助

Question

我正在重新实现（为了好玩，一点工作和一个严重的NIH案例）一个ROBDD库。我想要一些＆＃34;参考＆＃34;由其他图书馆建立的图表来比较结果[*]

，例如，给定变量阶数x1＆lt; y1＆lt; x2＆lt; y2，

获得的图表是什么

（x1＆lt; =＆gt; y1）/ \ not（x2＆lt; =＆gt; y2）/ \（x2＆lt; =＆gt; y2）[**]

我假设是标准运营商。另外，如果它有帮助，我认为/ \是左关联的。

欢迎任何其他小例子。

由于

马

[*]我知道！我应该下载库，安装它们并使用它们，但我很懒。

[**]这个例子来自Moeller和Oestergard在网上漂浮的例子。

Answer 1

我是BDD Scout的作者 - BDD可视化工具。它适用于MS Windows和GNU / Linux。它可以为您输入的任何布尔函数显示带有补充边的ROBDD。它还支持没有补充边缘和0-sup-BDD（也称为Minato引入的ZDD）的ROBDD。它还允许您重新排序变量。您可以从http://biddy.meolic.com/下载。您的公式等于零，但是，例如，下面是为布尔函数生成的图形：

F = (x1*y1+!x1*!y1) * !(x2*y2+!x2*!y2)

编辑：请在下面找到两个由BDD Scout生成的PNG文件，用于Moeller和Oestergard的学士论文（第9页）中的布尔函数。不幸的是，BDD Scout不支持＆lt; =＆gt;因此必须将函数指定为：

F = !( (!(x1^y1) * (x2^y2)) ^ !(x2^y2) )