Un circuit qui exécute une fonction de contrôle ou de traitement dans un ordinateur est appelé circuit logique. Les circuits logiques utilisent deux valeurs pour une quantité physique donnée afin de désigner les valeurs booléennes faux ou vrai et faux ou 0 et 1. Les circuits logiques ont des entrées et des sorties qui peuvent ou non dépendre des entrées. Lorsque l'on dessine des diagrammes de circuits logiques, la connexion entre la sortie d'un circuit et l'entrée du deuxième circuit est représentée par une pointe de flèche à l'extrémité de l'entrée.
Les performances des circuits logiques sont similaires aux fonctions d'un langage de programmation. Un circuit logique peut avoir plusieurs sorties. Les entrées sont comparables aux paramètres d'une fonction. Les sorties ressemblent aux valeurs de retour d'une fonction. Les deux types de circuits logiques sont : Les circuits d'état et les circuits combinatoires. Les circuits d'état, dans lesquels la sortie est basée non seulement sur l'entrée, mais aussi sur les entrées historiques, sont rendus possibles par la mémoire intégrée dans le circuit. Dans les circuits combinatoires, la sortie est basée sur les valeurs actuelles de l'entrée.