On the expressive power of CNF formulas of bounded tree- and clique-width