Python布爾表達式

Question

我想以大多數內存有效的方式將booleanexpressions保存到文件中。 布爾值之間存在一些關系，這些關系不需要保存到文件中，但是被假定為。 我的想法之一是將其保存在DNF中，這會跳過由於關系而為假的行，這些行不必保存。 由於表達式中通常有很多布爾值，但是表達式很簡單，因此它應該以某種方式結合在一起，但是行只能結合在一起。

有什么標准方法可以做到嗎？ 為此有任何模塊嗎？ 我正在使用python，但我並不是說python-syntaks boolean-expression像這樣：

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

我當前正在使用sympy，但是在簡化長表達式時它非常慢，並且它不提供以大多數內存有效方式保存booleanexpression的方法。

Answer 1

看看這個python模塊PyEDA

布爾代數是電子設計自動化的基礎，並且是計算機科學和工程學其他領域的基礎。 PyEDA有一個廣泛的庫，用於創建和分析布爾函數。