О длине тупиковой дизъюнктивной нормальной формы

Приводится пример функции алгебры логики от п переменных, у которой имеется тупиковая дизъюнктивная нормальная форма, содержащая асимптотически $2^n$ членов. Библ. 2 назв.