Question 251007
If we use the addition property, we go from A -> B to (A -> B) V ~C (the "V" stands for 'or' and "~" stands for 'not')


Rearrange the terms to get ~C V (A -> B) and then use material implication to get C -> (A -> B). From here, use exportation to get (C & A) -> B and then use commutation to get (A & C) -> B. This derivation is pretty straightforward, but the only trick here is the addition of ~C.