求主析取范式及主合取范式: (¬P∨¬Q)→(P¬Q)https://mooc1.chaoxing.com/ananas/latex/p/942
举一反三
- 用等值演算法求下列公式的主合取范式,并利用主合取范式直接给出主析取范式:[br][/br]¬(¬(p→q))∨(¬q→¬p)
- P→(Q∧P)的主析取范式是( )。 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)
- 命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)