ВУЗ:
Составители:
Рубрика:
35
Определим покрытия:
(a ∨ g) (e ∨ g) (a ∨ d ∨ g) = (a ∨ g) (a ∨ g ∨ d) (e ∨ g) =
= (a ∨ g) (e ∨ g) = (g ∨ a) (g ∨ e) = g ∨ ae.
Покрытия {a, e} и {g} определяют полученный ранее максимальный
единичный интервал I
max, 1
= 0 – – – 0 – – и новый максимальный интер-
вал I
max, 3
= – – – – – 1 –, которому соответствует простая импликанта
6
x
.
Дизъюнкция простых импликант даёт сокращённую ДНФ булевой
функции, которая становится теперь полностью определённой:
f
s
(x
1
, x
2
, ..., x
7
) =
64251
xxxxx ∨∨
.
Заметим, что единичная область функции f
s
содержит единичную
область рассматриваемой слабоопределённой функции f, а нулевая об-
ласть функции f
s
− нулевую область функции f.
Этим заканчивается первый этап минимизации слабоопределённой
булевой функции.
На втором этапе получают тупиковые ДНФ этой функции и выби-
рают среди них минимальную ДНФ.
Тупиковой ДНФ слабоопределённой булевой функции называется
ДНФ, не задающая эту функцию с точностью до неопределённой области
при вычеркивании хотя бы одного первичного терма. Тупиковые ДНФ
булевой функции получают в результате покрытия столбцов строками
импликантной таблицы, каждой строке которой соответствует макси-
мальный единичный интервал, а столбцу – единичный интервал. При
этом в ячейке на пересечении i-й строки и j-го столбца находится едини-
ца, если j-й единичный интервал содержится в i-м максимальном единич-
ном интервале, и находится ноль в противном случае.
Таблица 11 представляет импликантную таблицу для рассматривае-
мого примера слабоопределённой булевой функции.
Определим покрытия столбцов строками этой таблицы:
a b (a ∨ c) = a (a ∨ c) b = a b.
Таблица 11
Максимальные
единичные интервалы
Единичные интервалы
0 – 0 – 0 – 0 11 – 0 – 01 0 – – 001 –
a
0 – – – 0 – – 1 0 1
b
– 1 – 0 – – – 0 1 0
c
– – – – – 1 – 0 0 1
Страницы
- « первая
- ‹ предыдущая
- …
- 33
- 34
- 35
- 36
- 37
- …
- следующая ›
- последняя »
