用等值演算法推导命题公式 的主析取范式。