СДНФ у любой булевой функции существует и единственна, и результат не должен зависеть от способа нахождения. (Если функция тождественно нулевая, то дизъюнкция является пустой.) Проще всего действовать через таблицу истинности -- при другом способе легко запутаться. отвечен 22 Сен '14 17:03 falcao Спасибо!!!
(22 Сен '14 17:04)
Dashka64
Добавлю ещё одну вещь к сказанному выше. Буква "С" в начале указывает на "совершенность", то есть тут имеет место единственность: от этой формы легко перейти к таблице, то есть однозначно восстановить функцию, и наоборот. Если бы речь шла просто о ДНФ, то таких форм имеется много. Они совпадать в общем случае не должны.
(22 Сен '14 17:11)
falcao
|