Нормальная дизъюнктивная форма (НДФ) – объединение термов, включающее минтермы переменного ранга.
Нормальная конъюнктивная форма (НКФ) – объединение термов, включающее макстермы переменного ранга.
Совершенная нормальная дизъюнктивная форма (СНДФ) – ФАЛ, заданная в виде:
где
в частности:
Совершенная конъюнктивная нормальная форма (СКНФ): .
Минимальная форма представления ФАЛ – форма представления ФАЛ, которая содержит минимальное количество термов и переменных в термах.
Пример: Представить функцию, заданную табл. 3 в СНДФ, СКНФ.
Таблица 3.
-
f
|
0
|
0
|
0
|
1
|
1
|
0
|
1
|
0
|
|
0
|
0
|
0
|
0
|
1
|
1
|
1
|
1
|
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
|
0
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
Решение:
Совершенные нормальные формы содержат термы максимального ранга и дают однозначное представление функции.
Способы задания ФАЛ
1) Табличный.
2) Числовой (вместо полного перечисления термов используют номера наборов, для которых функция принимает единичное значение или нулевое).
Например: из таблицы 2 имеем:
3) Геометрический. Функцию от n-переменных интерпретируют как некоторую плоскость, заданную в системе координат х1, х2,…хn.
х1
х1х2
х2
х1х2
х2
х2
Рис.1. Геометрическое представление функций двух переменных.
Для функций трех переменных геометрическое представление выполняют в виде куба. Функция четырех переменных – функция, представленная в виде четырехмерного куба.
Каждый набор рассматривается как n-мерный вектор, определяющий точку n-мерного пространства. Поэтому, все множество наборов, на которых определена функция n переменных, представляется в виде вершин n-мерного куба.
Терм максимального ранга называется 0-кубом (точка) и обозначается .
Если два 0-куба из комплекса различаются по одной координате, то они образуют 1-куб (отрезок), который обозначается .
Если два 1-куба имеют общую независимую компоненту и различаются только по одной координате, то они образуют 2-куб (К2).
Достарыңызбен бөлісу: |