ВУЗ:
Составители:
Рубрика:
33
рядах записывают символ «−». Максимальные единичные интервалы в
слабоопределённых функциях состоят из вершин единичной и недопре-
делённой областей.
Для иллюстрации сказанного в предыдущем абзаце рассмотрим сла-
боопределённую булеву функцию от трёх переменных:
f (x
1
, x
2
, x
3
) =
,100,011интервалахна0
;110,000интервалахна1
представление которой в виде гиперкуба будет выглядеть как это показа-
но на рис. 16.
Таблицу различий, построенную для первого единичного интервала
данной трёхместной функции, представляет табл. 7. Для удобства обра-
щения к строкам они идентифицированы буквами a, b и c. Единица, на-
пример в ячейке (1, 2) этой таблицы, говорит о том, что если в единичном
интервале 000 оставить только первый разряд, то в полученной единич-
ной грани 0 − − не будет содержаться вершина 100.
Покрытия {a, b} и {a, c} столбцов строками порождают максималь-
ные единичные интервалы 00 − и 0 − 0. При этом максимальный интервал
00− состоит из вершины 000 единичной области и вершины 001 недооп-
ределённой области. Аналогично максимальный интервал 0 − 0 включает
единичную вершину 000 и недоопределённую вершину 010.
Получим максимальные единичные ин-
тервалы рассматриваемой в качестве примера
семиместной булевой функции. Таблица 8
представляет таблицу различий, соответст-
вующую единичному интервалу 0 − 0 − 0 − 0.
Найдём в этой таблице все покрытия
столбцов строками:
(a ∨ h) ea = a (a ∨ h) e = ae.
В данном случае имеем одно покрытие
{a, e}, которое соответствуюет максимально-
му единичному интервалу I
max, 1
= 0 – – – 0 – –
и простой импликанте
51
xx
.
Таблица 7
Единичный интервал
Нулевые интервалы
011 100
a 0 0 1
b 0 1 0
c 0 1 0
111
011
1
01
110
0
−−
010
100
000
Рис. 16
0
1
0
1
001
00
−
0
−0
Страницы
- « первая
- ‹ предыдущая
- …
- 31
- 32
- 33
- 34
- 35
- …
- следующая ›
- последняя »
