On appelle circuit logique (ou circuit combinatoire) un ensemble de portes logiques reliées entre elles pour répondre à une expression algébrique.
Il s'agit donc d'aller transcrire en schéma électrique (à l'aide des représentations ci-dessus) l'expression algébrique que l'on a simplifiée grâce aux lois de composition.
1.
1) Différence entre système combinatoire et séquentiel
Dans un système combinatoire, la fonction de sortie dépend uniquement des variables d'entrée indépendamment du temps.
Dans un système séquentiel, à l'instant ti, la fonction de sortie dépend à la fois des variables d'entrée et du temps ti-1.
La logique combinatoire est un système de réécriture du premier ordre.
C'est-à-dire qu'à la différence du lambda-calcul, il ne comporte pas de variables liées, ce qui permet une théorie beaucoup plus simple.
Il n'a que trois opérateurs : un opérateur binaire et deux constantes.