Минимизация неполностью определенных переключательных функций
Полагая, что пустые клетки заполнены нулями, найдем СДНФ эквивалентной функции j0(x1, x2, x3, x4):
.
СНДФ функции j1(x1, x2, …, xn), полученная после заполнения пустых клеток таблицы единицами, будет
Выполнив операции склеивания и поглощения, пол
учим сокращенную ДНФ функции j1 (x1, x2, x3, x4), в которую войдут все ее простые импликанты:
Составим импликантную матрицу, включив в нее конституенты единицы функции j0(x1, x2, x3, x4) и импликанты функции j1(x1, x2, x3, x4).
Импли- канты |
Конституенты | ||||
|
|
|
|
x1 x2 x3 x4 | |
x1 x2 |
x |
x | |||
|
x | ||||
|
x |
x | |||
|
x |
x | |||
|
x | ||||
|
x |
Импликанта x1x2 обязательно должна входить в мин ДНФ, т.к. только она поглощает конституенту x1x2x3x4. Импликанты x1x2 совместно накрывают все конституенты, кроме ; последняя может быть накрыта импликантами или . Поэтому минимальные ДНФ функции f(x1, x2, x3, x4) будут:
Пример. Найти минимальную ДНФ функции f(x1, x2, x3, x4), эквивалентая функция j0(x1, x2, x3, x4) которой имеет вид:
а комбинации являются запрещенными.
Эквивалентную функцию j1(x1, x2, …, xn) можно получить, добавив к СДНФ функции j1(x1, x2, …, xn) запрещенные комбинации переменных:
Проведя операции склеивания и поглощения, найдем простые импликанты функции j1(x1, x2, x3, x4); x1x2x3, x1x3x4, , . Импликантная матрица функции f(x1, x2, x3, x4) имеет вид.
Импли- канты |
Конституенты | ||||
|
|
|
|
| |
|
x |
x | |||
|
х |
х |
х | ||
x1x2x3 |
х | ||||
x1x3x4 |
Функция f(x1, x2, x3, x4) имеет единственную минимальную ДНФ
В нижней строке импликантной матрицы крестики отсутствуют и, следовательно, импликанта x1x3x4 не поглощает ни одну из конституент единицы функции j0(x1, x2, x3, x4). Это связано с тем, что данная импликанта образовалась в результате склеивания конституент функции j1(x1, x2, x3, x4), которые в функцию j0(x1, x2, x3, x4) не входят.
Другие рефераты на тему «Математика»:
- Теорема Бернулли. Закон распределения Пуассона. Критерий Колмогорова
- Нестандартные методы решения тригонометрических уравнений - графический и функциональный
- Нестандартные задачи по математике
- Математический обзор
- Методика формирования умений решать тригонометрические уравнения и неравенства в курсе алгебры и начал анализа
Поиск рефератов
Последние рефераты раздела
- Анализ надёжности и резервирование технической системы
- Алгоритм решения Диофантовых уравнений
- Алгебраическое доказательство теоремы Пифагора
- Алгоритм муравья
- Векторная алгебра и аналитическая геометрия
- Зарождение и создание теории действительного числа
- Вероятностные процессы и математическая статистика в автоматизированных системах