Which of the following is a sound rule of inference?

• A. q ∧ (p → q) → p
• B. p → (p ∨ q)
• C. q ∨ (p → q) → p
• D. all of above