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

868 questions

986 answers

1.4k comments

438 users

0 votes

I am  not able to figure out how the below terms marked in red are solved. I understood the algorithm but I am not able to figure out these below terms in red. Could you please explain this? (2022.02 Paper)

(0 ⊕ b ∧ 1) ⊕ a ∧ Apply(⊕,(0 ⊕ b ∧ BDD2FDD(n0)),(0 ⊕ b ∧ 1)

(0 ⊕ b ∧ 1) ⊕ a ∧ (0 ⊕ b ∧ Apply(⊕,(BDD2FDD(n0)), 1)

(0 ⊕ b ∧ 1) ⊕ a ∧ (0 ⊕ b ∧ Apply(⊕,(0 ⊕ c ∧ 1), 1)

(0 ⊕ b ∧ 1) ⊕ a ∧ (0 ⊕ b ∧ (1 ⊕ c ∧ (1 ⊕ 0)))

 (0 ⊕ b ∧ 1) ⊕ a ∧ (0 ⊕ b ∧ (1 ⊕ c ∧ 1)

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

1 Answer

+1 vote

You have to consider the function BDD2FDD and also the Apply algorithm to understand the single steps. Indeed, the computation of the example solution has some unclarities which should be better explained here: 

    BDD2FDD(n3)
    = BDD2FDD(n2) ⊕ a ∧ Apply(⊕, BDD2FDD(n1), BDD2FDD(n2))
    // BDD2FDD(n2) = BDD2FDD(b) = (0⊕b∧1)
    = (0⊕b∧1)⊕a∧Apply(⊕,BDD2FDD(n1),(0⊕b∧1))
    // BDD2FDD(n1) = 0⊕b∧BDD2FDD(n0)
    = (0⊕b∧1)⊕a∧Apply(⊕,(0⊕b∧BDD2FDD(n0)),(0⊕b∧1))
    // Apply(⊕,(0⊕b∧BDD2FDD(n0)),(0⊕b∧1)) 
    = (0⊕0)⊕b∧Apply(⊕,BDD2FDD(n0),1)
    = (0⊕b∧1)⊕a∧(0⊕b∧Apply(⊕,(BDD2FDD(n0)),1))
    // BDD2FDD(n0) = 0⊕c∧1
    = (0⊕b∧1)⊕a∧(0⊕b∧Apply(⊕,(0⊕c∧1),1))
    // Apply(⊕,(0⊕c∧1),1) = (0⊕1)⊕c∧1
    = (0⊕b∧1)⊕a∧(0⊕b∧(1⊕c∧1))
by (139k points)

Related questions

0 votes
2 answers
asked May 21, 2020 in * TF "Emb. Sys. and Rob." by Nicola (800 points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...