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

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

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

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

\(p\)
Select all the states where this formula is true.