No, a combinatory logic base does not need a function of 3 variables. A combinatory logic base is simply a collection of symbols that can be combined to form new symbols. In other words, it's a way of creating new ideas by combining preexisting ideas.