Implementación con puertas NAND