命题形式～（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，那么r；如果非p，那么r；P或者非P；所以rB、只有非P，才q；非p；所以非qC、要么p，要么q；q；所以pD、如果p并且q，那么r；非p或者非q；所以；非rE、p并且非q，所以p
～（p→（q∨r））等值于（）。A、（p∨（～q∧r））B、（p∧（～q∧～r））C、（p∧（～q∨～r））D、（p∨（～q∨～r）
