Составители:
101
Пример 2.6 (Пр2.6)
Рассматривается переключательная функция 3-х переменных
() ( ) ( )
(
)
132321321
,, xxxxxxxxxfxf
⊕
→∨== на предмет вычисления
частных производных Селлерса 1-го порядка по всем переменным и
оценки их веса. Для вычисления производной
i
xf
∂
∂
используется 4-й
способ (см. выше способы вычисления ЧПС). Результаты вычисления
сведены в две таблицы: таблица 2.14 представляет собой таблицу ис-
тинности, а таблица 2.15 – иллюстрирует 4-й способ вычисления ЧПС.
Из таблицы 2.15 нетрудно видеть, что все ЧПС
3,2,1i,
x
f
i
=
∂
∂
, при-
нимают единичные значения на 4-х переменных. Таким образом, все
веса
3,2,1i,
x
f
P
i
=
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
всех ЧПС характеризуются одной величиной
4=
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
i
x
f
P
. Иначе говоря, все переменные в БФ
(
)
321
,, xxxf обладают
равной значимостью. ■
Пример 2.7 (Пр2.7)
Рассматривается процедура контроля булевого описаний НДДС в
составе:
–– БФ возбуждения информационных входов
D-триггеров в
виде
()
(
)
2121211
xxuxxxxu
⊕
=
∨=
µ
,
212
xxu
=
µ
;
–– БФ формирования выхода НДДС в форме
21
xxy
=
.
Выполняем алгоритм
2.10 с п.2.
2.
Контроль факта избыточности переменных булевого описаний
БФ, задающих функции
µ
возбуждения информационных вхо-
дов триггеров, на кодовых переходах дает
{}
2xuP
x
P
2
1
1
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
µ
;
{}
2xuP
x
P
1
2
1
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
µ
;
{}
2xxP
u
P
21
1
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
µ
;
{}
2xuP
x
P
2
1
2
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
µ
;
{}
2xuP
x
P
1
2
2
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
µ
;
{}
2xxP
u
P
21
2
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
µ
,
Страницы
- « первая
- ‹ предыдущая
- …
- 164
- 165
- 166
- 167
- 168
- …
- следующая ›
- последняя »
