下列公式中与其他公式不等值的是 。
A: ¬(p←→q)
B: (p∨q)∧¬(p∧ q)
C: (¬p∧q)∨(p∧¬q)
D: ¬(p→q)∧¬(q→p)
A: ¬(p←→q)
B: (p∨q)∧¬(p∧ q)
C: (¬p∧q)∨(p∧¬q)
D: ¬(p→q)∧¬(q→p)
举一反三
- 命题公式p→q的主合取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 【单选题】命题公式(p→q)∧q→p的主析取范式为________。 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)
- 下列命题公式不是重言式的是() A: Q→(P∨Q) B: (P∧Q)→P C: ¬(P∧¬ Q)∧(¬ P∨Q) D: (P→Q)(¬ P∨Q)