|
Asker Tasker |
|
|
|
Последний раз редактировалось Asker Tasker 13.06.2012, 02:44, всего редактировалось 1 раз.
Доброго времени суток!
Ищу доказательства единственности представления булевых функций в виде СДНФ (СКНФ). Подскажите, пожалуйста, где такие могут водиться? В интернете пока не нашёл. Может, плохо искал, но пока не нашёл.
Возможно, учебник по мат. логике кто-нибудь посоветует хороший? Хочется чего-то ёмкого, но простым языком написанного, а в списки книг в нете огромны - и не понятно, с чего начинать и что вообще выбирать.
Заранее спасибо.
|
|
|
|
 |
|
Asker Tasker |
|
|
Неужели ни у кого нет идей 
|
|
|
|
|
|
Joker_vD |
|
|
|
Ерусалимский Я.М. "Дискретная математика", глава 1.4 "Нормальные формы. СДНФ. СКНФ. Понятие о показателе степени. Показательные уравнения". Довольно милая брошюрка.
|
|
|
|
|
