In the task we are given S2 = EF(q & EG(p & !q)).
1.) Can this even be true at any time? And if so, how would a corresponding Kripke structure look like?
2.) Is there a difference to the formula EF(q & G(p & !q))? This formula cannot be satisfied, right? Because q & G (!q) would need to hold at the same time?