利用等值演算法求命题公式 的主合取范式。