Меню

Совершенная дизъюнктивная нормальная форма (СДНФ) записи булевых выражений

СДНФ является одной из аналитических форм представления переключательных функций. Булевы выражения простых логических функций можно записать по их словесному описанию. В общем случае для получения аналитической формы (булевого выражения) используют таблицы истинности.

Предположим, логическая функция трех переменных задана таблицей истинности (таблица 3.4).

Таблица 3.4

№набора

С

В

А

F

0

0

0

0

0

1

0

0

1

1

2

0

1

0

0

3

0

1

1

0

4

1

0

0

1

5

1

0

1

1

6

1

1

0

1

7

1

1

1

0

Эта функция имеет четыре конституенты единицы К1, К4, К5 и К6

(коституента единицы – это единичное значение ПФ на одном конкретном наборе. Всего для ПФ трех переменных может быть восемь конституент единицы, если функция принимает единичное значение на всех наборах). Конституента единицы записывается в виде конъюнкции. Для нашего примера ; .

Булево выражение ПФ в СДНФ представляет сумму конституент единицы:

.

(3.2)

Поскольку конституенты единицы записываются в виде конъюнкций, то СДНФ представляет сумму конъюнкций, каждая из которых содержит все переменные в прямом или инверсном виде не более одного раза. Очевидно, что логическая функция имеет единственное булево выражение в СДНФ, что следует из методики его получения.

СДНФ называется дизъюнктивной (состоит из суммы конъюнкций), совершенной (все конъюнкции содержат по одному разу каждую переменную в прямом или инверсном виде) и нормальной (двухуровневой) – для ее реализации требуются логические элементы двух видов: конъюнкторы и дизъюнкторы, при этом предполагается, что исходные переменные поступают в прямом и инверсном виде.

Другие статьи:

Особенности представления информации
Телекоммуникации являются одной из наиболее быстро развивающихся областей современной науки и техники. Жизнь современного общества уже невозможно представить без тех достижений, которые были сделаны в этой отрасли за немногим бол ...

Синтез электронных схем на компонентном уровне и компенсация влияния паразитных емкостей полупроводниковых компонентов
Создание систем на кристалле связано с решением целого комплекса научных и технических задач. Единство аналоговых и цифровых модулей этих систем предопределяет разработку экономичных аналоговых и аналого-цифровых принципиальн ...

Коллинеарная антенная решетка с последовательным возбуждением
В данной курсовой работе необходимо рассчитать коллинеарную антенную решетку с последовательным возбуждением, для этого мы будем использовать модель антенной решетки Маркони-Франклина. В качестве излучателей будем использоват ...

(C) 2020 | www.techniformula.ru