Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

862 questions

981 answers

1.4k comments

431 users

0 votes
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
in # Mandatory Modules Bachelor by (120 points)

1 Answer

0 votes
If the exercise asks for CNF / DNF only, then the canonical-CNF / -DNF as well as the minial-CNF / -DNF and anything in between is ok.

CNF / DNF only means that we need a conjunction of disjunctions of literals / a disjunction of conjunction of literals respectively, but size does not matter for that.
by (2.4k points)

Related questions

0 votes
1 answer
asked Aug 23, 2020 in # Mandatory Modules Bachelor by kremenadla (380 points)
0 votes
1 answer
asked Aug 18, 2020 in # Mandatory Modules Bachelor by landgram (230 points)
+1 vote
1 answer
+1 vote
1 answer
asked Aug 23, 2020 in # Mandatory Modules Bachelor by least (260 points)
0 votes
1 answer
Imprint | Privacy Policy
...