(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,
此即为所求.
这里写得眼睛都看花了,出错难免.就是这个方法,你自己算一遍.