These formulas solve one of the problems to convert a CTL* formula to CTL (if possible). You can find them and their explanations in the temporal logic chapter on slides 45-46, and a lot of instances of them to other temporal operators on slides 47-49 (if you want to fill your cheat sheet).
