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