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

912 questions

1k answers


441 users

0 votes

I am running to similar problem, i also looked up the solution with the tool, and got the same with slightly other labeling, but that shouldnt be the problem. I also removed the unreachable state in my case s0q2. After submitting the representation as below listed, I still don't get this correct. Does someone mind and help me out with this?

related to an answer for: Exercise Sheet 4 : Product Structure
in * TF "Emb. Sys. and Rob." by (650 points)
edited by

1 Answer

+1 vote
Best answer
Your solutions looks quite correct to me. However, the product structure is defined in your case over variables a,b,c,d even though there is no state where b occurs. That does not mean that b does not exist, it just means that b is false in the remaining states.
by (142k points)
selected by
That was the missing piece, thank you. I guess, I will remember not to do this anymore after doing this in the exercise. Thanks again.
That's why exercises are there. Learn it by making experiences, and here, it is not that harmful as later in the exam.

Related questions

0 votes
2 answers
+2 votes
2 answers
0 votes
1 answer
asked Aug 21, 2020 in * TF "Emb. Sys. and Rob." by ggokaj (870 points)
Imprint | Privacy Policy