求(p→¬q)→r的主析取范式和主合取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/10 05:26:48
用≡代替<=>.用∟表示“否定”((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∧∟
主析取范式(┐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(
(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(
极小项、极大项中变元的顺序按照字母顺序从前到后,若有下标,按下标从小到大.你的答案是错误的,主析取范式是m1∨m2∨m3,主合取范式是M1.方法一是用真值表求主析取范式,找到成真赋值01,10,11,
原式((┓pvq)→r)∧(r→((┓pvq)))((p∧┓q)vr)∧(┓rv(┓pvq))((p∧┓q)∧(┓rv┓pvq))v(r∧(┓rv┓pvq))(p∧┓q∧┓r)v(p∧┓q∧┓p)v(
可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q)成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式
这个公式是永假式,主析取范式为0
(PS:一些符号不好打出来,我就拍我写在草稿纸上的)看了图之后,还有几步,我觉得你应该会做,就没写了.如果不懂,
用真值表,很容易得出结果或者等价公式也可以先求主合取范式:(P→Q)↔R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)(P∨R)∧(﹁Q∨R)∧(﹁
主析取:m1vm3vm5vm6vm7主合取:M0^M2^M4可以用真值表法或是等值演算法.
0为假,1为真PQRA00010011010110000110101111001111真值表就是这样,过程我省略了,范式自己照着真值表和书抄,我就懒得打了,楼上两位明显是乱打的
公式法貌似不好推,用真值表试试
主析取:m1vm3vm4vm5vm7主合取:M0^M2^M6可以用真值表法或是等值演算法.
PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(-P∧-Q∧再问:看不懂哟,好像不对