Математическая энциклопедия:
Представляющая заданную булеву функцию дизъюнктивная нормальная форма (д. н. ф.), к-рую нельзя упростить ни вычеркиванием буквы из нек-рой конъюнкции, ни удалением какой-либо конъюнкции. Минимальная д. н. ф. получается из сокращенной д. н. ф. путем удаления нек-рых конъюнкций; этот неоднозначный, ветвящийся процесс может привести лв тупик
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020