Which of the following are tautologies?

• A. (P v (P → Q )) → P
• B. ((P v Q) ^ Q) ↔ Q
• C. ((P v Q) ^ Ë¥P) → Q
• D. ((P v Q) ^ P) → P