如何解决如何将否定传播到文字？
我想转换一个表达式，以便所有否定运算符都向下传播到文字。所以 ~(a | b) 变成了 ~a & ~b。有没有人对此有解决方案？
from pyeda.boolalg.expr import expr
formula = "~(a | b)"
e = expr(formula,simplify=False)
解决方法
有两种方法可以在连词范式和析取范式之间来回切换。
.to_dnf()
.to_cnf()
试试，
>>> e.to_dnf()
And(~a,~b)
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
