Is there a technical difference between boolean formulas and boolean functions?
A Boolean formula is a concrete string of symbols. A Boolean function of $n$ inputs is an assignment of output truth values to each possible choice of $n$ input truth values.
For example, "$p\lor q$" and "$q\lor (p\land\neg q) $" are two different formulas. They happen to describe the same Boolean function of two variables.