Python 布尔表达式

Question

我想以最有效的方式将布尔表达式保存到文件中。布尔值之间有一些关系不需要保存到文件中，而是假设的。 我的一个想法是将它保存在 DNF 中，它会跳过那些因关系而错误的行，不必保存。由于表达式中经常有非常多的布尔值，但表达式很简单，它应该以某种方式而不是仅结合在一起的行。

是否有任何标准方法可以做到这一点？这有什么模块吗？ 我正在使用 python，但我并不是说 python-syntaks boolean-expression 像：

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

我目前正在使用 sympy，但在简化长表达式时它非常慢，并且它没有提供以最有效的方式保存布尔表达式的方法。

Answer 1

看看这个python模块PyEDA

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