Group G6 Continued

• If P then Q is logically equivalent to~P OR Q.

• Assume e=L, then using the variables we get:~(Q[i,qa] AND H[i,j] AND S[i,j,sb]) OR(Q[i+1,qb] AND H[i+1,j+1] AND S[i+1,j,sd])

• For e=R, ~(Q[i,qa] AND H[i,j] AND S[i,j,sb]) OR(Q[i+1,qb] AND H[i+1,j-1] AND S[i+1,j,sd])

Previous slide

Next slide

Back to first slide

View graphic version