A function of 3 variables is needed if you want to create a 3-dimensional shape. However, in combinatory logic, all bases (including those with fewer than 3 variables) are equivalent. So it doesn't matter whether or not you have a function of 3 variables - any combination of symbols will work just fine.