下面公式()不是合取范式,其中p,q为简单命题。
A: p∧q
B: p∨q
C: (p∧q)∨(¬p∧q)
D: (p∨q)∧(¬p∨q)
A: p∧q
B: p∨q
C: (p∧q)∨(¬p∧q)
D: (p∨q)∧(¬p∨q)
举一反三
- 命题公式p∨q的合取范式是()。 A: p∧q B: (p∧q)∨(p∨q) C: p∨q D: ¬(¬p∧¬q)
- 下面命题公式( )不是重言式。 A: q→(p∨q) B: (p∧q)→p C: ⦢(p∧⦢q)∧(⦢p∨q) D: (p→q)⟷(⦢p∨q)
- 下面哪个命题公式不是重言式 A: Q → (P ∨ Q) B: (P ∧Q)→ P C: ¬(P ∧ ¬Q) ∧ (¬P ∨ Q) D: (P→Q)↔(¬P ∨ Q)
- 下面命题公式是重言式的为( )。 A: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)
- 命题公式p→q的主合取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)