求 P∧(P->Q)的合取范式!书上解答如上传截图!但我自己想直接这样做:P∧(P->Q)P∧(P逆∨Q)(P∨P)∧(P逆∨Q) 这样求的是合取范式吗?这样做比书上容易多,书上为什么要那样做?请看清楚,我
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/13 00:34:30
求 P∧(P->Q)的合取范式!书上解答如上传截图!但我自己想直接这样做:P∧(P->Q)P∧(P逆∨Q)(P∨P)∧(P逆∨Q) 这样求的是合取范式吗?这样做比书上容易多,书上为什么要那样做?请看清楚,我
求 P∧(P->Q)的合取范式!
书上解答如上传截图!
但我自己想直接这样做:P∧(P->Q)P∧(P逆∨Q)(P∨P)∧(P逆∨Q) 这样求的是合取范式吗?这样做比书上容易多,书上为什么要那样做?
请看清楚,我要求的是合取范式,我就是想问我这样做错在哪里了!
求 P∧(P->Q)的合取范式!书上解答如上传截图!但我自己想直接这样做:P∧(P->Q)P∧(P逆∨Q)(P∨P)∧(P逆∨Q) 这样求的是合取范式吗?这样做比书上容易多,书上为什么要那样做?请看清楚,我
不太对吧,你的第二步
P∧(┐P∨Q)
(P∧┐P)∨(P∧Q)
P∧Q
【回答补充】:
你看,化成这样之后就可以写范式了
因为:
P(P∨Q)∧(P∨┐Q)
Q(P∨Q)∧(┐P∨Q)
所以
P∧Q ( (P∨Q)∧(P∨┐Q) )∧( (P∨Q)∧(┐P∨Q) )
(P∨Q)∧(P∨┐Q)∧(┐P∨Q)
和书上答案是一样的~
你问你错在哪了,都说过了啊,你错在第二步了呀,公式记错了吧...
我写范式一直都是用这种方法写的,觉得很方便~
你那个做错了。
采用分配律P∧(P逆∨Q)=> (P∧P逆)∨(P∧Q)
其实这是析取范式。
更多的公式可以参考书本,范式的知识可以看:
http://baike.baidu.com/view/143339.htm
P∧(P->Q)<=>P∧(P逆∨Q)
这个已经是合取范式了,没必要弄你后边那步画蛇添足,又不是最简。
但是题目中如果不加说明,我们还是理解为默认是求主合取范式, 书上答案是主合取范式。
你这个答案求的是“主合取范式”,它的每一项叫做一个“极大项”。
而你自己得出的结论中,并不是每一项都是一个极大项,例如“P∨P”就不是一个极大项。
关于“极大项”,“极小项”的定义解释一下:
极大项:包含命题公式中所有变元(或变元的逆)一次且仅一次的析取式,叫做极大项。例如:假设命题公式是:┐A∧┐B∧┐C,则一个极大项是┐A∨┐B∨┐C(形如A∨B,C∨B之类的则不能叫做...
全部展开
你这个答案求的是“主合取范式”,它的每一项叫做一个“极大项”。
而你自己得出的结论中,并不是每一项都是一个极大项,例如“P∨P”就不是一个极大项。
关于“极大项”,“极小项”的定义解释一下:
极大项:包含命题公式中所有变元(或变元的逆)一次且仅一次的析取式,叫做极大项。例如:假设命题公式是:┐A∧┐B∧┐C,则一个极大项是┐A∨┐B∨┐C(形如A∨B,C∨B之类的则不能叫做极大项)。
极小项:类似的定义。
收起