Temporal logic formula conversions.
a. Rewrite, if possible, EG (p ∧ q) using only A, E, F and propositional operators.
b. Rewrite, if possible, AX (q -> p) using only A, E, F, G and propositional operators.
c. Rewrite, if possible, (ApUq) -> EF p using only A, U and propositional operators.
d. Rewrite, if possible, AF (p ∨ q) using only A, E, X and propositional operators.