用CUDD表示BDDs，而不作任何简化

Question

是否有可能得到一个bdd for (x0∧x1 )∨(x0∧!x1 )∨(!x0∧x1 )∨(！x0∧！x1 )，使用CUDD表示变量x0和x1的节点？我知道上面的布尔公式简化为常数函数1，但我仍然想要一个BDD，它不简化公式，而是表示为包含x0和x1的节点的BDD‘。如果不是在CUDD中，是否可以使用其他工具这样做？

Answer 1

嗯，这可能不是有用的答案，但是如果您使用ZDDs (也称为0-sup)，并且表示常数1，您将得到一个包含所有变量的图--使用不同的约简规则。我已经通过其他工具生成了它，但是CUDD也支持ZDD。

​

​

Answer 2

您可能需要尝试MEDDLY库。(https://meddly.sourceforge.io/)。

可以在这个库中使用不同类型的缩减。例如，准约简从不跳过一个级别(变量)。听起来像你想要的。

希望能帮上忙。