(1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: （1）和（2） B: （1）和（3） C: （2）和（3） D: （2）和（4）

利用反证法证明：R∨S，R→￢Q，S→￢Q,P→Q=>￢P请将下面推理论证的过程补充完整。(说明：输入答案时，不要输入多余的空格)证明过程如下：（1）（ ） 假设前提 （2）P→Q P（3） Q T(1)(2) I（4）S→￢Q P（5）( ) T(3)(4) I（6）R∨S P（7）R T(5)(6) I（8）R→￢Q P（9）￢Q T(7)(8) I（10）（ ）矛盾 T(3)(9) I

与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?(1)(P∨Q)→R  (2)(P∧Q)→R(3)(P→Q)→R  (4)P→(Q∨R)

构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。

化简下面的公式。<br/>（1）P∨（﹁P∨（Q∧﹁Q））<br/>（2）（P∧Q∧R）∨（﹁P∧Q∧R）<br/>（3）（（P→Q）↔（﹁Q→﹁P））∧R<br/>（4）（（P→Q）↔（﹁Q→﹁P））∨R

心电图中异常Q波为 A: Q波时间＜0.04s，Q波深度＜同导联R波的1/4 B: Q波时间＞0.04s，Q波深度＞同导联R波的1/4 C: Q波时间＞0.02s，Q波深度＞同导联R波的1/2 D: Q波时间＜0.02s，Q波深度＜同导联R波的1/2 E: 以上都不对

以下几种蜗杆传动中，传动效率最高的是 A: m=6mm,Z1=1,φv=2°50′，q=9 B: m=6mm,Z1=1,φv=2°50′，q=11 C: m=6mm,Z1=2,φv=2°50′，q=9 D: m=6mm,Z1=2,φv=2°50′，q=11

用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)

求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 （1）P∨（Q∧¬R）。 （2）P∨（Q∧R）→P∧Q∧R。 （3）¬（P→Q）∧Q∧R。 （4）（P→Q）→R。 （5）（¬P→Q）→（¬Q∧P）。

求下列公式的成真赋值(1)(¬p→q)→(¬q∨p)(2)(¬p→q)∧(q∧r)(3)(p∨(q∧r))→(p∨q∨r)