Dans la logique combinatoire, une sortie représente une fonction à plusieurs entrées.
Une fonction logique admet plusieurs variables logiques d'entrée.
Elle représente une combinaison de termes obtenus à partir de ces variables et de différents opérateurs de base (ET, OU, NON).
Les plus utilisés sont les systèmes : Décimal (base 10), Binaire (base 2), Tétral (base 4), Octal (base 8) et Hexadécimal (base 16).
Aujourd'hui la logique combinatoire est surtout utilisée par les logiciens pour répondre positivement à la question « Est-il possible de se passer de variables ? » et par les informaticiens pour compiler les langages fonctionnels.
La logique combinatoire est un système de réécriture du premier ordre.