I tried to convert this to a CNF-expression but failed.
What did I do wrong? Or are there simply missing steps?
$$ F' = (( A \lor \lnot B) \land C) \to ( \lnot A \land C) $$ Removed Implication $$ \equiv \lnot(( A \lor \lnot B) \land C) \lor ( \lnot A \land C) $$ de Morgan $$ \equiv ( \lnot ( A \lor \lnot B) \lor \lnot C) \lor ( \lnot A \land C) $$ de Morgan $$ \equiv (( \lnot A \land \lnot \lnot B) \lor \lnot C) \lor ( \lnot A \land C) $$ double Negation $$ \equiv (( \lnot A \land B) \lor \lnot C) \lor ( \lnot A \land C) $$ distributive law $$ \equiv (( \lnot C \lor \lnot A) \land (\lnot C \lor B)) \lor (\lnot A \land C) $$ distributive law $$ \equiv ((\lnot A \land C) \lor (\lnot C \lor \lnot A)) \land ((\lnot A \land C) \lor (\lnot C \lor B)) $$