LTL model checking

Question

In this question for the final states, why are there only two terms and not three like the below one? 

Am I missing something? 

Answer 1

You can use the three fairness constraints as you do. However, the slides that follow after the basic translation that you are using, explain that one can omit some of the fairness constraints.

Comments

okay, thank you!