What is the formula q$)$ semantically equivalent to$?$

$F(notpvvnotFq)$

$G(p^{{?}^{?}}Fq)$

$G(not{p}^{{?}^{?}}$notFq$)$

$F(p$notFq$)$

Encode the following statement into Linear Temporal Logic $($LTL$)$:

"The door is always closed when the alarm is activated."