Python 如何将DNF表达式再次转换为普通布尔表达式

我有DNF公式，比如

（a0&a4）|（a1&a4）|（a2&a5）|（a0&a2&a3）|（a1&a2&a3）

我想把它再次转换成简化的形式，就像转换成DNF之前一样

---

我尝试了Symphy的一些函数。

代码格式和语法修复去掉括号？DNF=a&b | a&c | a&d | b&e | c&e&f | d&e&f实际值=a&（b | c | d）| e&b | e&f&（c | d）我想从DNF那里再回到实际公式