Функций алгебры логики (фал)


Нормальная дизъюнктивная форма (НДФ



бет2/5
Дата05.10.2023
өлшемі260.5 Kb.
#479903
1   2   3   4   5
Методичка логические основы

Нормальная дизъюнктивная форма (НДФ) – объединение термов, включающее минтермы переменного ранга.
Нормальная конъюнктивная форма (НКФ) – объединение термов, включающее макстермы переменного ранга.
Совершенная нормальная дизъюнктивная форма (СНДФ) – ФАЛ, заданная в виде:

где
в
частности:

Совершенная конъюнктивная нормальная форма (СКНФ): .
Минимальная форма представления ФАЛформа представления ФАЛ, которая содержит минимальное количество термов и переменных в термах.
Пример: Представить функцию, заданную табл. 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).


Достарыңызбен бөлісу:
1   2   3   4   5




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет