I am having trouble solving the following problem:

Prove that:

follows from the premisesCode:A -> (C /\ D)

My first question is:Code:(A V D) -> C (A /\ C) -> D

Are there any rules regarding what can you do when you have something of the form

Like, is it possible to decompose it in something likeCode:(A V B) -> C?

? It seems like you can't. I've triedCode:(A -> C) V (B -> C)

But then I don't know what to do with that, too.Code:-(A V B) V C

Any guidance here would be appreciated