Does anyone know Symbolic Logic? I need help?

Does anyone know how to answer this proof? Inference Rules and Replacement Rules? 1) (AvB) horseshoe C / (A horseshoe C) V (C horseshoe A)