La distancia del código lineal binario de matriz generadora es

Sea dada por . Entonces el conjunto

Sea una matriz generadora de  un código (4,2)-lineal . Entonces,

Sea una matriz generadora de un código (4,2)-lineal . Entonces, todas las palabras del código son

Sea el código  . Entonces, las palabras del código son

Sea un (4,2)-código lineal. Si se recibe la palabra , la descodificación por el método de distancia mínima es:

Sea una función codificadora dada por . Entonces el código asociado es

Sea una matriz generadora de un código (4,2)-lineal . Entonces,

Sea dada por una función de codificación sistemática. Entonces el código puede corregir

Sea un código lineal con función de codificación asociada , . Entonces es