下列哪一组命题公式是等价的?
A: ØPÙØQ,PÚQ
B: A®(B®A),ØA®(A®ØB)
C: Q®(PÚQ),ØQÙ(PÚQ)
D: ØAÚ(AÙB),B
A: ØPÙØQ,PÚQ
B: A®(B®A),ØA®(A®ØB)
C: Q®(PÚQ),ØQÙ(PÚQ)
D: ØAÚ(AÙB),B
举一反三
- 下面哪一组命题公式不是等价的( ) 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
- 下列命题公式是等价公式的为 A: ØPÙØQÛPÚQ B: A®(ØB®A)ÛØA®(A®B) C: Q®(PÚQ)ÛØQÙ(PÚQ) D: ØAÚ(AÙB)ÛB
- 下列命题公式是重言式的是()。 A: (p→q)∧(q→p) B: (p∧q)→¬p C: (¬p∨q)∨(q→p) D: ¬(p∨q)
- 与命题公式P→(Q→R)等价的是() A: (P∨Q)→R B: (PΛQ)→R C: (P→Q)→R D: P→(Q∨R)
- 命题公式p∨q的合取范式是()。 A: p∧q B: (p∧q)∨(p∨q) C: p∨q D: ¬(¬p∧¬q)