下面四组公式中,()组公式不等值。
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)→
举一反三
- 下面哪一组命题公式不是等价的（ ） 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)