transformation cnf for implies and iff