Consider the following two pairs of formulas:
For each pair, give a convincing argument whether the two formulas are equivalent or not.
That is, for a pair for which you argue to be equivalent, present a proof which refers to the formal semantics of CTL and the definition of equivalence of formulas.
For a pair for which you argue not to be equivalent, present concrete formulas , and (i.e. formulas involving atoms like p, q, etc.), and a Kripke structure M with state s for which you model-check, using the labelling algorithm presented in class, that the one formula (from the pair) holds in M from s, while the other formula doesn't.