现有命题公式p∨q,则其主析取范式是( )。
A: p∨q
B: (¬p∧¬q)∨(¬p∧q)∨(p∧¬q)
C: p∧q
D: (¬p∧q)∨(p∧¬q)∨(p∧q)
A: p∨q
B: (¬p∧¬q)∨(¬p∧q)∨(p∧¬q)
C: p∧q
D: (¬p∧q)∨(p∧¬q)∨(p∧q)
举一反三
- (p∧┐q) ∨(┐p∧q)的主析取范式是（） A: (┐p∧┐q)∨(p∧q) B: (┐p∨q)∧(p∨┐q) C: (┐p∨┐q)∧(p∨q) D: 空范式
- 命题公式¬(p→q)的主析取范式是()。 A: p∧¬q B: ¬p∧¬q C: ¬p∨q D: p∨¬q
- 以下逻辑公式中，（）是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)
- 命题公式¬(P→Q)的析取范式是() A: P∧¬Q B: ¬P∧Q C: ¬P∨Q D: P∨¬Q
- 命题公式p→q的主析取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)