smaldog
花朵
共回答了20个问题采纳率:90% 举报
由主析取范式求主合取范式:含有n个命题变项的命题公式主析取范式中每一个极小项的成真赋值就是命题公式所有的成真赋值,从所有的2^n个赋值中去掉这些成真赋值,剩下的就是成假赋值,每一个成假赋值对应一个极大项,所有的极大项组成的合取范式就是主合取范式.
本题,成真赋值是11,10,01,所以成假赋值就是00,对应的极大项是p∨q,这个就是主合取范式.
1年前
追问
1
dr68
举报
00对应的不应该是非p 非q么?为什么是p∨q?
举报
smaldog
主合取范式中,0对应p,1对应非p(主析取范式中,0对应非p,1对应p)