Doubt in Automata

Question

What is first disjunct here? I did not understand the solution. Can someone explain the solution to this?

Answer 1

You must read the entire exam problem. I found the snippet above as Problem 5b of the VRS exam of Feb 19, 2020. The problem starts with the following formula which is a disjunction: 

In part a), the second disjunction G!b was considered, and in part b), the first disjunct is considered. 

Comments

Also in the transition relation (q => !q' | (q'<-> b)). what is this => symbol?

---

(a => b | c) means "if a then b else c"