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

R = next(c)&a&(!(b|b)<->!next(a)) Q = (b->c)&a

States that satisfy Q, P0 = {s7,s5,s4}

States that be reached from P0, P1 = {s5,s7,s3,s1}

My answer = (a&b&c)|(a&!b&c)|(!a&b&c)|(!a&!b&c) <-- marked as incorrect.

What am I missing here?

related to an answer for: sheet 12 2c
closed with the note: Answer found
in * TF "Emb. Sys. and Rob." by (610 points)
closed by
Imprint | Privacy Policy
...