Drawing the Kripke structure is not recommended here since it has already quite some states. You can answer the questions also directly with the FSM. However, there are more deadends than {},{q}. The FSM has these deadend states, but the Kripke structure has more deadend states like also {a},{a,o},{p,o},{p,a,o},{p,q,o},{p,q,a,o}. Also, there are more reachable states. You suggest p&!q&a|p&!q&!a|p&q&!a|p&q&a|!p&q&!a which is equivalent to q&!a|p, but there are also the reachable states !p&q&a.