证明下列命题公式之间的等价的 （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．Ⅰ、Ⅱ、Ⅲ和Ⅳ
在以下二难推理中，无效式是（）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∧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，那么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
下列推理形式中，无效的有（）。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）
问答题试判断以下各式是否为重言式。 （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）
单选题在以下二难推理中，无效式是（）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∧s）”为一个前提进行演绎推理，若加上前提（）。A～（p∨q），能必然推出（～r∨～s）B（～r∨～s），能必然推出（p∨q）C（p∨q），能必然推出～（r∧s）D～（r∧s），能必然推出（～p∨～q）
多选题下列推理形式中，有效式是（ ）A（p∧q∧r）→（p∧r）B（（→）∧q）→pC（（p∨q）∧p）→D（（←q）∧）→qE（（p→）∧）→q