Is this calucation of DNF and CNF for the formula $A \land (A \lor C) \implies (C \lor B)$ correct? $$ \begin{array}{|c|c|} \hline \text{Given:} & A \land (A \lor C) \implies (C \lor B) \\ \hline {} & (\neg(A \land (A \lor C)) \lor (C \lor B)) \\ \hline {} & (\neg A \lor \neg(A \lor C) \lor (C \lor B)) \\ \hline {} & (\neg A \lor (\neg A \land \neg C) \lor (C \vee B)) \\ \hline \text{DNF:} & \neg A \lor (\neg A \land \neg C) \lor C \lor B \\ \hline {} & \neg A \lor (C \lor B) \\ \hline \text{DNF and CNF:} & \neg A \lor C \lor B \\ \hline \end{array} $$ (Original picture of the calculation here.)
When I got the DNF, I applied the absorption rule in order to get DNF/CNF.