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