命题p-q的主合取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/27 14:30:03
P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2
用≡代替<=>.用∟表示“否定”((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)(﹁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)
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(
AP→Q等值于¬PvQ,再用德摩根律,得P^¬Q,这是组成析取范式的一个简单合取式
方法1.这是含有两个变元的公式,得用真值表十分方便:pqp∨qp→q((p∨q)∧(p→q))q→p((p∨q)∧(p→q))↔(q→p)TTTTTTTTFTFFTFFTTTTFFFFFT
可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q)成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式
=.=不用演算了,主合取范式就是这个
这个公式是永假式,主析取范式为0
(P->Q)P|Q)=P&Q主合取范式,也是主析取范式.为非运算,|为析取,&为合取.P&Q是主析取范式,是因为它刚好是合取小项.主析取范式就是合取小项间的析取.如(P&Q)|P&Q)同理P|Q主析取
2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的
主析取: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(主析取
符号没有搞明白,那是析取吗?如果是析取的话,合取范式就是它自身
公式法貌似不好推,用真值表试试
(P->Q)R((P-->Q)-->R)且(R-->(P-->Q))(非(非P或Q)或R)且(非R或(非P或Q))((P且非Q)或R)且(非R或非P或Q)(P或R)且(非Q或R)且(非R或非P或Q)(