Так сколько же на самом деле форм представления булевых функций? Я запутался в этом вопросе. В одном источнике их четыре и это: таблицы истинности, аналитическая запись, семантическое дерево и бинарные диаграммы решений. В других же источниках их шесть, и как я понимаю семантические деревья и БДР объединяют в один тип - графическая форма представления, при этом появляются: схемы, словесное описание. задан 25 Май '13 21:01 Error |
Мне кажется, к этому вопросу не надо подходить с этой точки зрения. Это же не догматическое богословие? Форм представления б.ф. столько, сколько их ввёл автор. То есть тут никакого "канонического" ответа нет и быть не может. Ту же "аналитическую запись" можно подразделить на записи в виде СДНФ или СКНФ, причём можно эти выражения как-то минимизировать. Можно записывать функцию полиномом Жегалкина -- это хорошо тем, что имеется однозначность. Можно представлять также в виде релейно-контактной схемы, и там тоже важно, из каких элементов всё состоит. А завтра кто-то предложит что-нибудь ещё. отвечен 25 Май '13 22:24 falcao |