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

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

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

$$\Diamond r$$
Select all the states where this formula is true.

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