┐(P∧Q)→R ┐┐(P∧Q)∨R (P∧Q)∨R (P∨R)∧(Q∨R) (P∨Q∨R)∧(P∨┐Q∨R)∧(P∨Q∨R)∧(┐P∨Q∨R) (P∨Q∨R)∧(P∨┐Q∨R)∧(┐P∨Q∨R) M0∧M2∧M4 (主合取范式) m1∨m3∨m5∨m6∨...