• 2022-06-16
    命题公式p→q的主析取范式是()
    A: ¬p∨q
    B: p∨q
    C: (¬p∧¬q)∨(¬p∧q)∨(p∧q)
    D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
  • C

    内容

    • 0

      【多选题】下列命题公式哪些是析取范式? A. (¬p∧¬q)∨(q∧r) B. (p∨¬q)∧(¬p∨q) C. (¬p∧¬r)∨q D. (p∨q)∧¬q E. ¬p∨q F. ¬p∧¬q∧¬r G. ¬p,   q,    1,   0

    • 1

      计算(P→Q)∧(¬P→R)的主析取范式规范正确的是 ——————— 。 A: (¬P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) B: (P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ R) C: (¬P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ R) D: (¬P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ R)

    • 2

      计算(¬P → Q)←→ R析取范式规范正确的是 ——————— 。 A: (P ∧ ¬Q ∧ ¬R) ∨ (P ∧ R) ∨ ( Q ∧ R) B: (¬P ∧ ¬Q ∧ ¬R) ∨ (P ∧ R) ∨ ( Q ∧ R) C: (P ∧ ¬Q ∧ ¬R) ∨ (P ∧ Q) ∨ ( Q ∧ R) D: (P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q) ∨ ( Q ∧ R)

    • 3

      下面公式是合取范式的有() A: p B: ¬p C: p∨¬q D: p∨¬q∨ E: p∧¬q F: (p∧¬q)∨ G: (p∧¬q)∨r∨(p→r) H: ¬(p∧¬q)∨ I: p∧(q∨r) J: (p∨¬r)∧(¬q∨r)∧(¬p∨q∨r)

    • 4

      下列命题公式不是重言式的是() A: Q→(P∨Q) B: (P∧Q)→P C: ¬(P∧¬ Q)∧(¬ P∨Q) D: (P→Q)(¬ P∨Q)