我正在使用pyeda库来减少我作为输入给出的某些表达式。
我阅读了文档，但是没有找到任何有用的功能来解决此反向表达问题。
当我对输入函数应用归约时，我得到以下输出：
And(~AD3DE10, A1C0A81, Or(A160663, AD92B5B), Or(A98C611, AD3DE10), Or(AAB1032, AA334FC))
从此输出，我想将其转换回类似输入的表达式。所以对于上面的简化功能，我会得到这个
~AD3DE10 & A1C0A81 & (A160663 | AD92B5B) & (A98C611 | AD3DE10) & (AAB1032 | AA334FC)