Un ensemble de types/fonctions permettant de créer un circuit combinatoire, c’est-à-dire un circuit sans boucle comprenant des portes logiques (AND, OR, NOR, etc) reliées ensembles par des « fils ». L’entrée du circuit est représentée par un ensemble de portes chacune représentant une variable booléenne nommée.