下面四组公式中,()组公式不等值。
A: ¬(p→q),p∧¬q
B: p↔q,(p→q)∧(q→p)
C: p→(q∨r),¬p∧(q∨r)
D: p→(q∨r),(p∧¬q)→
A: ¬(p→q),p∧¬q
B: p↔q,(p→q)∧(q→p)
C: p→(q∨r),¬p∧(q∨r)
D: p→(q∨r),(p∧¬q)→
C
举一反三
- 下面哪一组命题公式不是等价的（ ） 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→r)与()等值。 A: q→(p∨r) B: (p∧q)→r C: (p→r)∨(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)
内容
- 0
命题公式(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)
- 1
以下等价公式哪个公式是正确的() A: P∨(Q∨R)⇔(P∨Q)∨(Q∨R) B: P∨(Q∨R)⇔(P∨Q)∧(Q∨R) C: P∨﹁Q⇔﹁P∨Q D: P→Q⇔Q→P
- 2
求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的主析取范式 A: (P∧Q∧R)∨(¬P∧¬Q∧R) B: (P∧Q∧R)∨(¬P∧¬Q∧¬R) C: (P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D: (P∧Q∧R)∨(¬P∧Q∧¬R)
- 3
命题公式(P∨Q)∧(P→R)∧(Q→R)的极大项有 A: P∨Q∨R B: P∨Q∨¬R C: P∨¬Q∨R D: P∨¬Q∨¬R E: ¬P∨Q∨R F: ¬P∨Q∨¬R G: ¬P∨¬Q∨R
- 4
下列公式中，是关于p,q,r的主析取范式的公式是 。 A: （p∧¬q∧r）∨(¬p∧¬r） B: p∧¬q∧¬ C: p∨¬q∨¬ D: （p∧¬q∧r）∨（p∧¬q∧r）