Compute the Kripke structure K={I′,S′,R′,L′}K={I′,S′,R′,L′}of the FSM: A={2Vin,2Vout,I,2Vstate,R}A={2Vin,2Vout,I,2Vstate,R}

where Vin={a}Vin={a}, Vout={}Vout={}, Vstate={p,q}Vstate={p,q}, I=I=!p&!q,

R=R=a&p&next(p)&next(q)|a&q&!p&!next(p)&!next(q)|a&!p&!q&!next(q)&next(p),

and the following Kripke Structure and state transition diagram.

b) Construct a propositional logic formula that encodes the set of reachable states S'_{reach of }Kripke Structure.

my answer - (a&!p&!q)|(p&!q&!a)|(p&a&!q)

It says wrong in the tool. Could any one help me on this, where I did the mistake.?