Единственность совершенных форм

[Asker Tasker]

Доброго времени суток!
Ищу доказательства единственности представления булевых функций в виде СДНФ (СКНФ). Подскажите, пожалуйста, где такие могут водиться? В интернете пока не нашёл. Может, плохо искал, но пока не нашёл.
Возможно, учебник по мат. логике кто-нибудь посоветует хороший? Хочется чего-то ёмкого, но простым языком написанного, а в списки книг в нете огромны - и не понятно, с чего начинать и что вообще выбирать.
Заранее спасибо.

[Asker Tasker]

Неужели ни у кого нет идей

[Joker_vD]

Ерусалимский Я.М. "Дискретная математика", глава 1.4 "Нормальные формы. СДНФ. СКНФ. Понятие о показателе степени. Показательные уравнения". Довольно милая брошюрка.

[Asker Tasker]

О!
Спасибо большое!