question in math logic: find the d.n.f. and c.n.f.

359 Views Asked by At

The question is as follows:

Find the disjunctive and conjunctive normal forms of the following: $$ (A \to (B \to C)) \to ((A \to \neg C) \to (A \to \neg B)) $$

My solution is as follows, but I can't go far

enter image description here