作业帮求 P∧（P->Q)的合取范式!书上解答如上传截图!但我自己想直接这样做：P∧（P->Q)P∧（P逆∨Q）(P∨P)∧(P逆∨Q) 这样求的是合取范式吗?这样做比书上容易多,书上为什么要那样做?请看清楚，我
来源：学生作业帮助网 编辑：作业帮 时间：2024/05/12 00:55:38
求 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之类的则不能叫做极大项）。
极小项：类似的定义。
收起