1.- p → q

2.- p ∨ q → r

3.- p ∧ q) ∧ (p → r) → r

4.- p → r ∧ ¬ s