Deriving CNF Form

• ~(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])

• DeMorgan’s Law: (Q[i,qa] OR H[i,j] OR S[i,j,sb]) OR(Q[i+1,qb] AND H[i+1,j+1] AND S[i+1,j,sd])

• Apply Distributive Law to obtain Three Clauses

Previous slide

Next slide

Back to first slide

View graphic version