如何将否定向下传播到文字？

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)