In tuple relational calculus P1 → P2 is equivalent to

• A. ¬ P1 ∨ P2
• B. P1 ∨ P2
• C. P1 ∧ P2
• D. P1 ∧ ¬P2