求命题公式￢(P→Q) ∨(P∧R)主析取范式
举一反三
- 用等值演算法求下列公式的主析取范式，并利用主析取范式直接给出主合取范式： p→((q∧r)∧(p∨(￢q∧￢r)))
- 命题公式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)
- 求下列公式的主范式.1.（P→Q）↔R（主析取范式）2.（P→Q）↔R（主合取范式）
- 【多选题】下列命题公式哪些是析取范式? 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