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