• 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)

  • 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)

  • 2021-04-14 问题

    【单选题】求公式 Q ∨ (P → Q) 主析取范式。 A. (P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) B. (﹁P∧﹁Q)∨(P∧﹁Q)∨(P∧Q) C. (﹁P∨﹁Q)∧(P∨﹁Q)∧(P∨Q) D. (﹁P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) 答

    【单选题】求公式 Q ∨ (P → Q) 主析取范式。 A. (P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) B. (﹁P∧﹁Q)∨(P∧﹁Q)∨(P∧Q) C. (﹁P∨﹁Q)∧(P∨﹁Q)∧(P∨Q) D. (﹁P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) 答

  • 2022-06-03 问题

    ┐(P∨Q) ←→(P∧Q)的主析取范式是( ) A: (Q∧┐P)∨(P∧>Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)

    ┐(P∨Q) ←→(P∧Q)的主析取范式是( ) A: (Q∧┐P)∨(P∧>Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)

  • 2021-04-14 问题

    6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)

    6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)

  • 2022-06-09 问题

    将“如果天下雨,地会湿。已知地没湿,可见天没下雨。”,翻译成符号语言:()或()。 A: [(p→q)∧┒q]├┒p p→q,┒q├┒p B: p→q,┒q├┒p   p→q,┒p├┒q C: p→q,┒p├┒q  [(p→q)∧q]├p D: p→q,┒q├┒p  [(p→q)∧p]├q

    将“如果天下雨,地会湿。已知地没湿,可见天没下雨。”,翻译成符号语言:()或()。 A: [(p→q)∧┒q]├┒p p→q,┒q├┒p B: p→q,┒q├┒p   p→q,┒p├┒q C: p→q,┒p├┒q  [(p→q)∧q]├p D: p→q,┒q├┒p  [(p→q)∧p]├q

  • 2022-06-08 问题

    下列推理中,有效的是 ( ) A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q

    下列推理中,有效的是 ( ) A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q

  • 2022-10-29 问题

    以下逻辑表达式的值恒为真的是( ) A: P∨(┓P∧Q)∨(┓P∧┓Q) B: Q∨(┓P∧Q)∨(P∧┓Q) C: P∨Q∨(P∧┓Q)∨(┓P∧Q) D: P∨┓Q∨(P∧┓Q)∨(┓P∧┓Q)

    以下逻辑表达式的值恒为真的是( ) A: P∨(┓P∧Q)∨(┓P∧┓Q) B: Q∨(┓P∧Q)∨(P∧┓Q) C: P∨Q∨(P∧┓Q)∨(┓P∧Q) D: P∨┓Q∨(P∧┓Q)∨(┓P∧┓Q)

  • 2022-06-03 问题

    以下逻辑公式中,()是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)

    以下逻辑公式中,()是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)

  • 1 2 3 4 5 6 7 8 9 10