<<
>>

Геометрическая интерпретация

Каждой булевой функции в булевом кубе можно поставить в соответствие множество его вершин, называемое носителем ,

.

Очевидно, множество однозначно определяет функцию .

Если функция реализуется элементарной конъюнкцией , то соответствующее множество называется интервалом -го ранга ( есть -мерная грань ). Очевидно, что если , то . Для функции , реализуемой д. н. ф., справедливо равенство . Если ранг , то число называется рангом покрытия.

Примеры. Носитель функции показан на рис. 1.2.

Для конъюнкции носитель – точка ( определяют нулевую грань) (см. рис. 1.3а).

Для конъюнкции ранг равен 2, поэтому носитель – ребро (см. рис. 1.3б). Для конъюнкции

ранг равен 1; носитель – плоскость ()(см. рис. 1.3в).

Свойства носителя.

1. Если , то:

а) , ; б) .

3. Для функции, представленной д. н. ф. , .

Замечание. Проблема построения д. н. ф. сводится к покрытию носителя гранями.

Пример. Носитель функции покрывается

а) (рис. 1.4а); б) (рис. 1.4б); в) (рис. 1.4в); г) (рис. 1.4г).

<< | >>
Источник: Дискретная математика. Лекции. 2016

Еще по теме Геометрическая интерпретация:

  1. 1.2.2 Геометрическая интерпретация.
  2. 4.3 Геометрическая интерпретация навешивания кванторов.
  3. 10.1. Геометрическая интерпретация задач нелинейного программирования
  4. Геометрическая интерпретация решений дифференциальных уравнений первого порядка.
  5. § 64. Постановка, различные формы записи и геометрическая интерпретация задач линейногопрограммирования
  6. 3.3.4. Интерпретация и обсуждение результатов I. Интерпретация результатов проверки гипотезы1.  
  7. Интерпретация результатов исследования, требования к интерпретации и представлению результатов исследования.
  8. Геометрический образ и функциональная форма
  9. Геометрически нелинейные математические модели стержневых систем
  10. §4. Геометрические вероятности
  11. Геометрический подход
  12. Задание геометрической конфигурации
  13. Геометрическая символика чисел
  14. Физический и геометрический смысл производной.
  15. 3) Методика «Тест геометрических фигур».