There is no definitive answer to this question since it depends on the specific combinatory logic base in question. However, in general, most combinatory logic bases do require a function of at least 3 variables in order to be able to compute all possible results.