• 2022-06-08
    下列公式()与命题公式A→(B→A)逻辑等价。
    A: A→(¬B∨A)
    B: ¬A→(A→¬B)
    C: ¬A∨(¬B∨A)
    D: (B∧A)→A
  • A,B,C,D

    内容

    • 0

      命题公式p→q的主合取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)

    • 1

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

    • 2

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

    • 3

      【多选题】下列命题公式哪些是析取范式? 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

    • 4

      下面公式是合取范式的有() A: ¬p B: p∨¬q∨ C: ¬(p∧¬q)∨ D: (p∨¬r)∧(¬q∨r)∧(¬p∨q∨r)