利用等值演算法求命题公式(P⋁Q)→(¬Q⋁R)的主析取范式。