Serious question: how does one go about finding such functions? I mean, given N inputs and known outputs, how does one design a function that is less than a N-

Serious question: how does one go about finding such functions? I mean, given N inputs and known outputs, how does one design a function that is less than a N-order polynomial? Are there techniques or tools available, besides the elementary examples of simplifying a Karnaugh map?