Python布尔表达式

Question

我想以最有效的方式将布尔表达式保存到文件中。布尔值之间存在一些不需要保存到文件中的关系，但这些关系是假定的。我的一个想法是把它保存在DNF中，它跳过那些因为关系而为假的行，而不需要保存。因为经常有很多布尔值在表达式中，但表达式很简单，所以它应该以某种方式，但行，只是结合在一起。

有什么标准的方法可以做到这一点吗？有什么模块可以解决这个问题吗？我使用的是python，但我不是指python-syntaks boolean-expression，例如：

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

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

Answer 1

看一下这个python模块PyEDA

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