我正在重新实现一个 ROBDD 库（为了好玩，一些工作和一个严重的 NIH 案例）。我想要一些其他库构建的“参考”图表来比较结果 [*]
例如，给定变量阶 x1 < y1 < x2 < y2，得到的图形是什么
(x1 <=> y1) /\ not (x2 <=> y2) /\ (x2 <=> y2) [**]
我假设标准运营商。另外，如果有帮助，我假设 /\ 是左关联的。
欢迎任何其他小例子。
谢谢
马可
[*] 我知道！我应该下载库，安装它们并使用它们，但我很懒。
[**] 该示例取自 Moeller 和 Oestergard 的示例，该示例在网上漂浮。
我是 BDD Scout 的作者 - 一种 BDD 可视化工具。它适用于 MS Windows 和 GNU/Linux。它可以为您输入的任何布尔函数显示带有互补边的 ROBDD。它还支持没有补边的 ROBDD 和 0-sup-BDD（又名 Minato 引入的 ZDD）。它还允许您重新排序变量。您可以从http://biddy.meolic.com/下载它。您的公式等于零，但例如，下面是为布尔函数生成的图表：
F = (x1*y1+!x1*!y1) * !(x2*y2+!x2*!y2)
编辑：请从 Moeller 和 Oestergard 的学士论文（第 9 页）中找到使用 BDD Scout 为布尔函数生成的两个 PNG 文件。不幸的是，BDD Scout 不支持 <=>，因此该函数必须指定为：
F = !( (!(x1^y1) * (x2^y2)) ^ !(x2^y2) )
