Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
Данная работа посвящена изучению одного из представлений булевой функции, а именно упорядоченной бинарной диаграмме решений (УБДР). Булева алгебра появилась в XIX в., но и по сей день является востребованной. Большинство логиков того времени либо игнорировали, либо резко критиковали систему Буля, но ее возможности оказались настолько велики, что она не могла долго оставаться без внимания. Это первым из ученых осознал американский логик Чарлз Сандерс Пирс и применил теорию для описания электрических переключательных схем. А еще несколько десятилетий спустя, уже в ХХ столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера. Но данные представления перестали удовлетворять выше изложенным требованиям в связи со сложностью самих булевых функций. Вторая глава посвящена непосредственно самим УБДР и состоит из трёх параграфов: в первом параграфе вводится понятие бинарных диаграммах решений, указывается влияние порядка переменных на размер БДР на основании чего вводится понятие УБДР, во втором параграфе рассматриваются операции на УБДР, а в третьем изучается проблема временных и рабочих характеристик УБДР. Булева функция является одним из основных объектов дискретной математики, в особенности тех её разделов, которые входят в математическую логику и математическую кибернетику. При решении различных задач, связанных с булевыми функциями, существенным моментом является способ задания ( или представления) булевой функции. Константа 0 (1) называется пустой ДНФ (КНФ) Существуют также графические методы представления булевых функций в виде графов. 1.2 Деревья и их свойства Связанный ациклический граф называется деревом. Если Т - дерево и и - его конечная вершина, то граф - дерево.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
