证明以下蕴涵关系成立:﹁Q∧(P→Q) ⇒﹁P 的正确步骤顺序是： 1、即证明：﹁Q∧(P→Q)→﹁P 永真 2、⟺﹁Q∧(﹁P∨Q)→﹁P[br][/br] 3、⟺﹁Q∧(﹁P∧Q)→﹁P[br][/br] 4、⟺﹁﹁Q∧(﹁P∧Q)∧﹁P[br][/br] 5、⟺﹁（﹁Q∧(﹁P∨Q)）∨﹁P[br][/br] 6、⟺ Q∨﹁(﹁P∨Q)）∨﹁P[br][/br] 7、⟺ Q ∨ P ∨ ﹁Q ∨﹁P[br][/br] 8、⟺ Q ∨ (P ∧ ﹁Q) ∨﹁P[br][/br] 9、⟺ (Q∨﹁P) ∨ (P ∧ ﹁Q)[br][/br] 10、⟺﹁ ( P ∧ ﹁Q) ∨ ( P ∧ ﹁Q)[br][/br] 11、⟺T A: 1-2-4-7-11 B: 1-2-5-6-8-9-10-11 C: 1-3-4-7-11 D: 1-2-4-7-8-9-10-11

公式(p∧¬q)∨(¬p∧q)的成真赋值为 A: 00 B: 01 C: 10 D: 11

公式¬(pq)与(p∧¬q)∨(¬p∧q)共同的成真赋值为 A: 00 B: 01 C: 10 D: 11

Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)

以下程序的运行结果为______。 main() int x,*p,**q; x=10;p=&x;q=&p; printf("%d\n",**q); A: 10 B: 9 C: 8 D: 11

液压泵的理论，实际流量和额定流量的关系是（）。 A: q>q>q B: q>q>q C: q>q>q D: q>q>q

以下几种蜗杆传动中，传动效率最高的是 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

下列非有效的推理形式有（）。 A: （p→q）∧P→q B: （q→q）∧q→p C: （p→q）∧q→q D: （q→q）∧q→p E: （p→q）∧q→p

﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）

┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧＞Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)