Python布尔表达式

Question

我想以内存有效的方式将布尔表达式保存到文件中。布尔值之间存在一些关系，这些关系不需要保存到文件中，但是被假定为。 我的想法之一是将其保存在DNF中，这会跳过由于关系而为假的行，这些行不必保存。由于表达式中通常有很多布尔值，但表达式很简单，因此它应该以某种方式结合在一起，但是行只能结合在一起。

有没有标准的方法可以做到这一点？为此有任何模块吗？ 我使用的是python，但我并不是说python-syntaks boolean-expression像这样：

A and B and C or (D==A)

我目前正在使用sympy，但是在简化长表达式时，它非常慢，并且没有提供以大多数内存有效方式保存booleanexpression的方法。

Answer 1

看看这个python模块PyEDA

布尔代数是电子设计自动化的基石，并且是计算机科学和工程学其他领域的基础。 PyEDA拥有一个广泛的库，用于创建和分析布尔函数。