命题公式¬(P→Q)的析取范式是()
A: P∧¬Q
B: ¬P∧Q
C: ¬P∨Q
D: 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 D: 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)→(┐q∨p)的主析取范式是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)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)