与命题公式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)∧(P∨R)等价的析取范式有() A: P∨(Q∧R) B: (P∧P)∨(Q∧R) C: P∨(Q∧¬Q)∨(Q∧R) D: P∨(P∧R)∨(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)
- 下面哪一组命题公式不是等价的( ) A: (P→Q)∧(Q→P),P<->Q B: ┐(P<->Q),(P∧┐Q)∨(┐P∧Q) C: P→(Q∨R),┐P∧(Q∨R) D: P→(Q∨R),(P∧┐Q)→R
- 给定命题公式:(¬P∨Q)∧(P→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)