求P→(Q∧R)的合取范式与主合取范式

用≡代替＜＝＞.用∟表示“否定”((p∨q)→r)→p≡∟（（p∨q）→r）∨p≡∟（∟（p∨q）∨r）∨p≡（（p∨q）∧∟r）∨p≡（p∧∟r）∨（q∧∟r）∨p≡（p∧q∧∟r）∨（p∧∟q∧∟

PQRP∧Q┐P∧R（P∧Q）∨（┐P∧R）000000001011010000011011100000101000110101111101原公式的主析取范式：(┐P∧┐Q∧R)V(┐P∧Q∧R)V(

(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁

先算主析取范式：(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p

主析取范式是不是就是优析取范式,（P∩Q）∪R（（P∩Q）∩（R∪非R））∪(R∩(P∪非P)∩(Q∪非Q))（（P∩Q）∩（R∪非R））∪(((R∩P)∪(R∩非P))∩(Q∪非Q））（（P∩Q）∩

主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.例,求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)

答：┐（┐R→P）∧P∧Q=┐(┐┐RVP）∧P∧Q=┐R∧┐P∧P∧Q=0所以,原式的主析取范式为0主合取范式为：(┐PV┐QV┐R)∧(┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(P

PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(

不太对吧,你的第二步P∧（┐P∨Q）(P∧┐P)∨(P∧Q)P∧Q【回答补充】：你看,化成这样之后就可以写范式了因为：P(P∨Q)∧(P∨┐Q)Q(P∨Q)∧(┐P∨Q)所以P∧Q((P∨Q)∧(P∨

P∧（P→Q）=Q所以析取范式和合取范式都为Q再问：能详细点么？再答：错了，那不是—>，不是公式：P→Q非PVQ所以：P∧（P→Q）=P∧(非PVQ)=(P∧非P)V(P∧Q)=0V(P∧Q)=P∧Q

合取范式是由简单析取式组成的合取式,┐p∨q是由一个简单析取式┐p∨q构成的合取范式（它同时也是由二个简单合取式┐p与q构成的析取范式）.

这个公式是永假式,主析取范式为0

2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的

┐(pV┐q)∧(s→r)⇔┐p∧q∧(┐sVr)(合取范式）现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去.主合取范式一共有12项再问：更详细一点啊再答：比如第1项：┐p要

用真值表,很容易得出结果或者等价公式也可以先求主合取范式：（P→Q）↔R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)(P∨R)∧(﹁Q∨R)∧(﹁

主析取：m1vm3vm5vm6vm7主合取：M0^M2^M4可以用真值表法或是等值演算法.

公式法貌似不好推,用真值表试试

我们这里从定义出发.简单析（合）取式：仅由有限个文字构成的析（合）取式合取范式：由有限个简单析取式构成的合取式析取范式：由有限个简单合取式构成的析取式（PVQ）VR不是合取范式,因为“合取式”条件不满

PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(-P∧-Q∧再问：看不懂哟，好像不对

去掉蕴含符号原式=PV(┐PV(QV(┐QVR)))因为整个式子里面没有合取符号,所以主合取=0主析取=(PV((┐PVQ))V(┐PV(┐QVR)))=(PV(┐PVQ))V(PV┐P)V(PV(┐