Студопедия

Главная страница Случайная лекция


Мы поможем в написании ваших работ!

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика



Мы поможем в написании ваших работ!




ГЕОМЕТРИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ ДНФ

Читайте также:
  1. Геометрическая вероятность
  2. Геометрическая изомерия.
  3. Геометрическая интерпретация задачи ЛП.
  4. Инвестиционная интерпретация человеческого капитала.
  5. Интерпретация атомных формул
  6. Интерпретация в логике предикатов
  7. Интерпретация возрастных изменений чувства времени с позиций установочно-событийного подхода
  8. Интерпретация и операционализация понятий
  9. Интерпретация результатов оценки ПР-программы

Рассмотрим специальную интерпретацию соотношений эквивалентности 1 - 3, которая позволяет лучше понять, почему проводимые с помощью этих правил преобразования ДНФ приводят к получению минимальной ДНФ.

 

В дальнейшем будем рассматривать булевские функции для фиксированного множества обозначений переменных
{x1, . . ., x n}.

Двоичные числовые наборы длины n поставим в соответствие точкам n-мерного евклидова пространства. Тогда все n-элементные двоичные наборы образуют множество вершин единичного n-мерного куба. Для n = 3 такой куб имеет вид, приведенный на рис. 4.4.

 

x3011 111

 

001 101

x2

 

010110

x1

000 100

Рис 4.4

Для произвольной б.ф. f обозначим как Nf - множество вершин единичного n-мерного куба, в которых f принимает значение 1.

Справедливы следующие свойства таких множеств для произвольных функций f1 и f2:

 

1) ;

2) .

 

Элементарная конъюнкция K = , имеющая рангr, принимает значение 1на 2 n-r наборах значений переменных x1, . . . , xn.

Поэтому множество NK, состоящее из вершин единичного n-мерного куба, в которых конъюнкция K равна 1, представляет собой(n – r)-мерную грань куба. Вершины такой грани соответствуют всем двоичным наборам, в которых переменные принимают фиксированные значения , а остальные n - r переменных - произвольные значения. Заметим, что такая грань содержит 2 n-r вершин.

 

Например, для n = 4 и конъюнкции K = множество NK равно{(0001), (0011), (1001), (1011)}.

 

Для произвольной ДНФ D = справедливо равенство

N D = .

Это означает, что грани, на которых конъюнкции, входящие в ДНФ, равны 1, образуют покрытие множества ND.

 

Справедливо и обратное утверждение: всякая (n – r)- мерная грань единичного n-мерного куба представляет собой множество точек, на которых обращается в 1 некоторая конъюнкция рангаr .

Действительно, если некоторая грань единичного n-мерного куба состоит из вершин, в которых значения переменных фиксированы и соответственно равны , а остальные переменные принимают произвольные значения, то соответствующая такой грани конъюнкция имеет вид: .

 

Например, для n = 5 грань N, состоящая из вершин, в которых переменные x1, x2 и x4 принимают фиксированные значения 1, 0 и 0, а значения остальных переменных произвольные, соответствует конъюнкции: K = .

 

Следовательно, всякая ДНФ представляющая б.ф. f, порождает покрытие множества N f , и наоборот, всякое покрытие множества Nf гранями единичного n-мерного куба порождает ДНФ, представляющую некоторую б.ф. f.

Заметим, что длина конъюнкции и размерность грани находятся в обратной зависимости. То есть, чем короче запись конъюнкции (или чем меньше ее ранг), тем больше размерность соответствующей грани.

Поэтому, чем больше размерности граней, покрывающих множество Nf, тем меньше сложность ДНФ, соответствующей такому покрытию.

Если заданы две конъюнкции K1 и K2 так, что запись K1 является частью записи K2, то для граней и справедливо включение Í Справедливо и обратное соотношение: если Í то запись конъюнкцииK1 является частью конъюнкции записи K2.

Нетрудно видеть, что элементарные конъюнкции, входящие в состав минимальной ДНФ для функции f, должны соответствовать таким граням единичного n-мерного куба, которые содержатся в Nf , но не могут быть расширены.

 


<== предыдущая страница | следующая страница ==>
ОПРЕДЕЛЕНИЕ. ДНФ D, представляющая функцию f, называется минимальной ДНФ для этой функции, если L(D) = min(L(D*)) | ОПРЕДЕЛЕНИЕ. Конъюнкция K называется максимальной для функции f, если

Дата добавления: 2014-11-15; просмотров: 462; Нарушение авторских прав




Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.003 сек.