下列等值关系成立的命题有( )
A: ¬(P∧¬q)←→(¬p∨q)
B: ¬(¬p∨q)←→(p∧¬q)
C: ¬(p→¬q)←→(p∧q)
D: ¬(¬p←q)←→(p∧q)
A: ¬(P∧¬q)←→(¬p∨q)
B: ¬(¬p∨q)←→(p∧¬q)
C: ¬(p→¬q)←→(p∧q)
D: ¬(¬p←q)←→(p∧q)
举一反三
- 下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p B: p→q=q→p C: ¬(p∨q)=¬p∨¬q D: p∧(q∨p)=q
- 下列命题公式中,逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- p∧q的等值命题有( )。 A: ¬ (q←p) B: ¬ (p←¬q) C: q←p D: ¬ (¬pV¬q) E: ¬ (p→q)
- P→q的等值命题是( ) A: P→q B: P∨q C: q←P D: P←→q
- “¬pÙq”的负命题的等值命题是( )。 A: pÙ¬q B: p→q C: ¬pÚq D: pÚ¬q E: ¬p→¬q