! А - обозначим как отрицание А (с чертой сверху на вашей записи)
1) А+В ≡ !А +С = (!А+В)* !(!А+С) + !(!А+В)*(!А+С) =
=(А+В)*А*!С +!А*!В*(!А+С)=А*!С+А*И*!С+!А*!В+!А*!В*С =
=А*!С + !А*!С
2) А -->В ≡ С+В = (!A+B) * !(C+B) +!(!A+B)*(C+B) =
=!C*!B*(!A+B) +A*!B*(C+B)=!C*!B*!A + !C*!B*B +A*!B*C+A*!B*B=
!B*(A*C+!A*!C)