$(A \lor B) \to C$ and $(A \to C) \lor (B \to C)$ Which one entails the other? For a homework assignment I have to prove that one of the statements entails the other. 
The statements are:
$(A \lor B) \to C$
$(A \to C) \lor (B \to C)$
The only thing that I got so far is either $\lnot(A \lor B) \to C$ or $(A \to C) \land (B \to C)$.
I can use the rules of Modus Ponens, Modus Tollens, Simplification, Conjunction, Disjunction, Conjunctive and Disjunctive Syllogism, Hypothethical Syllogism and Conditional Proof.
The equivalence rules I can use are Double Negation, De Morgan's Laws, Biconditional Equivalence,and I think, Transposition and Material Implication, too. 
Is there someone who can help me? I've tried so much already...

Edit:
The answer they wanted to hear was:


*

*(A v B) -> C  

*A supp/CP  

*A v B disj  

*C 1,3MP  

*A -> C 2-4 CP

*(A -> C) v (B -> C)  5 disj


As Wikipedia notes,

A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises.

So to answer the question we need to ask which of these two statements could be the conclusion of the other. Using a truth table we can see that they do not entail each other:

However, the first sentence does entail the second:

We can create a natural deduction proof of that as well. The desired natural deduction proof should look like the following:

The answer they wanted to hear was: (A v B) -> C
A supp/CP
A v B disj
C 1,3MP
A -> C 2-4 CP
(A -> C) v (B -> C) 5 disj

That such a proof would work can be verified by using a proof checker.


Kevin Klement's JavaScript/PHP Fitch-style natural deduction proof editor and checker http://proofs.openlogicproject.org/
"Logical Consequence" Wikipedia https://en.wikipedia.org/wiki/Logical_consequence
Stanford Truth Table Tool http://web.stanford.edu/class/cs103/tools/truth-table-tool/
