用等值演算法求下列公式的主合取范式，并利用主合取范式直接给出主析取范式：[br][/br]￢(￢(p→q))∨(￢q→￢p)
举一反三
- 用等值演算法求下列公式的主析取范式，并利用主析取范式直接给出主合取范式： 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)