证明下列命题公式之间的等价的 (1)(P→Q)∧(R→Q)Û(P∨R)→Q (2)¬(P↔Q)Û(P∨Q)∧¬(P∧Q) (3)¬(P↔Q)Û(P∧¬Q)∨(¬P∧Q) (4)((Q∧R)→S)∧(R→(P∨S))Û(R∧(P→Q))→S;

证明下列命题公式之间的等价的 (1)(P→Q)∧(R→Q)Û(P∨R)→Q (2)¬(P↔Q)Û(P∨Q)∧¬(P∧Q) (3)¬(P↔Q)Û(P∧¬Q)∨(¬P∧Q) (4)((Q∧R)→S)∧(R→(P∨S))Û(R∧(P→Q))→S;


参考答案和解析
真值表等值演算

相关考题:

下列命题公式中为重言式的是Ⅰ.((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ.(p→(q∨r))→((p→q)∧(p→r))Ⅲ.((p→q)∧(P→r))→((p→r)Ⅳ.((p∨q)∧(p→r))→(p→r)A.ⅢB.Ⅰ和ⅢC.Ⅰ和ⅡD.Ⅰ、Ⅱ、Ⅲ和Ⅳ

下列公式为永真公式的是(14)。A.(P∨Q)→RB.p→(P∨Q)C.(P∨Q)→(P∧Q)D.(P∧Q)图片R

种用干豌豆的检验检疫类别为( )。 A. P. R/Q. S B. P/Q C. P. R/Q D. P/N. Q

下列推理形式中,有效式是( )A、(p∧q∧r)→(p∧r)B、((→)∧q)→pC、((p∨q)∧p)→D、((←q)∧)→qE、((p→)∧)→q

在以下二难推理中,无效式是()A、(((p→q)∧(r→s))∧(p∨r))→(q∨s)B、(((p→q)∧(r→s))∧(∨)C、((p→q)∧(p→r))∧(∨))→pD、(((p→q)∧(r→q))∧(p∨r))→q

命题形式~(p→(q←r))等值于()。A、~((p∧q)→r)B、p∧(~q∧~r)C、p∧(~q∧r)D、p∧(q∧~r)

以“(p→q)→r”和“~r”为前提,可必然推出结论()。A、~p∧qB、r→pC、q∨rD、~(~p∨q)E、~q∧p

以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A、~(p∨q),能必然推出(~r∨~s)B、(~r∨~s),能必然推出(p∨q)C、(p∨q),能必然推出~(r∧s)D、~(r∧s),能必然推出(~p∨~q)

P,Q,R都是4bit的输入矢量,下面哪一种表达形式是正确的()A、input P[3:0],Q,R;B、input P,Q,R[3:0];C、input P[3:0],Q[3:0],R[3:0];D、input [3:0] P,[3:0]Q,[0:3]R;E、input [3:0] P,Q,R;

在下列选言推理形式中,无效的有()。A、(p∨q)∧p├﹁qB、(pqr)∧﹁p├q∧rC、(pqr)∧﹁p├qrD、(p∨q∨r)∧﹁p├q∨rE、(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s

“除非阳光充足,雨量适当,才能使庄稼长好,或者让果树繁茂”的逻辑形式是()。A、(p∧q)←(r∧s)B、(p∧q)→(r∧s)C、(pVq)→(r∧s)D、(p∧q)←(rVs)

下列推理形式中,无效的是()。A、如果p,那么r;如果非p,那么r;P或者非P;所以rB、只有非P,才q;非p;所以非qC、要么p,要么q;q;所以pD、如果p并且q,那么r;非p或者非q;所以;非rE、p并且非q,所以p

设要将序列(q,h,c,y,p,a,m,s,r,d,f,x)中的关键码按字母升序重新排序,回答。()是初始步长为4的shell排序一趟扫描的结果。A、f,h,c,d,p,a,m,q,r,s,y,xB、p,a,c,s,q,d,f,x,r,h,m,yC、a,d,c,r,f,q,m,s,y,p,h,xD、h,c,q,p,a,m,s,r,d,f,x,yE、h,q,c,y,a,p,m,s,d,r,f,x

设要将序列(q,h,c,y,p,a,m,s,r,d,f,x)中的关键码按字母升序重新排序,回答。()是对排序初始建堆的结果。A、f,h,c,d,p,a,m,q,r,s,y,xB、p,a,c,s,q,d,f,x,r,h,m,yC、a,d,c,r,f,q,m,s,y,p,h,xD、h,c,q,p,a,m,s,r,d,f,x,yE、h,q,c,y,a,p,m,s,d,r,f,x

~(p→(q∨r))等值于()。A、(p∨(~q∧r))B、(p∧(~q∧~r))C、(p∧(~q∨~r))D、(p∨(~q∨~r)

下列推理形式中,无效的有()。A、((p∨~q)∧q)→~pB、((p∧q)∧r)→(p∧r)C、((~p→q)∧q)→~pD、((p→q)∧(r∧p))→qE、(p→q)∧(r→s)∧(q∨s))→(p∨r)

以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。A、pB、~sC、~r∧pD、~rE、s→q

问答题试判断以下各式是否为重言式。  (1)(P→Q)→(Q→P)  (2)P→(P→Q)  (3)Q→(P→Q)  (4)(P∧Q)→(P→Q)  (5)((P→Q)∨(R→Q))→((P∨R)→Q)  (6)((P→Q)∨((R→S))→((P∨R)→(Q∨S))

多选题下列推理形式中,无效的有()。A((p∨~q)∧q)→~pB((p∧q)∧r)→(p∧r)C((~p→q)∧q)→~pD((p→q)∧(r∧p))→qE(p→q)∧(r→s)∧(q∨s))→(p∨r)

单选题命题形式~(p→(q←r))等值于()。A~((p∧q)→r)Bp∧(~q∧~r)Cp∧(~q∧r)Dp∧(q∧~r)

问答题If p+q=400 and p  (1) p+r+s=600  (2) q+r400

问答题化简下面的公式。  (1)P∨(﹁P∨(Q∧﹁Q))  (2)(P∧Q∧R)∨(﹁P∧Q∧R)  (3)((P→Q)↔(﹁Q→﹁P))∧R  (4)((P→Q)↔(﹁Q→﹁P))∨R

单选题在以下二难推理中,无效式是()A(((p→q)∧(r→s))∧(p∨r))→(q∨s)B(((p→q)∧(r→s))∧(∨)C((p→q)∧(p→r))∧(∨))→pD(((p→q)∧(r→q))∧(p∨r))→q

单选题~(p→(q∨r))等值于()。A(p∨(~q∧r))B(p∧(~q∧~r))C(p∧(~q∨~r))D(p∨(~q∨~r)

单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A~(p∨q),能必然推出(~r∨~s)B(~r∨~s),能必然推出(p∨q)C(p∨q),能必然推出~(r∧s)D~(r∧s),能必然推出(~p∨~q)

多选题(多选)下列等值式成立的有(  )。AP→Q⇔¬Q→¬PBP∨(P∧R)⇔RCP∧(P→Q)⇔QDP→(Q→R)⇔(P∧Q)→R

多选题在下列选言推理形式中,无效的有()。A(p∨q)∧p├﹁qB(pqr)∧﹁p├q∧rC(pqr)∧﹁p├qrD(p∨q∨r)∧﹁p├q∨rE(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s

多选题下列推理形式中,有效式是( )A(p∧q∧r)→(p∧r)B((→)∧q)→pC((p∨q)∧p)→D((←q)∧)→qE((p→)∧)→q