Además, un conjunto de puertas lógicas es completo si puede implementar todas las puertas de otro conjunto completo conocido.