ТУПИКОВАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА

- представляющая заданную булеву функцию дизъюнктивная нормальная форма (д. н. ф.), к-рую нельзя упростить ни вычеркиванием буквы из нек-рой конъюнкции, ни удалением какой-либо конъюнкции. Минимальная д. н. ф. получается из сокращенной д. н. ф. путем удаления нек-рых конъюнкций; этот неоднозначный, ветвящийся процесс может привести лв тупик