Pyeda:布尔表达式的内固定形式

Question

匹达允许以前缀形式和infix形式编写布尔表达式：

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

虽然可以从i自动检索相对前缀表单，但我不知道(在docs中没有发现)是否可以检索p的字符串infix表示。

有帮助吗？

Answer 1

这里是PyEDA作者。

最新的版本没有这个特性。如果回到0.26.0版本，您可以尝试to_latex和to_unicode方法。

例如：

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

IIRC，这一遗漏的原因是布尔表达式引擎从Python切换到C。有几个没有文档的特性被遗漏了b/c --它不是很难，就是坏了。

当然，欢迎减贫战略:)