Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Схемы из функциональных элементов

Схемы из функциональных элементов


Представлению булевых функций формулами можно придать следующий "инженерно-конструктивный" смысл. Будем рассматривать формулу \Phi(x_1,\ldots,x_n) над каким-то произвольно фиксированным множеством F как "черный ящик", некое устройство, на вход которого подаются всевозможные наборы значений переменных, а на выходе появляются соответствующие этим наборам значения функции f, представляемой формулой \Phi (рис. 6.22).


Инженерная схема представления булевой функции

Чтобы понять, как устроен "черный ящик", мы должны разобрать процесс построения формулы из подформул. Добираясь до "базисных" подформул, т.е. элементов множества F, мы приходим к "кирпичикам", структурным элементам, из которых собран "черный ящик", вычисляющий функцию f. Каждая функция "базиса" F вычисляется соответствующим "узлом", который рассматривается как мельчайшая структурная единица нашего "черного ящика", и его внутренняя структура уже не анализируется.


Пример 6.22. Выберем в качестве множества F стандартный базис. Тогда формула над стандартным базисом, представляющая функцию \sim (эквивалентность), строится следующим образом:


x_1\sim x_2=\overline{x_1 \overline{x}_2\lor \overline{x}_1x_2}.
(6.21)

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


Процесс построения формулы из элементов стандартного базиса

Переменное x_1 (точнее, значение этого переменного) подается на вход структурного элемента, называемого инвертором (рис. 6.24, а) и вычисляющего отрицание. Снимаемое с выхода инвертора отрицание x_1, т.е. функция \overline{x_1}, подается на один из входов конъюнктора (рис. 6.24,5), на второй вход которого подается переменное x_2. На выходе конъюнктора появляется функция \overline{x}_1x_2. Аналогично прослеживается вычисление функции x_1\overline{x}_2. Обе эти функции подаются на входы дизъюнктора (рис. 6.24, в), с выхода которого снимается функция x_1 \overline{x}_2\lor \overline{x}_1x_2 (это не что иное, как сумма по модулю 2: x_1\oplus x_2). И наконец, эта функция подается на вход инвертора, на выходе которого уже получается функция \sim (эквивалентность).


Инвертор, конъюнктор и дизъюнктор



Таким образом, мы приходим к идее "схемы" — математической модели вычислителя булевой функции, представленной некоторой формулой, собранного из структурных элементов, каждый из которых вычисляет одну из "базисных" булевых функций. В общем случае "схема" вычисляет булев оператор, причем каждая координатная функция этого оператора снимается с одного из выходов схемы.


Математически "схема" определяется как ориентированный граф специального вида, в котором и вершины, и дуги снабжены некоторыми метками.


Введем обозначение: если F — какое-то множество булевых функций, то через F^{(n)} обозначаем подмножество F, состоящее из всех функций от n переменных (n\geqslant0).


Определение 6.14. Пусть фиксированы множества: F (булевых функций) и X (булевых переменных).


Схемой из функциональных элементов над базисом F\cup X (СФЭ), или просто схемой над базисом F\cup X, также (F,X)-схемой, называют бесконтурный ориентированный граф (т.е. сеть), каждая вершина которого помечена одним из элементов множества F\cup X так, что выполняются следующие требования:


1) каждый вход сети помечен либо некоторым переменным из X, либо некоторой константой из F^{(0)};


2) если вершина v сети помечена функцией f от n переменных (т.е. f\in F^{(n)}), то ее полустепень захода равна n, причем на множестве дуг, заходящих в вершину {v}, задана (взаимно однозначная) нумерация, при которой каждая дуга получает номер от 1 до n.


При изображении схем входы обозначаются кружочками, а вершины, не являющиеся входами, — треугольниками, внутри которых записано обозначение функции, помечающей данную вершину. Выходы отмечаются "выходными" стрелками. На рис. 6.25 приведена СФЭ над базисом \{\mid,x,y\}.


СФЭ над базисом

Если базис подразумевается, то мы будем говорить просто "схема". Кроме того, если множество переменных фиксировано "раз и навсегда" и при рассмотрении различных схем мы меняем только множество функций F, то, как это мы делали, вводя понятия формулы и суперпозиции над заданным базисом, будем говорить о СФЭ над базисом F, полагая каждый раз, что подразумевается однажды фиксированное множество переменных X, которое (если это не вредит точности) не упоминается.


Определим теперь по индукции понятие булевой функции, вычисляемой вершиной схемы.


Определение 6.15. Пусть задана СФЭ S над базисом F\cup X, множество вершин которой есть V.


1. Принимается, что каждый вход СФЭ вычисляет булеву функцию, которой он помечен (т.е. некоторое переменное или константу).


2. Если вершина v\in V помечена функцией f\in F^{(n)} заходящая в нее дуга с номером i~(1\leqslant i\leqslant n) исходит из вершины v_i\in V, которая вычисляет функцию g_i, то вершина v вычисляет суперпозицию f(g_1,\ldots,g_n).


Таким образом, если каждая вершина СФЭ над F вычисляет некоторую функцию, то порядок, в котором перечисляются функции g_1,\ldots,g_n, подставляемые на места переменных функции f, в общем случае существен. Естественно назвать булеву функцию f от n переменных коммутативной, если она сохраняет значение при произвольной перестановке ее переменных. В этом случае мы можем не заботиться о нумерации дуг, заходящих в вершину схемы, помеченную такой функцией.


Пример 6.23. Рассмотрим СФЭ на рис. 6.25. Вершины v_1 и v_2 — входы СФЭ. Эти вершины вычисляют соответственно функции x и y. Тогда вершина v_3, равно как и вершина v_4, согласно определению 6.15, вычисляет функцию x|y (штрих Шеффера), а вершина v_5 (выход сети) — функцию (x|y)|(x|y), которая, как известно, равна конъюнкции x\cdot y.


СФЭ, изображенная на рис. 6.26, имеет два выхода, вычисляющие функции (x|x)|(y|y)=x\lor y и (x|y)|(x|y)=x\cdot y.


Определение 6.16. Булева функция, вычисляемая СФЭ над базисом F\cup X, — это функция, вычисляемая каким-либо из ее выходов.


Таким образом, СФЭ вычисляет ровно столько булевых функций, сколько имеет выходов. СФЭ на рис. 6.25 вычисляет одну функцию, а СФЭ на рис. 6.26 — две.


Пример СФЭ

В общем случае, если \{x_1,\ldots,x_n\} — множество всех переменных, которые служат метками входов схемы \mathcal{S} над базисом F\cup X, имеющей га выходов, СФЭ \mathcal{S} определяет отображение булева куба \mathbb{B}^n в булев куб \mathbb{B}^m, т.е. булев оператор.


Замечание 6.10. В некоторых случаях функцию, вычисляемую данной СФЭ, определяют несколько иначе, полагая, что это функция, вычисляемая любой вершиной из подмножества выделенных вершин СФЭ. В частности, это могут быть и выходы. В любом случае договоримся из выделенных (в только что указанном смысле) вершин схемы проводить "выходную" стрелку.


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


Можно доказать и обратное: по любому булеву оператору может быть построена СФЭ над базисом F, где F — полное множество, вычисляющая данный оператор.


Пример 6.24. Зададим таблицей булев оператор, отображающий \mathbb{B}^3 в \mathbb{B}^2 (табл. 6.9).


\begin{aligned} \mathit{Table~6.9}~&\\ \begin{array}{|c|c|c||c|c|} \hline x_1& x_2& x_3& y_1& y_2\\\hline 0&0&0&0&0\\ 0&0&1&0&1\\ 0&1&0&0&1\\ 0&1&1&1&0\\ 1&0&0&0&1\\ 1&0&1 &1&0\\ 1&1&0&1&0\\ 1&1&1&1&1\\\hline \end{array}& \end{aligned}

Из таблицы легко увидеть, что y_1=x_1x_2\lor x_1x_3\lor x_2x_3,~ y_2=x_1\oplus x_2\oplus x_3 (функция y_1 есть не что иное, как мажоритарная функция от переменных x_1,\,x_2,\,x_3, и выше написана минимальная ДНФ для нее, см. пример 6.12). Представим функцию y_1 в базисе Жегалкина. Используя законы де Моргана, получим


x_1x_2\lor x_1x_3\lor x_2x_3= \overline{\overline{x_1x_2}\cdot \overline{x_1x_2}\cdot \overline{x_2x_3}}.

Учитывая, что \overline{x}=x\oplus1, будем иметь


\begin{aligned}\overline{\overline{x_1x_2}\cdot \overline{x_1x_2}\cdot \overline{x_2x_3}}&= (x_1x_2\oplus1) (x_1x_3\oplus1) (x_2x_3\oplus1)\oplus1=\\[2pt] &=x_1x_2x_3\oplus x_1x_2x_3\oplus x_1x_2x_3\oplus x_1x_2\oplus x_1x_2x_3\oplus x_1x_3\oplus x_2x_3\oplus1\oplus1=\\[2pt] &= x_1x_2\oplus x_1x_3\oplus x_2x_3 \end{aligned}

(напомним, что сумма по модулю 2 любого четного числа равных слагаемых равна 0). Итак,
y_1= x_1x_2\oplus x_1x_3\oplus x_2x_3= x_1x_2\oplus x_3(x_1\oplus x_2).

СФЭ для булева оператора, заданного в табл. 6.9, над базисом Жегалкина приведена на рис. 6.27.
При проектировании СФЭ полезно иметь в виду числовой параметр, называемый ее сложностью.
Сложность СФЭ — это число ее вершин, не являющихся входами.
Приведенная на рис. 6.27 СФЭ над базисом Жегалкина имеет сложность 5.

СФЭ для булева оператора над базисом Жегалкина

Рассмотрим теперь СФЭ для того же оператора над стандартным базисом. По таблице (см. табл. 6.9) строим СДНФ для функции y_2:


y_2= \overline{x}_1\overline{x}_2x_3\lor \overline{x}_1x_2\overline{x}_3\lor x_1 \overline{x}_2\overline{x}_3\lor x_1x_2x_3\,.

Карта Карно для этой функции, изображенная на рис. 6.28, показывает, что ее нельзя минимизировать (точнее, записанная выше СДНФ и есть минимальная ДНФ для этой функции).


Таблицы булевых функций

Но можно пойти по другому пути. Мы можем рассматривать табл. 6.9 как таблицу, определяющую частичную булеву Функцию y_2=y_2(x_1,x_2,x_3,y_1). Минимизируя эту функцию по карте Карно*, изображенной на рис. 6.29, получаем


y_2=x_1x_2x_3\lor \overline{y}_1(x_1\lor x_2\lor x_3).

*На этой карте мы явно обозначили наборы, на которых функция принимает значение 0, проставив нули в соответствующих клетках. Тем самым мы хотим еще раз зафиксировать внимание на том, что не следует путать нули с прочерками: прочерк в клетке карты, задающей частичную функцию, означает, что на данном наборе значение функции не определено, т.е. не равно ни 0, ни 1.


СФЭ над стандартным базисом для рассматриваемого булева оператора приведена на рис. 6.30. Сложность этой СФЭ составляет 11. Заметим, что вершина, вычисляющая функцию y_1, не является выходом.


СФЭ над стандартным базисом для булева оператора

Булев оператор, рассмотренный в этом примере, вычисляет двухразрядную сумму (по модулю 2) трех одноразрядных слагаемых. Его можно считать также одноразрядным двоичным сумматором — функциональным блоком многоразрядного двоичного сумматора — для двух слагаемых. Тогда функция г/1 интерпретируется как "сигнал переноса" в старший разряд. На рис. 6.31 изображено "соединение" трех СФЭ (таких, как показано на рис. 6.30), с помощью которого вычисляется сумма двух трехразрядных двоичных чисел. На третий вход сумматора для младшего разряда подается константа 0, а "сигнал переноса" старшего разряда есть старший разряд суммы, которая в общем случае будет четырехразрядным числом.


Соединение трех СФЭ

Замечание 6.11. Если мы проектируем СФЭ над стандартным базисом и хотим минимизировать ее сложность, то нам необходимо прежде всего построить соответствующую минимальную ДНФ. В этом случае мы можем принять во внимание еще один критерий, по которому минимизируется сама ДНФ, — число отрицаний. Среди всех минимальных (в смысле определения 6.6) ДНФ следует отобрать те, в которых число вхождений переменных под знаком отрицания является наименьшим. С точки зрения сложности СФЭ, которая будет построена по минимальной ДНФ, это означает, что в ней минимизируется число "инверторов" — вершин СФЭ, помеченных функцией отрицания.


Булева функция, заданная картой Карно

Например, для функции, заданной картой Карно (рис. 6.32), к ядру, состоящему из простых импликант x_1x_2x_4 и \overline{x}_1x_3\overline{x}_4, следует добавить простую импликанту x_2x_3x_4, а не \overline{x_1}x_2x_3, поскольку она не содержит отрицаний.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved