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

1.1k questions

1.2k answers

1.6k comments

538 users

0 votes






How to convert given BDD to FDD ? Both are given and I am confuse in the conversion of it.

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

1 Answer

0 votes

Well, there are at least two options that I can suggest: (1) use the function BDD2FDD on page 157 of VRS-03-BinaryDecisionDiagrams or (2) use the following steps:

  1. convert the BDD to a DNF : !d | d&b | d&!b&!a =  a&b&d | a&b&!d | a&!b&!d | !a&b&d | !a&b&!d | !a&!b&d | !a&!b&!d
  2. convert the DNF to a RMF : a&b&d ⊕ a&d ⊕ true
  3. convert the RMF to a FDD :  true ⊕ d&(a&b ⊕ a) = true ⊕ d&(a ⊕ b&(a))
by (166k points)

Related questions

0 votes
1 answer
0 votes
1 answer
asked Jan 14 in * TF "Emb. Sys. and Rob." by Faris (180 points)
0 votes
1 answer
0 votes
1 answer
asked Aug 25, 2023 in # Study-Organisation (Master) by yk (2.7k points)
0 votes
1 answer
Imprint | Privacy Policy
...