El estado lógico de la salida, considerado un instante, depende sólo de la combinación binaria que hay en la entrada y es independiente de combinaciones previas.