another way to see why the free boolean algebra on an n-element set has formula_1 elements is to note that each element is a function from n bits to one. there are formula_3 possible inputs to such a function and the function will choose 0 or 1 to output for each input, so there are formula_1 possible functions.