Когда A необходимо для B, а B достаточно для C и A, тогда A не эквивалентно C или B.

Помогите пожалуйста разобраться в данном задании. Необходимо перевести выражение в заголовке на язык алгебры логики.
У меня вышло так:
((A -> B) & (B->(C&A))) -> (A <-> ¬(C V B))

Однако преподаватель сделал замечание на части (A -> B) и (A <-> ¬(C V B)). Остальное все верно!

Я без понятия больше как это можно перевести.