Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
557 users
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?
