\(( \Box p \mathrel{\wedge}\Box q) \mathrel{\wedge} \neg \Box ( p \mathrel{\wedge}q) \)
Select all the states where this formula is true.

\(p\mathrel{\rightarrow} \Diamond p\)
Select all the states where this formula is true.

\(\Diamond \Diamond p\mathrel{\rightarrow} \Diamond p\)
Select all the states where this formula is true.

\(\Box ( p \mathrel{\rightarrow}q) \)
Select all the states where this formula is true.

\(\Box \Diamond \top\)
Select all the states where this formula is true.