主析取范式和主合取范式的值是否相同
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/09 03:53:17
P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2
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(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(
这两个公式确实挺特殊的.相信你也知道【p∧┐p】和【p∨┐p】分别属于矛盾式和重言式.其实,同类的公式又岂止这两个,再举个例子: 矛盾式:【(p∨q)∧(p∨┐q)∧(┐p∨q)∧(┐p∨┐q)】;
(┐P∧┐Q)∧(┐R∨┐Q)=┐P∧┐Q∧┐R∨┐P∧┐Q∧┐Q=┐P∧┐Q∧┐R∨┐P∧┐Q∧(R∨┐R)=┐P∧┐Q∧┐R∨┐P∧┐Q∧R∨┐P∧┐Q∧┐R=┐P∧┐Q∧┐R∨┐P∧┐Q∧R=(
方法1.这是含有两个变元的公式,得用真值表十分方便:pqp∨qp→q((p∨q)∧(p→q))q→p((p∨q)∧(p→q))↔(q→p)TTTTTTTTFTFFTFFTTTTFFFFFT
这个公式是永假式,主析取范式为0
根据Mi,mi的定义可以看出哪个是极大项哪个是极小项的.
(P->Q)P|Q)=P&Q主合取范式,也是主析取范式.为非运算,|为析取,&为合取.P&Q是主析取范式,是因为它刚好是合取小项.主析取范式就是合取小项间的析取.如(P&Q)|P&Q)同理P|Q主析取
主析取: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真值表就是这样,过程我省略了,范式自己照着真值表和书抄,我就懒得打了,楼上两位明显是乱打的
主析取:m1vm3vm4vm5vm7主合取:M0^M2^M6可以用真值表法或是等值演算法.
主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.例,求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)
PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(-P∧-Q∧再问:看不懂哟,好像不对