I need to convert an expression to CNF. I've converted it to DNF and I know its CNF, but i just can't do it by myself.
I've tried the other answers, but with them it bloats to very long expression. It will took several hours just to write down.
$¬A¬B(¬C + D)(C + ¬D) + (A + B)(C¬D + ¬CD) $
This is DNF:
$¬A¬B¬C¬D + ¬A¬BCD + AC¬D + A¬CD + BC¬D + B¬CD $
Thank you
An easy way to convert such expression is Wolfram Alpha.