Кількість перевірних розрядів для двійкового блокового коду, що виправляє 1 помилку, визначається з наступної формули (нерівності, або границі Хемінга):
де
— кількість інформаційних символів
— кількість перевірних
Найкращими рішеннями є ті, при яких дана нерівність перетворюється у рівність. Наприклад: