离散数学求主析取范式要有过程

（非p蕴含q）合取（q合取r）等值于（p析取q）合取（q合取r）等值于（p合取q合取r）析取（q合取q合取r）等值于（p合取q合取r）析取（q合取r）等值于（p合取q合取r）析取（（q合取r）合取（p析取非p）等值于（p合取q合取r）析取（（q合取r合取p）析取（q合取r合取非p）等值于（非p合取q合取r）析取（p合取q合取r）等值于m3析取m7等值于 西格玛（3,7）