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

Question

我有"(a0 & a4) | (a1 & a4) | (a2 & a5) | (a4 & a5) | (a0 & a2 & a3) | (a1 & a2 & a3)"这样的DNF公式，我希望它再次转换为简化形式，就像转换为DNF之前一样-> "a2 & a1 & a3 | a2 & a5 | a2 & a0 & a3 | a4 & a1 | a4 & a5 | a4 & a0"

我尝试了一些sympy功能。