Дискретная математика

Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.

Рубрика Математика
Вид контрольная работа
Язык русский
Дата добавления 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.