求 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)
和书上答案是一样的~
你问你错在哪了,都说过了啊,你错在第二步了呀,公式记错了吧...
我写范式一直都是用这种方法写的,觉得很方便~