命题 “P→Q”可读做 P蕴涵 Q,其中 P、Q 是两个独立的命题。只有当命题 P成立而命题 Q不成立时, 命题 “P→ Q”的值为 false ,其他情况均为 true 。与命题 “P→Q”等价的逻辑关系式是( )。
¬P∨ Q
P ∧Q
¬(P ∨Q)
¬ ( ¬Q∧P)