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

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

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

\(\Box p\mathrel{\rightarrow} \Box 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.