求下列共识的主析取范式和主合取范式(A→(B^c))

P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2

主析取范式（┐p∩┐q∩┐r)∪(┐p∩┐q∩r)∪(┐p∩q∩┐r)∪(┐p∩q∩r)∪(p∩┐q∩┐r)∪∪(p∩q∩┐r)∪(p∩q∩r)主合取范式（┐p∪q∪┐r)再问：来个过程？再答：不好打

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

A-Z+isOR*isAND_is→#is♁(圆圈里加个+)@is⊙$is↑命题的"与非"运算("与非门")%is↓命题的"或非"运算("或非门")Inputthesourceformula:A*!S

主析取范式是不是就是优析取范式,（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)

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

理论基础：主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.合取：同真取真,其余取假,就相当于集合中的取交集；析取：有真取真,同假取假,就相当于集合中的取并集.定理：（1）一个简单析取式

方法1．这是含有两个变元的公式,得用真值表十分方便：pqp∨qp→q((p∨q)∧(p→q))q→p((p∨q)∧(p→q))↔(q→p)TTTTTTTTFTFFTFFTTTTFFFFFT

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

根据Mi,mi的定义可以看出哪个是极大项哪个是极小项的.

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

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

主析取范式在给定的命题公式中,如果有一个等价公式,它仅由小项的析取所组成,则该等价式称作原式的主析取范式.主析取范式的惟一性任意含n个命题变元的非永假命题公式A,其主析取范式是惟一的.主合取范式的惟一

P→(P^(Q→P))=┐PV(P^(┐QVP))=┐PV((P^┐Q)V(P^P))=┐PV((P^┐Q)VP)=┐PV(P^┐Q)VP=┐PVP=1最后结果说明该式是重言式.（可能数学符号用的不是

(┐p→q)→(┐q∨p)┐(┐┐p∨q)∨(┐q∨p)(┐p∧┐q)∨(┐q∨p)(┐p∨(┐q∨p))∧(┐q∨(┐q∨p))1∧(┐q∨p)(p∨┐q)M1(主合取范式)m0∨m2∨m3(主析取

0为假,1为真PQRA00010011010110000110101111001111真值表就是这样,过程我省略了,范式自己照着真值表和书抄,我就懒得打了,楼上两位明显是乱打的

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

主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.　　主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应

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