下列命题公式是等价公式的为
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,PÚQ B: A®(B®A),ØA®(A®ØB) C: Q®(PÚQ),ØQÙ(PÚQ) D: ØAÚ(AÙB),B
- 化简公式Q→(P∨(P∧Q))后等价于下列哪个公式。 A: P→Q B: Q→P C: Q D: P
- 下列命题公式为重言式的是( )。 A: p→(p ˅ q) B: (p ˅¬ p) →q C: q ˄ ¬ q D: p→¬ q
- 下列命题公式为重言式的是()。 A: p→(p∨q) B: (p∨┐p)→q C: q∧┐q D: p→┐q
- 下列命题公式为矛盾式的是( )。 A: (p→q)∨q B: ¬(p→q)∧q C: ¬p∧(p→q) D: ¬(p→q)