The CTL* formula
A[G(p F q)] is equivalent to the CTL
formula AG(p AF q). Inspect the
proof(s) for equivalences for Question 3
to see how you could prove such a statement formally.
See Section 3.8.2 of the textbook for a more detailed discussion
of the relative expressiveness of CTL and CTL*.
Back to Question.
Incorrect Answer.
F q)] is equivalent to the CTL
formula AG(p