Максимальный интервал J – интервал, для которого не существует никакого другого интервала J’с рангом меньше, чем у J, и такого, что выполняется следующее соотношение

Например:

Пусть есть функция, которая равна 1 в отмеченных точках.

Сокращенная ДНФ (СДНФ) – ДНФ, которая соответствует покрытию множества Т₁ всеми максимальными интервалами.

Минимальная ДНФ получается из СДНФ путем выбрасывания из покрытия множества Т₁ максимальными интервалами некоторых “лишних” интервалов.