次の等式の証明を教えてくださいませ
(A+B)・(¬A+C) = A・C + ¬A・B