Group G1
For each time i, add the clause {Q[i,q1],Q[i,q2], … , Q[i,qt]} where t is the number of states in Q.
For each time i, add the set of clauses {Q[i,qk],Q[i,qj]} where k and j, taken together run through all pairs of states of Q. If Q has t states then t(t+1)/2 clauses are required for each time i.