公式¬(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)→(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)∨(¬p∧q)∨(p∧¬q) C: p∧q D: (¬p∧q)∨(p∧¬q)∨(p∧q)