我想以最有效的方式将布尔表达式保存到文件中。布尔值之间有一些关系不需要保存到文件中，而是假设的。我的一个想法是将它保存在 DNF 中，它会跳过那些因关系而错误的行，不必保存。由于表达式中经常有很多布尔值，但表达式很简单，它应该以某种方式只是行，它们只是结合在一起。
有没有标准的方法可以做到这一点？这有什么模块吗？我正在使用 python，但我并不是说 python-syntaks boolean-expression 像：
A and B and C or (D==A)
我目前正在使用 sympy，但在简化长表达式时它非常慢，并且它没有提供以大多数内存有效方式保存布尔表达式的方法。