Дискретная математика
Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
Рубрика | Математика |
Вид | контрольная работа |
Язык | русский |
Дата добавления | 27.08.2013 |
Размер файла | 193,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
9
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
Контрольная работа
Дискретная математика
Выполнил:
Коновалова Н.В.
Задание 1
Построить таблицу значений функции алгебры логики, найти все существенные переменные:
Решение:
(1)
- знак сложения по модулю два. Вектор значений сложения по модулю два: 1=(0 1 1 0).
~ - эквивалентность, или равнозначность Вектор значений сложения по модулю два: 2=(1 0 0 1).
- стрелка Пирса. Вектор значений стрелки Пирса:
3=(1 0 0 0).
- знак отрицания. Вектор значений отрицания:
4=(1 1 0 0).
Таблица 1- Таблица истинности функции (1)
Ответ: Вектор значений функции f(x, y, z) (0;1;1;0;1;0;0;1)
Задание 2
Построить полином Жегалкина функции:
Решение
(2)
где ? - сложение по модулю 2, знак ? обозначает конъюнкцию.
Метод неопределенных коэффициентов заключается в том, что последовательной подстановкой x, y, z и соответственно значений функций при них в данный полином (2), строится система уравнений:
Полином Жегалкина
P(x, y, z)=011x2y3z4xy5xz6yz7xyz
Применим к заданной функции:
1=011020304005006007000
1=011020314005016017001
0=011021304015006107010
0=011021314015016117011
0=011120304105106007100
0=011120314105116017101
1=011121304115106107110
1=011121314115116117111
По свойству суммы по модулю два найдём :
0=1, 1=1, 2=1, 3=0 4=0, 5=0, 6=0, 7=0
Полином Жегалкина будет иметь вид:
(x, y, z) =1 x y
Проверим таблицей истинности:
Таблица 2 - Таблица истинности для полинома Жегалкина
1 |
2 |
3 |
4 |
5 |
|
x |
y |
z |
1x |
y |
|
0 |
0 |
0 |
1 |
1 |
|
0 |
0 |
1 |
1 |
1 |
|
0 |
1 |
0 |
1 |
0 |
|
0 |
1 |
1 |
1 |
0 |
|
1 |
0 |
0 |
0 |
0 |
|
1 |
0 |
1 |
0 |
0 |
|
1 |
1 |
0 |
0 |
1 |
|
1 |
1 |
1 |
0 |
1 |
Ответ: Полином Жегалкина будет иметь вид
(x, y, z) =1 x y
Задание 3
Найти СКНФ и СДНФ функции:
Решение
Чтобы получить совершенную дизъюнктивную нормальную форму, надо взять все наборы, на которых значение функции равно 1 и записать для каждого из них конъюнкцию переменных и их отрицаний. Если в наборе значение переменной 0 - то переменную надо взять с отрицанием, если 1 - без отрицания. Из получившихся конъюнкций надо построить дизъюнкцию.
Строится КНФ для заданной формулы. Рассматриваются члены, при которых функция f(x,y,z)=0.При условии, что переменная, входящая в этот член равна нулю, то она записывается без отрицания, а если равна единице, то она записывается с отрицанием. Искомая КНФ для функции (3) будет иметь следующий вид:
Ответ: КНФ функции
ДНФ функции
Задание 4
С помощью карт Карно найти минимальную КНФ и ДНФ функции:
Решение
На практике наиболее важной представляется нахождение минимальной ДНФ, но алгоритм ее нахождения по существу является вариантом перебора всех равносильных ДНФ. Если функция п переменных задана своей таблицей истинности, то правило Блейка имеет простой геометрический смысл. Все возможные наборы переменных представить себе как вершины п-мерного куба со стороной равной 1 (всего вершин будет 2п) в декартовой системе координат, то надо отметить те вершины, на которых значение функции равно 1, и если какие-то из этих единиц лежат на “прямой”, “плоскости” или “гиперплоскости” в п-мерном пространстве, то в сокращенную ДНФ будут входить “уравнения” этих прямых или гиперплоскостей по известному правилу: если в это уравнение входило составной частью х = 0, то в сокращенную ДНФ входит , если х = 1, то просто х.
Построим карту Карно:
ДНФ:
КНФ:
Задание 5
Придумать связный ориентированный граф из пяти вершин и не менее чем семи ребер (ориентированы могут быть не все ребра). Для данного графа составить структурную матрицу, по ней (методами булевой алгебры) найти все пути и сечения между двумя любыми несмежными вершинами на ваш выбор.
Найдем пути и сечения между вершинами 1 и 4.
Составляем структурную матрицу S, затем вычеркиваем из нее 1-ю строчку и 4-й столбец (тем самым получаем минор М(1,4)):
Искомые пути, расположенные в порядке прохождения ребер:
П41 = aeaсdfbcgbdeh
Сечения же получатся отрицанием этих путей. Применяя правила де Моргана (заменяя конъюнкцию на дизъюнкцию и наоборот), затем раскрывая скобки, получаем: (знаки отрицания опущены во всех равенствах, кроме 1-го):
S41= aeaсdfbcgbdeh = (ae) (acdf) (bcg) (bde) h = abhabchabghabdh v abeh ebh ebch ebgh ebdh v abcdefh v abcdfgh v abcdegh v abcdefgh
Задание 6
Придумать связный взвешенный граф из восьми вершин и не менее чем 14 ребер (нумерация ребер - слева направо, веса от 1 до 20). Для этого графа построить минимально остовное дерево с помощью алгоритма Прима, и найти расстояние между вершинами 1 и 8 с помощью алгоритма Дейкстры. Реализовать алгоритм на любом языке программирования.
Рисунок 1 - Исходный граф
алгебра логика граф
Алгоритм Дейкстры (поиск пути с минимальным весом).
Алгоритм использует три массива из N (= числу вершин сети) чисел каждый. Первый массив S содержит метки с двумя значения: 0 (вершина еще не рассмотрена) и 1 (вершина уже рассмотрена); второй массив B содержит расстояния - текущие кратчайшие рас- стояния от до соответствующей вершины; третий массив с содержит номера вершин - k-й элемент С[k] есть номер предпоследней вершины на текущем кратчайшем пути из Vi в Vk. Матрица расстояний A[i,k] задает длины дуге A[i,k]; если такой дуги нет, то A[i,k] присваивается большое число Б, равное "машинной бесконечности".
1 (инициализация). В цикле от 1 до N заполнить нулями массив
S; заполнить числом i массив C; перенести i-ю строку матрицы
A в массив B,
S[i]:=1; C[i]:=0 (i - номер стартовой вершины)
2 (общий шаг). Hайти минимум среди неотмеченных (т. е. тех k, для
которых S[k]=0); пусть минимум достигается на индексе j, т. е. B[j]<=B[k]
Затем выполняются следующие операции:
S[j]:=1;
если B[k] > B[j]+A[j,k], то (B[k]:=B[j]+A[j,k]; C[k]:=j)
(Условие означает, что путь Vi ... Vk длиннее, чем путь Vi...Vj Vk).
(Если все S[k] отмечены, то длина пути от Vi до Vk равна B[k]. Теперь
надо) перечислить вершины, входящие в кратчайший путь).
3 (выдача ответа). (Путь от Vi до Vk выдается в обратном порядке
следующей процедурой:)
3.1. z:=C[k];
3.2. Выдать z;
3.3. z:=C[z]. Если z = О, то конец,
иначе перейти к 3.2.
Результатом работы алгоритма является путь длиной 20,который изображен на рисунке ниже.
Рисунок 2 - Реализация алгоритма Дейкстры
Для построения остова графа воспользуемся алгоритмом Прима:
Начинаем с пустого U=0. Добавляем к U вершины, каждый раз находя ребро наименьшей стоимости между U и V-U.
Положить в U любую вершину; // изначально U - пусто.
while ( V-U не пусто )
{
Выбрать ребро (u, v) наименьшей стоимости,
u из U, v из V-U;
Добавить v к U (и убрать из V-U);
Применим алгоритм, начиная с U={V{5-7}}. Шаги алгоритма следующие:
· Wmin(u,v)= U={V{5-7},V{7-8}}
· Wmin(u,v)= U={ V{5-7},V{5-6},V{7-8}}
· Wmin(u,v)= U={ V{5-7},V{5-6},V{7-8},V{4-7}}
· Wmin(u,v)= U={ V{5-7},V{5-6},V{7-8},V{4-7},V{3-5}}
· Wmin(u,v)= U={ V{5-7},V{5-6},V{7-8},V{4-7},V{3-5},V{2-4}}
· Wmin(u,v)= U={ V{5-7},V{5-6},V{7-8},V{4-7},V{3-5},V{2-4}},V{1-2}}
Результатом является остовное дерево графа.
5-7 5-6 7-8 4-7 3-5 2-4 1-2
Список литературы
1. Гиндикин С.Г. Алгебра логики в задачах. М., 1972.
2. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978.
3. Лихтарникова Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. СПб, 1988.
4. Мамонтова Н.П. и др. Методические указания к практическим занятиям по теории сетей связи / ЛЭИС. Л., 1978.
5. Нефедов В.Н., Осипова В.А. Курс дискретной математики / МАИ. М., 1992.
6. Уилсон Р. Введение в теорию графов. М.: Мир, 1977.
Размещено на Allbest.ru
...Подобные документы
Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.
контрольная работа [43,2 K], добавлен 27.04.2011Алгоритм построения многочлена Жегалкина по совершенной дизъюнктивной нормальной форме. Диаграмма Эйлера-Венна, изображение универсального множества и подмножества. Проверка самодвойственности, монотонности и линейности логической функции двух переменных.
контрольная работа [227,5 K], добавлен 20.04.2015Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.
учебное пособие [1,5 M], добавлен 27.10.2013Построение диаграммы псевдографа, матрицы инцидентности и матрицы соседства вершин. Восстановление дерева по вектору с помощью алгоритма Прюфера. Построение таблицы истинности для функции и совершенной конъюнктивной и дизъюнктивной нормальной форм.
контрольная работа [181,9 K], добавлен 25.09.2013Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.
учебное пособие [702,6 K], добавлен 29.04.2009Представление булевой функции в виде дизъюнктивной нормальной формы. Выражение всех логических операции в формуле через конъюнкции, дизъюнкции и отрицания. Сокращение количества слагаемых, входящих в формулу и количества переменных, входящих в слагаемое.
контрольная работа [1,3 M], добавлен 06.05.2013Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.
контрольная работа [335,2 K], добавлен 05.07.2014Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа [345,3 K], добавлен 29.11.2010Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
учебное пособие [1,3 M], добавлен 20.08.2014Понятия зависимой, независимой переменных, области определения функции. Примеры нахождения области функции. Примеры функций нескольких переменных: линейная, квадратическая, функция Кобба-Дугласа. Построение графика и линии уровня функции двух переменных.
презентация [104,8 K], добавлен 17.09.2013Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа [463,0 K], добавлен 17.05.2015Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций [651,0 K], добавлен 08.08.2011Переключательные функции одного аргумента. Переключательные функции двух аргументов. Представление переключательной функции в виде многочленов. Совершенная дизъюнктивная нормальная форма переключательной функции. Функция в виде полинома Жегалкина.
реферат [45,6 K], добавлен 27.11.2008Метод Форда-Беллмана для нахождения расстояния от источника до всех вершин графа. Алгоритмы поиска расстояний и отыскания кратчайших путей в графах. Блочно-диагональный вид и матрица в исследовании системы булевых функций и самодвойственной функции.
курсовая работа [192,1 K], добавлен 10.10.2011Краткое математическое описание циклических кодов с точки зрения алгебры конечных полей, которого вполне достаточно для решения задачи нахождения порождающего полинома кода, используя корни. Полиномиальное представление двоичных чисел. Определение поля.
контрольная работа [690,0 K], добавлен 01.01.2011Способы задавания функции: табличный, графический и аналитический. Область определения и область значений функции, промежутки ее знакопостоянства. Свойства постоянной функции. Множества значений функции y=arctgx. Основные свойства функции y=sinx.
реферат [799,4 K], добавлен 22.06.2019Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
контрольная работа [83,3 K], добавлен 26.04.2011Изучение булевых функций. Алгоритм представления булевых функций в виде полинома Жегалкина. Система функций множества. Алгебраические преобразования, метод неопределенных коэффициентов. Таблица истинности для определенного количества переменных.
курсовая работа [701,9 K], добавлен 27.04.2011Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа [200,4 K], добавлен 27.04.2011