Algebra logic - how to solve the problem?

Question

Algebra

Good afternoon. It is necessary to solve the following example:
(A → (B ˄ C)) ˅ Ā ˄ C (the first C, also with a dash on top, could not find such a character)
The main problem with " → ", I don't know how to decompose it correctly. I would be grateful if with comments. Thank you.

Answer 1

The first ordinary implication
can be converted to
Next, look for a gluing.