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

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

For converting from ZDD to FDD, after getting the the set representation and the DNF of the ZDD, is it correct to apply the positive davio decomposition to the DNF to get the FDD?

in * TF "Emb. Sys. and Rob." by (260 points)

1 Answer

0 votes
That is correct, but sounds more complicated than it is. As you already have a full DNF, i.e., a disjunction of minterms (conjunctions where all variables appear either negated or not), you can simply replace the disjunction with an exclusive disjunction. From there, it is very simple to generate the Davio decomposition, you just have to single out the variables in the given ordering.
by (170k points)

Related questions

Imprint | Privacy Policy
...