ohh ok.. now I get it.

Actually for R[p<-true;q<-true] = next(q)&!o&!a

I was considering only {p,q} -- !a/!o --> {q}

and missed {p,q} -- !a/!o --> {p,q} for all the states.

so, for a var x,y

if we have R[x<-1;y<-1] = x'&!a&!o

then we shud consider both x'&!a&!o and also x'&y'!a&!o ? am I correct ?

i.e

{x,y} --!a/!o-->{x}

{x,y} --!a/!o-->{x,y}

so similarly R[x<-1;y<-1] = x'&!o

then will it be x'&!a&!o, x'&y'!a&!o, x'&a&!o and x'&y'a&!o ?

and the transition will be

{x,y} --!a/!o-->{x}

{x,y} --!a/!o-->{x,y}

{x,y} --a/!o-->{x}

{x,y} --a/!o-->{x,y}

have I understood it correct ?