for a given question i have the transition relation given as follows : R=(o|a->!(p->q))&next(q)&next(p). and an initial state !(p->q)

I have computed the DNF and i got this: (¬O ∧ ¬A ∧ p' ∧ q') ∨ (P ∧ ¬Q ∧ p' ∧ q')

I computed all possible transitions with the given DNF and i arrived at this:

init 1;

transitions (0,{},{},3);(1,{},{},3); (2,{},{},3); (3,{},{},3);(1,{a},{},3);(1,{},{o},3);(1,{a},{o},3);(1,{},{},3);

My transitions correspond with the diagram i generated with the tool, but the excercise tool keeps on rejecting the answer.