Construcción de compuertas fundamentales y derivadas mediante compuertas NAND.
Obtención de una ecuación booleana, en su forma canónica, a partir de una tabla de verdad.