Функций алгебры логики (фал)
жүктеу/скачать 260.5 Kb.
|
- Бұл бет үшін навигация:
- Ранг терма
|
§ 1.3. Аналитическое представление функций алгебры логики (ФАЛ) Рассмотрим фиксированный набор переменных , на котором задана ФАЛ. Так как любая переменная , то набор значений переменных представляет собой некоторое двоичное число. Номер набора – это произвольное двоичное число: Пусть имеется функция Функция Фi называется термом. Дизъюнктивный терм (макстерм) – терм, связывающий переменные, представленные в прямой или инверсной форме, знаком дизъюнкции. Например, Конъюнктивный терм (минтерм) – терм, связывающий переменные, представленные в прямой или инверсной форме, знаком конъюнкции. Например, Ранг терма r определяется количеством переменных, входящих в данный терм. Например, Теорема. Любая таблично заданная ФАЛ может быть представлена аналитическим способом в виде: где i – номера двоичных наборов, на котором функция равна 1; – знак дизъюнкции, объединяющий все термы Fi, равные 1. Пример: Записать в аналитическом виде функцию, заданную табл. 2. Таблица 2.
Решение:
Следствие. Любая таблично заданная ФАЛ может быть представлена в следующей аналитической форме: где Δ – знак операции V, . Теорема. Любая таблично заданная функция ФАЛ может быть задана в аналитической форме: где i – номера двоичных наборов, на котором функция равна 0; – знак конъюнкции, объединяющий все термы Фi, равные 0. Из таблицы 2: . Следствие. Любая таблично заданная функция может быть представлена в аналитической форме: . жүктеу/скачать 260.5 Kb. Достарыңызбен бөлісу:
|