On peut exprimer une fonction logique d'un circuit logique à partir de la table de vérité de ce dernier. Il existe deux méthodes: le raisonnement algébrique qui consiste à utiliser les lois et théorèmes de l'algèbre de Boole, comme les théorèmes de Boole et les lois de Morgan, et la méthode graphique qui consiste à utiliser le tableau de Karnaugh.