\text { 2. Show that }(p \vee q) \wedge(\neg p \vee r) \rightarrow(q \vee r) \text { is a tautology. }