试求下列公式的主析取范式和主和取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/15 18:37:50
![试求下列公式的主析取范式和主和取范式](/uploads/image/f/7275119-23-9.jpg?t=%E8%AF%95%E6%B1%82%E4%B8%8B%E5%88%97%E5%85%AC%E5%BC%8F%E7%9A%84%E4%B8%BB%E6%9E%90%E5%8F%96%E8%8C%83%E5%BC%8F%E5%92%8C%E4%B8%BB%E5%92%8C%E5%8F%96%E8%8C%83%E5%BC%8F)
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
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(
如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.
3、有能力者可扩充数理逻辑的其他内容,譬如推理系统的构造和证明,求谓词公式的前束范式等.A-Z+isOR*isAND_is→#is⊕(
我也没有逻辑符号.约定一下:∟表示“否定”,=代替“”.『(PQ)=∟(P↔O)=∟[(P∧Q)∨(∟P∧∟Q)]=∟(P∧Q)∧∟(∟P∧∟Q)]=(∟P∨∟Q)∧(P∨Q)=(∟P∧P
这个公式是永假式,主析取范式为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(主析取
是求主析取范式和主合取范式吧?第一种方法:原式=(┐P∨(Q∧R))∧(P∨(┐Q∧┐R))=(┐P∧(P∨(┐Q∧┐R)))∨((Q∧R)∧(P∨(┐Q∧┐R)))=(┐P∧P)∨(┐P∧┐Q∧┐R
公式法貌似不好推,用真值表试试
主析取:m1vm3vm4vm5vm7主合取:M0^M2^M6可以用真值表法或是等值演算法.
如一个深藏悲痛的人哭泣.可我们重又入睡大笑或互相取哈哈悦而使那思想麻木上帝在夜里哭泣.一些幽灵是女人,既不抽象也不苍白,
PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(-P∧-Q∧再问:看不懂哟,好像不对