我之前的帖子CUDD C++ Interface for convert Booleans to BDDs and result set of minterms (to cutsets)的后续文章。
在 Python 上运行的 tulip-dd BDD 库中，可以将布尔表达式定义和读取为字符串。这使得整个 I/O 过程非常方便。
现在，我们刚刚在上一篇文章中看到，使用 cudd C++ 接口，我们可以使用紧凑的数学符号方便地定义一个布尔表达式，例如x1*x2 + x3*x4以及如何从该表达式产生最小项的总和。但是 cudd 是否也允许我们将字符串用于布尔表达式？我怀疑不是，如果不是，我将不得不找到一种方法将上面 sum 乘积的字符串等价转换为等价的 Boolean: "x1*x2+x3*x4"to x1*x2+x3*x4。