离散数学求主析取范式要有过程
1个回答

(非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)