add CNF expression by libo