求命题公式(P->Q)R主合取范式.急

(P->Q)R((P-->Q)-->R)且(R-->(P-->Q))(非(非P或Q)或R)且(非R或(非P或Q))((P且非Q)或R)且(非R或非P或Q)(P 或R)且(非Q或R)且(非R或非P或Q)((P 或Q或R)且(P或非Q 或R))且((P或非Q或R)且(非P或非Q或R))且(非R或非P或Q)(P 或Q或R)且(P或非Q 或R)且(非P或Q或非R)且(非P或非Q或R)M0且M2且M5且M6,此即为所求。这里写得眼睛都看花了,出错难免。就是这个方法,你自己算一遍。