Доказательство

.

Если , то

Из этой теоремы следует, что вместо ДНФ, реализующих булевых функций f, можно рассматривать покрытия множества N_f объединениями соответствующих интервалов. Интервал называется допустимым для f, если В этом случае ЭК А называется допустимой для f. Ясно, что ЭК, не являющаяся допустимой, не может войти в ДНФ, реализующую f.

Пример.

Допустимыми для f = (01111110) являются интервалы

Поэтому, любая ДНФ, реализующая f, может быть составлена из ЭК, входящих в множество