Group G6
Let (qa,sb,qc,sd,e) be an element of ?, where e is an element of {L,R}.
We need to model the following logical statement in CNF form: If the current time is i and MX is in state qa and MX is scanning tape square j and tape square j contains symbol sb, then at time I+1, MX will be in state qb, tape square j will contain sd and MX will be scanning either square j+1 or j-1 depending on e.