问答题试判断以下各式是否为重言式。　　（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））

第1题

命题形式～（p→（q←r））等值于（）。A、～（（p∧q）→r）B、p∧（～q∧～r）C、p∧（～q∧r）D、p∧（q∧～r）

点击查看答案

第2题

以“（p→q）→r”和“～r”为前提，可必然推出结论（）。A、～p∧qB、r→pC、q∨rD、～（～p∨q）E、～q∧p

点击查看答案

第3题

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

点击查看答案

第4题

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;

点击查看答案

第5题

在下列选言推理形式中，无效的有（）。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

点击查看答案

第6题

下列推理形式中，无效的是（）。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

点击查看答案

第7题

～（p→（q∨r））等值于（）。A、（p∨（～q∧r））B、（p∧（～q∧～r））C、（p∧（～q∨～r））D、（p∨（～q∨～r）

点击查看答案