Hi,

in the exam there's the question to get the CNF/DNF from a given formula. Is the CCNF/CDNF a valid answer or do we have to minimize the CCNF/CDNF to CNF/DNF.

For example, if we have the formula f(a,b,c) = (a→b)∧(c∨a∨¬b).

Is (a∨¬b∨c)∧(¬a∨b∨c)∧(¬a∨b∨¬c) a valid answer for the CNF?

Thanks a lot,

Vanessa