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,