• 2022-06-14 问题

    证明以下蕴涵关系成立:﹁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

    证明以下蕴涵关系成立:﹁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

  • 2022-06-03 问题

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

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

  • 2022-06-03 问题

    公式¬(pq)与(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

  • 2022-11-02 问题

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

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

  • 2022-06-09 问题

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

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

  • 2022-05-28 问题

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

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

  • 2022-06-14 问题

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

  • 2022-06-08 问题

    下列非有效的推理形式有()。 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

    下列非有效的推理形式有()。 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

  • 2021-04-14 问题

    ﹁(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)

  • 2021-04-14 问题

    ┐(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)

  • 1 2 3 4 5 6 7 8 9 10