- •Введение………………………………………………………………………………………..1
- •1.Элементы функциональной полноты в классе двоичных функций.
- •1.1 Основные двоичные функции и их своства. Булевой функцией f(x1 … xn) называют функцию, аргументы которой принимают значения из множества , и значение функции также из множества {0;1}.
- •Бинарная операция ассоциативна, если тождественно выполняется: ;
- •1.2 Утверждение о числе функций от n переменных.
- •1.3 Представление функции в виде совершенной дизъюнктивной и совершенной конъюнктивной формах. Разложение функции по начальному множеству переменных.
- •1.4 Утверждение о представлении двоичной функции в виде полинома Жегалкина .
- •1.5 Основные замкнутые классы двоичных функций относительно суперпозиций функций.
- •X1 x2 X
- •I этап :
- •3 Случай :
- •II этап :
- •1); 2); 3); 4).
- •1) ; 2); 3);
- •4) ; 5);
- •1.7 Предполные классы двоичных функций.
- •Все полные системы для классов t0, t1, s, m, l в утверждениях выше являются базисами для этих систем.
- •2 .Минимизация днф заданной функции.
- •2.1 Геометрическая интерпретация двоичных функций.
- •2.2 Утверждение о максимальных интервалах и тупиковых покрытиях.
- •1 Этап:
- •2 Этап:
- •2.3 Метод поиска всех максимальных интервалов заданной функции с помощью операции склеивания и сокращения.
- •2.4 Метод нахождения всех тупиковых покрытий максимальными интервалами.
- •Достаточно ясна связь задачи нахождения тупиковых покрытий и минимизации функции покрытия.
- •2.5 Метод построения сокращённой д.Н.Ф. С помощью обобщенного склеивания
- •3. Элементы математической логики. Исчисление высказываний, его полнота.
- •Семь теорем.
- •2) . Запишем аксиому а3 в следующем виде: вместоВ подставим формулу а, а вместо а подставим
- •Доказательство полноты исчисления высказываний.
- •4 Графы
- •4.1 Неориентированные, ориентированные графы. Способы задания графов.
- •Представление графов
- •1. Задание графа с помощью матрицы смежности.
- •2. Задание графа с помощью матрицы инцидентности.
- •3. Задание графа с помощью списка смежности.
- •4.2 Азбука теории графов. Маршрут, путь, простой путь. Цикл. Простой цикл. Связность в графе.
- •Связные графы
- •4.3 Методы анализа графа. Поиск в ширину. Нахождение кратчайших путей в графе.
- •4.4 Поиск в глубину. Нахождение остовного дерева с помощью поиска в глубину.
- •4.5 Укладки графов. Планарные графы.
- •Теорема Эйлера
- •4.6 Критерий Понтрягина-Куратовского планарности графа.
- •4.7 Хроматическое число графа.
- •5 Элементы комбинаторики.
- •5.1 Упорядоченные наборы с повторением и без повторений.
- •5.2 Неупорядоченные наборы элементов изданных без повторений.
- •5.3 Неупорядоченные наборы элементов изп данных с возможными повторениями.
- •5.4 Метод включения-исключения.
- •Упражнения.
- •5.5 Основы метода производящих функций.
- •1324 0100.
- •5.6 Основы теории перечисления Пойа. Лемма Бернсайда.
- •Упражнения.
- •6 Основы схем из функциональных элементов. Проблема минимизации
- •6.1 Сложность мультиплексора порядка .
- •1) Мультиплексор порядка
- •6.2 Сложность дешифратора порядка n.
- •2) Дешифратор порядка .
- •6.3 Сложность универсального многополюсника.
- •3) Универсальный многополюсник.
- •6.4 Оценка сложности функций n переменных .
- •7. Элементы теории конечных автоматов.
- •7.1 Ограниченно- детерминированные функции и автоматные языки. Эквивалентность.
- •8. Элементы теории кодирования.
- •Теория кодирования.
- •8.1 Критерий однозначности кодирования.
- •8.2 Критерий префиксного кодирования Мак-Миллана.
- •1. Можно ли выразить конъюнкцию через дизъюнкцию и отрицание.
Достаточно ясна связь задачи нахождения тупиковых покрытий и минимизации функции покрытия.
Утверждение
Множество тупиковых покрытий функции есть в точности множество всех максимальных интервалов функции покрытия .
Легко установить следующее.
Функция покрытия есть суперпозиция монотонных функций логического сложения и логического умножения, которые монотонны. Поэтому и функция покрытия монотонна. В силу этого допустимые интервалы функции (без отрицаний переменных) и покрытия единицмаксимальными интервалами взаимно однозначно соответствуют друг другу (соответствие тривиальное). При этом максимальным интерваламвзаимно однозначно соответствуют тупиковые покрытия единиц функции. Поэтому задача минимизации двоичной функции в виде ДНФ есть поиск сокращенных ДНФ двух функций- начальной и функции покрытия. Причем вторая задача применяется к монотонной фукции.
Замечание.
На практике удобно применять следующее соотвествие. Максимальные интервалы монотонной фукции получаются из минимальных единиц перечислением тех переменных , которые равны единицы в данном наборе. Например, если минимальная единица набор- 0110, то максимальный интервал. Повторяя эту операцию ко всем минимальным единицам функцииполучим все максимальные интервалы.
2.5 Метод построения сокращённой д.Н.Ф. С помощью обобщенного склеивания
К конъюнкциям произвольной д.н.ф. D функции . применяются операции поглощения и обобщённого склеивания, до тех пор, пока никаких новых интервалов получить нельзя. Полученная так ДНФ и будет сокрощенной ДНФ функции D.
1)поглощение
,
2)обобщённое склеивание
(Подразумевается, что все преобразования выполняются только слева направо).
.
Покажем, что с помощью преобразований 1 и 2, исходя из любой д.н.ф. функции , можно получить её сокращённую д.н.ф.
Пусть сначала выполняются все возможные преобразования 2. Покажем, что при этом каждая конъюнкция K, соответствующая максимальному интервалу для f , будет включена в д.н.ф. Достаточно рассмотреть случай, когда K не входит в D.
Прежде всего заметим, что в K входят только те переменные, которые содержатся в D. Действительно, если бы это было не так, то, удалив из K переменную, не входящую в D мы получили бы конъюнкцию такую, что, а это противоречит максимальности.
Рассмотрим теперь множество конъюнкций , удовлетворяющих трём условиям:
содержит только те переменные, которые входят в D;
;
для всех конъюнкций H из д.н.ф. D.
Множество конъюнкций содержит конъюнкциюK, и, следовательно, непусто. Выберем в нём конъюнкции наибольшего ранга . Рассмотрим конъюнкцию. Она не может содержать все переменные, входящие вD, так как в этом случае интервал , состоял бы из одной вершины, а это вело бы к нарушению условия 3. Возьмём переменнуюx, от которой зависит D и не зависит . Рассмотрим конъюнкциии. Они удовлетворяют условиям 1 и 2 и имеют ранг больший, чем ранг. Значит,ине удовлетворяют условию 3, т.е. В д.н.ф. D имеются конъюнкцииитакие, что,. В конъюнкцию входит сомножительx, так как и. Поэтому
, где,.
Отсюда уже ясно, что при выполнении преобразований 4 на некотором шаге в д.н.ф. Будет включена либо конъюнкция , либотакая, что. Тоже самое верно и для конъюнкций. После этого конъюнкция наибольшего ранга, удовлетворяющая условиям 1, 2 и 3, будет иметь ранг меньшей чем. Следовательно, на некотором шаге в д.н.ф. Будет включена и конъюнкцияK.
После того, как будут получены все конъюнкции, соответствующие максимальным интервалам, преобразование 2 удаляет все конъюнкции, соответствующие не максимальным интервалам. Полученная д.н.ф. Является сокращённой д.н.ф. функции f.
Отметим, что порядок выполнения преобразований на самом деле не очень существен.
Пример 4. Рассмотрим функцию f(x,y,z) заданную таблицей 1 (§ 1), и её совершенную д.н.ф:
Имеем
(правило 1)),
(правило 1)),
(правило 4) и 2)),
(правило 4)),