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

543 users

0 votes

Hello,

I have a query regarding Forall Algorithm in the last exam (2022.02.16) problem 1(d). How did we get this yellow highlighted term? And why did a => disappeared? Please guide.

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

1 Answer

0 votes
 
Best answer
It is due to the elimination rules of BDDs, the formula above the yellow part is a redundant case distinction that is wiped away in BDDs.
by (166k points)
selected by
That makes sense. I was confused whether we have to use reduction rules while applying/executing the algo or not. Thanks for clarification!

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by khanh (460 points)
Imprint | Privacy Policy
...