Need Help with Propositional Logic I am stuck with this proof. I am trying to use deduction (or induction I think) to prove for a tautology with logic laws like De Morgan's, distributive , and implication law etc. 
Note: I am not allowed to use truth tables.
Here it is:
$((p \vee q) \wedge (p \rightarrow r) \wedge (q \rightarrow r)) \rightarrow r$
I have tried using a condition/implication law where $p \rightarrow r$ becomes $\neg p \vee r$ to change the last to compound statements but I got stuck.
Next I tried:
$((p \vee q) \wedge (p \rightarrow r) \wedge (q \rightarrow r)) \rightarrow r \\ \equiv [(p \vee q) \wedge ((p \vee q) \rightarrow r)] \rightarrow r$
But I don't know where to go from here.
Need some guidance guys.

We can use these Rules of inference.
Starting wtih :

$$[((p∨q)∧(p→r)∧(q→r))→r] \equiv$$

we can apply Material implication :

$$\equiv \lnot [(p \lor q)∧(\lnot p \lor r)∧(\lnot q \lor r)] \lor r \equiv$$

followed by De Morgan to get :

$$\equiv [\lnot (p \lor q) \lor \lnot [(\lnot p \lor r)∧(\lnot q \lor r)]] \lor r \equiv$$

Then we need Distributivity with : $[(\lnot p \lor r)∧(\lnot q \lor r)] \equiv [r \lor (\lnot p \land \lnot q)]$ to get : 

$$[\lnot (p \lor q) \lor \lnot [r \lor (\lnot p \land \lnot q)]] \lor r \equiv$$

Then we use again De Morgan and "rearrange" to get :

$$[r \lor (\lnot p \land \lnot q)] \lor \lnot [r \lor (\lnot p \land \lnot q)].$$

Now the last formula is an instance of Excluded Middle : $\varphi \lor \lnot \varphi$, which is a tautology.
