早教吧作业答案频道 -->数学-->
用主析取范式证明(p→q)→r与q→(p→r)不等值
题目详情
用主析取范式证明(p→q)→r与q→(p→r)不等值
▼优质解答
答案和解析
(p→q)→r ⇔ ┐(p→q)∨r ⇔ ┐(┐p∨q)∨r ⇔ (p∧┐q)∨r ⇔ (p∧┐q∧(┐r∨r)∨r
⇔ (p∧┐q∧┐r)∨(p∧┐q∧r)∨r
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r) (5项)
q→(p→r)=┐q∨(┐p∨r)
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∨(┐p∧q∧┐r)∨(┐p∧q∧┐r) (7项)
所以(p→q)→r与q→(p→r)不等值.
⇔ (p∧┐q∧┐r)∨(p∧┐q∧r)∨r
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r) (5项)
q→(p→r)=┐q∨(┐p∨r)
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∨(┐p∧q∧┐r)∨(┐p∧q∧┐r) (7项)
所以(p→q)→r与q→(p→r)不等值.
看了 用主析取范式证明(p→q)→...的网友还看了以下:
物理电学问题,求解答答案(1)Q=q(2)R<r:E=q/(4πεr*r):R>=r:E=qr*r/ 2020-03-31 …
1均匀带电半球壳半径为R,电荷面密度为k,则将球壳分割为一系列圆环,其中半径为r圆环带电q=k*2 2020-04-12 …
给出下列各组命题:(1)p:15是5的倍数,q:15是3的倍数;(2)p:∀m∈R,|m|>0,q 2020-05-13 …
定义在(-1,1)上的函数f(x)-f(y)=f((x-y)/(1-xy)),当X∈(-1,0), 2020-06-09 …
物理中的定义式我们老师说定义式的左右两边无关,就像E=F/Q不能说E与F成正比,与Q成反比,E只与 2020-06-14 …
.设集合P={x|x=n,n∈N*},Q={x|x=,n∈N*},R={x|x=n-,n∈N*}, 2020-07-30 …
分式(p-q)(p-r)分之p的平方、(q-r)(q-p)分之q的平方、(r-p)(r-q)分之r 2020-08-01 …
物理Q=I2Rt变形后Q=U2t/R,其他不变,R增大时,前者Q增大,后者Q减少,怎么回事,错误出 2020-08-02 …
物理问题我们学过电热器的电阻丝的电阻越大产热越多可是根据焦耳定律Q=I*I*R*t得到Q=[U*U* 2020-11-03 …
Q=It=Et/R=磁通量变化率/R=BS/RQ=BS/R,Q=It对于不是只对固定不变的电流成立么 2021-01-23 …