сокращенная днф

[jhendrix]

подскажите пжл. где можно найти доказательство теоремы о длине сокращенной днф.

[Xaositect]

Которой теоремы?
В лекциях Ложкина (http://lib.mexmat.ru/books/11134) есть доказательство того, что макс. длина не меньше $c_1\frac{3^n}{n}$ и не больше $c_2\frac{3^n}{\sqrt n}$. Но оно там кратко.