Pyeda:布尔表达式的中缀形式

Pyeda: infix form of boolean expression

Pyeda 允许以前缀形式和中缀形式编写布尔表达式:

p = Or(And("A","B"), And("C","D")) # prefix
i = expr("A & B | C & D") # infix

虽然可以从 i 相对前缀形式自动检索,但我不知道(文档中没有发现)是否可以检索字符串 infix 表示 p .

有些帮助?

这里是 PyEDA 作者。

最新版本没有此功能。如果你回到0.26.0版本,你可以尝试to_latexto_unicode方法

例如:

>>> p = Or(And("A","B"), And("C","D"))
>>> p.to_unicode()
'A · B + C · D'

IIRC,这个遗漏的原因是布尔表达式引擎从 Python 切换到 C。一些未记录的功能被遗漏了b/c它要么很困难,要么被破坏了。

当然欢迎 PR :)