Les fonctions logiques permettent de combiner les signaux logiques selon les lois de l'algèbre de Boole. La porte NAND est la plus simple à réaliser du point de vue technologique. Il est possible de réaliser toutes les fonctions logiques en utilisant uniquement ce type de porte.
Pour le montrer, il suffit d'utiliser les théorèmes de De Morgan.

La barre correspond à une négation, le point à la fonction ET et le plus à la fonction OU.

---

Utilisation : 
Le programme présente des assemblages de portes NAND (TTL : 7400 ou CMOS : 4011) qui réalisent les différentes fonctions logiques et permet de tracer leurs tables de vérité.
Pour changer l'état des entrées, il suffit de cliquer avec la souris dans le cadre qui représente l'inverseur.
Vérifiez les tables de vérité en déterminant les niveaux (0 ou 1) des entrées de toutes les portes.