求命题公式(P∨(¬P→Q))∧(Q→R)的主析取范式。