I need help with Discrete Mathematics having been away from all Mathematics for over 20 years. I have been asked to provide proofs for the following problems and don't have any idea where or how to start. Can someone please help or point out some resources for learning the basics of Discrete Mathematics?
In our text we use X' for not X also A -> B means "A implies B" or if A, then B.
1. (A' -> B') ^ B ^ (A -> C) -> C
2. (A -> C) ^ (C -> B) ^ B -> A'
3. [A -> (B v C)] ^ C' -> (A -> B)
I could use any assistance regarding learning how to prove problems like those above.