更高效的 to_cnf

to_cnf 需要更高效。对于某些表达式，它需要很长时间，并产生了巨大的表达式，这些表达式往往包含大量不必要的子句（很多 x | ~x）。 我搜索了，http://gauss.ececs.uc.edu/Courses/c626/lectures/BDD/st.pdf 看起来可能是一种算法。任何优化措施都可能有所帮助。目前，它只是执行简单的分布。