(P®Q)®P的主析取范式和主合取范式,并求其成真赋值
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/24 10:19:20
P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2
PQRP∧Q┐P∧R(P∧Q)∨(┐P∧R)000000001011010000011011100000101000110101111101原公式的主析取范式:(┐P∧┐Q∧R)V(┐P∧Q∧R)V(
1、P→((Q→P)∧(┐P∧Q))=┐PV((Q→P)∧(┐P∧Q))==┐PV((┐QVP)∧(┐P∧Q))=┐PV((┐Q∧(┐P∧Q))V(P∧(┐P∧Q)))=┐P=(┐P∧┐Q)V(┐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)
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(
极小项、极大项中变元的顺序按照字母顺序从前到后,若有下标,按下标从小到大.你的答案是错误的,主析取范式是m1∨m2∨m3,主合取范式是M1.方法一是用真值表求主析取范式,找到成真赋值01,10,11,
方法1.这是含有两个变元的公式,得用真值表十分方便:pqp∨qp→q((p∨q)∧(p→q))q→p((p∨q)∧(p→q))↔(q→p)TTTTTTTTFTFFTFFTTTTFFFFFT
我也没有逻辑符号.约定一下:∟表示“否定”,=代替“”.『(PQ)=∟(P↔O)=∟[(P∧Q)∨(∟P∧∟Q)]=∟(P∧Q)∧∟(∟P∧∟Q)]=(∟P∨∟Q)∧(P∨Q)=(∟P∧P
这个公式是永假式,主析取范式为0
(P->Q)P|Q)=P&Q主合取范式,也是主析取范式.为非运算,|为析取,&为合取.P&Q是主析取范式,是因为它刚好是合取小项.主析取范式就是合取小项间的析取.如(P&Q)|P&Q)同理P|Q主析取
用真值表,很容易得出结果或者等价公式也可以先求主合取范式:(P→Q)↔R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)(P∨R)∧(﹁Q∨R)∧(﹁
主析取:m1vm3vm5vm6vm7主合取:M0^M2^M4可以用真值表法或是等值演算法.
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真值表就是这样,过程我省略了,范式自己照着真值表和书抄,我就懒得打了,楼上两位明显是乱打的
=(P∧Q)∨(P∨Q)=(P∧Q)∨(P∧(┐Q∨Q))∨(Q∧(┐P∨P))=(P∧Q)∨(P∧┐Q)∨(Q∧┐P)
公式法貌似不好推,用真值表试试
主析取:m1vm3vm4vm5vm7主合取:M0^M2^M6可以用真值表法或是等值演算法.
PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(-P∧-Q∧再问:看不懂哟,好像不对