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