Q$3.$ Consider the following Kripke structure:

A$-$ Indicate for each of the following PLTL formulas the set of states satisfying it:

$1-$ Gr U s

$2-$ Gp U Gq

$3-$ p U Ft

B$-$ Indicate for each of the following CTL formulas the set of states satisfying it:

$1-E(sUt)$

$2-$ A$($p U r$)$

$3-E(pUEFr)$