I have been given this statement to convert to CNF:
$$((a \to x) \land (b \to c)) \to (a \to ¬c)$$
and so far I have gotten rid of the implications and applied de Morgan's law after which I have:
$$((a \land \lnot x) \lor (b \land \lnot c)) \lor (\lnot a\lor \lnot c)$$
but I can't figure out how to proceed from this point and how I would apply distributivity laws on this.