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

529 users

0 votes
my initial state : !p & !q

when simplifying the transition formula i get: (!q | !a & !nextq | !p & o !nextp & !nextq). I wanted to know how do I draw transitions from this formula.
in * TF "Emb. Sys. and Rob." by (250 points)
edited by

1 Answer

0 votes

I think your simplification is wrong. I computed BDDs for the original formula and yours and these are different. From the BDD of the original formula, you can get the transitions you are interested in.

Bytheway, a minimal DNF of the transition relation is 

  • !p&!q&o&!next(q) | !p&!a&o&!next(q) | !p&o&!next(p)&!next(q)
by (166k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
2 answers
asked May 28, 2021 in * TF "Emb. Sys. and Rob." by guptad (280 points)
Imprint | Privacy Policy
...