用等值演算法求下列公式的主合取范式，并利用主合取范式直接给出主析取范式：[br][/br]￢(￢(p→q))∨(￢q→￢p)
M2 m0∨m1∨m3
举一反三
- 用等值演算法求下列公式的主析取范式，并利用主析取范式直接给出主合取范式： p→((q∧r)∧(p∨(￢q∧￢r)))
- 求主析取范式及主合取范式： （￢P∨￢Q）→（P￢Q）https://mooc1.chaoxing.com/ananas/latex/p/942
- 命题公式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)
内容
- 0
【单选题】命题公式(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)
- 1
下面公式是合取范式的有（） A: ￢p B: p∨￢q∨ C: ￢(p∧￢q)∨ D: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)
- 2
P→(Q∧P)的主析取范式是（ ）。 A: ￢P∨Q B: ￢P∧Q C: (￢P∧Q)∨(￢P∧￢Q)∨(P∧Q) D: (￢P∨Q)∧(￢P∨￢Q)∧(P∨Q)
- 3
下面公式是合取范式的有（） A: ￢p B: (p∧￢q)∨ C: (p∧￢q)∨r∨(p→r) D: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)
- 4
n4.用等值演算法证明下面等值式: (1)p⇔(p∧q)∨(p∧￢q) (2)￢(p↔q)⇔(p∨q)∧￢(p∧q) (3)(p∧￢q)∨(￢p∧q)⇔(p∨q)∧￢(p∧q)