СКНФ булевой функции (теоретические вопросы)

[rar]

Есть такой теоретический вопрос к экзамену: СКНФ булевой функции, её существование и единственность. Определение СКНФ у меня есть. А как можно ответить на вопрос о её существовании и единственности? Аналогично и для СДНФ. Помогите советами или ссылками на материалы.

[Xaositect]

Вроде бы из определения ясно, что СКНФ определяется однозначно. Насчет существования - отдельно надо рассмотреть случай $f=1$. Для $1$ СКНФ не существует.
Есть учебник Яблонского: Яблонский С.В. — Введение в дискретную математику. Я, правда, не помню, насколько подробно там этот вопрос освещается. Скорее всего, там рассматривается СДНФ, а на СКНФ результаты переносятся по двойственности

[rar]

Спасибо. Книга Яблонского у меня есть - там посмотрю.

-- Пт июн 12, 2009 17:59:58 --

А что вы можете сказать на такой вопрос: что такое нормальная форма?