add CNF example