求公式A=P∧Q∧R的主合取范式-搜答案-智慧作业帮

用≡代替＜＝＞.用∟表示“否定”((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∧∟

因为26*31=(p+q+r)*(1/p+1/q+1/r)=1+1+1+p/q+q/r+r/p+p/r+r/q+q/p所以p/q+q/r+r/p+p/r+r/q+q/p=26*31-3=803

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

PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(

qpr￢pqÙ￢p(qÙ￢p)®r111001110001101111100110011001010001001101000101真值表显示(q∧┑p)→r是矛盾式

原式((┓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(

PQRP→QQ→RP→R((P→Q)∧(Q→R))((P→Q)∧(Q→R))→(P→R)00011111001111110101101101111111100011011010100111010001

这个公式是永假式,主析取范式为0

p:f(x)=logax为减函数,则0

2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的

（PS：一些符号不好打出来,我就拍我写在草稿纸上的）看了图之后,还有几步,我觉得你应该会做,就没写了.如果不懂,

ADDACAB

主析取：m1vm3vm5vm6vm7主合取：M0^M2^M4可以用真值表法或是等值演算法.

右边：(R∧(P→Q))→S⇔┐(R∧(┐P∨Q))∨S⇔(┐R∨P∧┐Q)∨S⇔(┐R∨S)∨(┐Q∧P)左边：((Q∧R)→S)∧(R→(P∨S)⇔

公式法貌似不好推,用真值表试试

(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)(

（Q→P）∧（┓P∧Q）(┓Q∨P)∧（┓P∧Q）((┓Q∨P)∧┓P)∧((┓Q∨P)∧Q)((┓Q∧┓P)∨(P∧┓P))∧((┓Q∧Q)∨（P∧Q)）((┓Q∧┓P)∨F)∧(F∨（P∧Q)）(

解法一：G=┐（P→Q）∨（Q∧（┐P→R））=┐（┐P∨Q）∨（Q∧（P∨R））=（P∧┐Q）∨（（Q∧P）∨（Q∧R））=（P∧┐Q）∨（Q∧P）∨（Q∧R）=（（P∧┐Q）∧（┐R∨R））∨（（