I am solving the Exam problem 13.02.2019 Q 6. (b) 2019.02.13.vrs.solutions.pdf (uni-kl.de)
I tried solving it first and came up with below solution :
Only the acceptance conditions differ in my solution and the exam solution.
The exam solution has acceptance condition FGp i.e eventually globally p holds while my solution has FG(p & q) i.e eventually globally p & q holds.
Could you please let me know whether my solution is correct or not ?
