Математическая энциклопедия - тупиковая дизъюнктивная нормальная форма

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985