标签： python-3.x
我尝试使用NNF（否定范式）和CNF（规范范式），但是两者都没有给出实际答案。
DNF = a＆b | a＆c | a＆d | b＆e | c＆e＆f | d＆e＆f
Actual = a＆（b | c | d）| e＆b | e＆f＆（c | d）
我希望从DNF（析取范式）再次返回上面提到的实际公式。