Please kindly provide me both the solution of question 8 and 9.

Question 8) State for each Linear-time Temporal Logic (LTL) formula whether it is legal or not (p and q are propositional variables). (10 marks) (i) Gp (ii) AGP (iii) EG(p->Fq) (iv) (pUq) (v) GFp Question 9) Consider the following transition diagram and state whether the CTL formula AFAG P and the LTL formula FGp hold or not. Justify your answer. (10 marks) {p} ( ) {p}