pyeda - 如何将否定传播到文字？

Question

我想转换一个表达式，以便所有否定运算符都向下传播到文字。就这样~(a | b)变成了~a & ~b。有人对此有解决方案吗？

from pyeda.boolalg.expr import expr

formula = "~(a | b)"
e = expr(formula, simplify=False)

Answer 1

有两种方法可以在合取范式和析取范式之间来回切换。

.to_dnf()

.to_cnf()

尝试，

>>> e.to_dnf()
And(~a, ~b)