命题形式～（p→（q←r））等值于（）。
A: ～（（p∧q）→r）
B: p∧（～q∧～r）
C: p∧（～q∧r）
D: p∧（q∧～r）
A: ～（（p∧q）→r）
B: p∧（～q∧～r）
C: p∧（～q∧r）
D: p∧（q∧～r）
举一反三
- ～（p→（q∨r））等值于（）。 A: （p∨（～q∧r）） B: （p∧（～q∧～r）） C: （p∧（～q∨～r）） D: （p∨（～q∨～r）
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
- 与命题公式P®（Q®R）等值的公式是( ) A: (PÚQ)®R B: (PÙQ)®R C: (P®Q)®R D: P®(QÚR)
- 与命题公式P→(Q→R)等值的公式是。 A: (P∨Q)→R B: (P∧Q)→R C: (P→Q)→R D: P→(Q∨R)
- 公式¬p→(q→r)与()等值。 A: q→(p∨r) B: (p∧q)→r C: (p→r)∨(q→r) D: p→(q∨r)