单项选择题

在元组关系演算中,与公式P1=>P2等价的公式是()。

A.┐P1∨P2
B.┐P2∨Pl
C.┐P1∧P2
D.┐P2∧P2