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

925 questions

1k answers

1.4k comments

441 users

0 votes

Can some one help me with below problem ,how to proceed for this problem.

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

1 Answer

0 votes

The standard procedure is as follows: 

  1. compute the set representations all all nodes of the ZDD
  2. read the full DNF from the set representations
  3. convert the obtained DNF to Shannon normal form to get the BDD
There is also a direct procedure, but I would rather recommend the above steps.
by (143k points)
thank you .understood
How does the direct procedure work ?
For the direct procedure, see function BDD2ZDD on slide 153 of the BDD chapter. There are also related functions like BDD2FDD and the converse ones.

Slides 78-91 of the chapter on propositional logic describe such transformations in terms of matrix multiplications to relate them to algebra. Also that is an option in theory, but I would not recommend that. It is rather meant for having further insights into normal forms.

Related questions

0 votes
1 answer
asked Jul 22, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
+2 votes
2 answers
asked Aug 7, 2018 in * TF "Emb. Sys. and Rob." by Pavonlo (280 points)
+1 vote
2 answers
asked Jul 7, 2020 in # Study-Organisation (Master) by RS (770 points)
0 votes
1 answer
asked Aug 14, 2020 in * TF "Emb. Sys. and Rob." by ssripa (550 points)
Imprint | Privacy Policy
...