В неориентированном графе понятие дуга, путь, контур заменяются соответственно на ребро, цепь, цикл.


Ребро — отрезок, соединяющий две вершины, цепь — последовательность ребер.

Цикл — конечная цепь, у которой начальная и конечная вершина совпадают.

Граф называется связанным, если любые его две вершины можно соединить цепью. Граф сильно связан, если для его двух любых вершин х. * х. существует путь, идущий из х(. и xf

Граф, который не является связанным, может быть разбит на конечное число связных графов, называемых компонентами, или частями.

Ребро графа G называется мостом, если граф, получен­ный из G путем удаления этого ребра, имеет больше компо­нент связности, чем граф G.

Точкой сочленения графа называется вершина, удаление которой приводит к увеличению числа его компонент связ­ности.

На рисунке 3 ребро k — мост, а на рисунке 4 вершина 1 — точка сочленения.

Рис. 3 Рис. 4

Неразделимым называется связный граф, не имеющий то­чек сочленения. Блоком графа называют максимальный неразделимый подграф.

На рисунке 5 приведен граф G и его блоки А, В, С и D.

Рис. 5

Дерево это конечный, связный, не ориентированный граф, не имеющий циклов.

Характеристическое свойство деревьев состоит в том, что любые две вершины дерева соединены единственной цепью.

Теория деревьев была, в основном, разработана Кирхго­фом. Он применил ее для решения систем линейных уравне­ний, описывающих работу электрических цепей.

Развитие теории графов (деревьев) связано с именем не­мецкого химика Кели, который успешно применил ее для решения задач органической химии (для изучения изомеров углеводородов с заданным числом атомов).

Совокупность деревьев называется лесом.

Если все вершины графа принадлежат дереву, то он на­зывается покрывающим. Пусть дано множество вершин графа. Одну из вершин, например хр примем за начальную, кото­рую назовем корнем дерева. Из этой вершины проводим ребра к остальным вершинам х2, х3 и т. д. Простейшее дерево состо­ит из двух вершин, соединенных ребром.

Если добавить ребро, то добавляется и вершина. Та­ким образом, дерево с п вершинами имеет п—1 реб­ро.

Дерево, являющееся подграфом графа G, на­зывается покрывающим граф G, если оно содер­жит все его вершины.

Матрицей смежности S порядка п называется матрица, состоящая из чисел Sij, равных сумме чисел ориентированных ребер, идущих из хi в хj (или чисел неориентированных ребер, соединяющих эти вершины). Если дуга отсутствует, то Sij = 0.

Матрица смежности для ориентированного и неориенти­рованного графа, вообще говоря, имеет разный вид. Запишем матрицу смежности S, для ориентированного графа, изобра­женного на рисунке 6:

Рис. 6

Матрицей инциденции Т размера т х п называется матри­ца, состоящая из чисел:

если дуга uj выходит из вершины хi если дуга uj входит в вершину хi если такой дуги нет  

 

Запишем матрицу инциденции для графа, изображенного на рисунке 6:

Рассмотрим подробно решение задачи о Кенигсбергских мостах. В городе Кенигсберге имеется остров Кнайпхоф, кото­рый охвачен двумя рукавами реки Пречель. Через два рукава перекинуты семь мостов: а, Ь, с, d, e, f, g. Можно ли спла­нировать прогулку таким образом, чтобы по каждому мосту пройти только один раз и вернуться в начальное положение? Поставим в соответствие каждому мосту ребро графа, а суше вершину (рис. 7)

 

Рис. 7

Эйлеровым путем в графе G называется такой путь в кото­ром каждое ребро встречается один раз. Эйлер доказал, что такой путь существует тогда и только тогда, когда граф G содержит не более двух вершин нечетной степени и являются связными. В данной задаче существует четыре вершины нечет­ной степени (5, 3, 3, 3). Таким образом, задача о Кенигсберг­ских мостах не содержит Эйлеров путь и не имеет решения.

Если граф содержит точно две вершины нечетной степени, то в эйлеровом пути эти вершины должны быть конечными.

Если вершин нечетной степени нет, то граф имеет замк­нутый эйлеров путь.

На рисунке 8а нет замкнутого эйлерова пути; на ри­сунке 8б эйлеров путь замкнут.

Рис. 8

 

В XIX в. Гамильтон придумал игру, состоящую в том, что на дос­ке располагались города в виде до­декаэдра (рис. 9).

Рис. 9

Играющий (игрок) должен обозна­чить шнуром замкнутый круг, соеди­няющий последовательно одну верши­ну с другой, посетив при этом все города, зайдя в каждый только один раз. Граф G называют Гамильтоновым, если он содержит простейший путь, проходящий через его вершину.

Задача о коммивояжере принадлежит к классу задач ма­тематического программирования. Требуется найти такой путь коммивояжера, по которому необходимо посетить п—1 городов, зайдя в каждый город, вернуться домой, причем протяженность пути должна быть минимальной. Таким обра­зом, среди всех гамильтоновых циклов графа с п вершина­ми нужно найти сумму длин ребер, путь по которым бу­дет минимальным. Математически эта задача решения не имеет.

Дерево игры — это способ описания игры, в которой пос­ледовательно, по ходам, фиксируется, какой информацией должны располагать игроки, какие варианты они могут выб­рать, а также средний размер платежей в конце игры. Игра, описываемая при помощи такого дерева, называется игрой в развернутой форме или позиционной игрой.

Дерево решений — это система, отражающая структуру оп­тимизации задачи принятия решений. Ветви — это события, которые имеют место, а вершины — состояния в которых возникает проблема выбора. Узлы выбора различны. В одних решения принимает руководитель, в других выбор произво­дит «природа», т. е. выбор ситуации от руководителя не зави­сит и он может только оценить вероятность принятия того или иного решения. Дерево решений применяется тогда, ког­да количество альтернатив и принятых решений конечно.

Построение деревьев решений используют при решении задач динамического распределения памяти ЭВМ. В динами­ческом программировании решение задачи планирования работ называют проектом. Нужно выбрать наилучший проект за заданное время с использованием выделенных ресурсов. Су­ществуют два способа математического решения этой задачи.

1) Метод кратчайшего пути.

2) Проект оценки и пересмотра проекта. Характерным для этих методов является изображение проекта в виде сети взаимосвязанных работ.

Контрольные вопросы.

1. Что такое граф? Пример

2. Какой граф называется ориентированным? Пример

3. Какой граф называется неориентированным? Пример

4. Что называется петлей? Пример

5. Какие вершины называются смежными? Пример

6. Какое ребро называется инцидентным? Пример

7. Что такое степень вершины? Пример

8. Что такое кратность пары вершин? Пример

9. Что такое подграф? Пример

10. Что такое частный граф? Пример

11. Что называется путем в графе? Пример

12. Что называется длиной пути в графе? Пример

13. Что такое дерево? Пример

14. В чем заключается задача о коммивояжере? Пример

15. Способы решения задачи о коммивояжере

16. Каким способом в дискретной математике решают задачу коммивояжере?


Лекция № 11

Тема: «Структуры и стратегии поиска с помощью графов»

План лекции

1. Оптимизация решений динамическими методами

2. Метод динамического планирования

3. Метод ветвей и границь.

 

1. Оптимизация решений динамическими методами

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

Методы решения, основанные на переборе получили название комбинаторных. Комбинаторный аспект заложен в каждой проблеме принятия решения, а решение любой проблемы состоит из выбора последовательности действий, наиболее приемлемой для заданной исходной ситуации.

В зависимости от избранной математической модели методы принятия решений разделяются на следующие три класса, которые принципиально отличаются подходами к проблеме:

1) комбинаторные, то есть основаны па организации поиска (перебору) решений;

2) аналитические, основанные на превращениях аналитических формул;

3) сетевые, основанные на построении потоков в сетях.

Хотя аналитические и сетевые методы довели свою эффективность при решении большой числа конкретных проблем, область их приложения очень ограничена. Значительно шире является область применения комбинаторных методов.

В экономике, организации, планировании и управлении производством часто встречаются случаи, когда цель оптимального решения задачи заключается в установлении наилучшей последовательности выполнения тех или других работ (производственных операций, состояний строительства разного рода сооружений и так далее).

Именно эта оптимальная последовательность работ или действий ведет к наилучшим результатам работы организации: максимальной прибыли, минимума временных и финансовых расходов, максимальной рентабельности работы. Определение цеп оптимальной последовательности происходит последовательно с помощью полного или частичного перебора возможных вариантов на базе ЭВМ. Машина генерирует возможный вариант решения, анализирует его и делает вывод о его перспективности (запоминая его) или не перспективности (отбрасывая его). В результате такой сортировки на каждом шагу выделяется все меньше и меньше приемлемых вариантов. Па окончания такого динамического анализа выделяется одно или несколько лучших решений.

Одной из первых задач такого рода, которая обратила внимание специалистов, была так называемая задача о коммивояжере.

Коммивояжер (агент, который рекламирует товар своей фирмы), повинный посетить (п-1) мост и вернуться в исходный пункт. Известны расстояния между городами. Нужно установить, в каком порядке коммивояжер должен посещать города, чтобы общая пройденная расстояние было минимально.

Задачу коммивояжера для наглядности удобно представить в виде графа или таблицы с указанием расстояний между пунктами. Количество маршрутов к=(п–1)!, где п – число пунктов (мост). Количество маршрутов очень быстро растет в меру увеличения числа п. Так, 4!=24; 5!=120; 10!=3628800 маршрутов. Оценить и сравнить такую массу маршрутов трудно даже с помощью ЭВМ. Отсюда выплывает необходимость поиска других методов, основанных па существовании гамильтоновых путей на графе.

Проблема заключается в том, чтобы резко сократить перебор вариантов, отбрасывая сознательно непригодные. Как же это сделать? Оказывается, можно - с помощью метода динамического планирования. Чтобы была понятна суть метода, рассмотрим следующий пример.

 

2. Метод динамического планирования

Фирма обеспечивает снабжение товаров для продажи из базы А0 в четыре торговых точки А1, А2, А3, А4. Расстояния между всеми пунктами известны и заданы в километрах (Таблица 1).

В целях экономии времени и средств необходимо найти такой маршрут передвижения, при котором, побывав в каждой торговой точке по одному разу, поставщик вернулся бы в начальный пункт А0, пройдя минимально возможный суммарный путь.

Таблица 1 – Начальные данные.

  А0 А1 А2 А3 А4
А0
А1
А2
А3
А4

Решение

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

Начинаем с вариантов, которые состоят из трех участков. Например, отправляясь из начального пункта A0 можно добраться в третий пункт А3 шестью способами:

Зная расстояния между пунктами, можно вычислить суммарный путь для каждого из шести вариантов.

Результаты рассмотрения возводим в таблицу 2.

 

Таблица 2 - Перспективы вариантов движения

Варианты движения Расстояние, км. Перспективно или нет
А0 А2 А3 А1 150+150+350=650 Нет
А0 А3 А2 А1 300+150+120=570 Да
А0 А2 А4 А1 Нет
А0 А4 А2 А1 Да
А0 А3 А4 А1 Нет
А0 А4 А3 А1 Да
А0 А1 А3 А2 Нет
А0 А3 А1 А2 Да
А0 А1 А4 А2 Нет
А0 А4 А1 А2 Да
А0 А3 А4 А2 Нет
А0 А4 А3 А2 Да
А0 А1 А2 А3 Да
А0 А2 А1 А3 Нет
А0 А1 А4 А3 Да
А0 А4 А1 А3 Нет
А0 А2 А4 А3 Нет
А0 А4 А2 А3 Да
А0 А1 А2 А4 Нет
А0 А2 А1 А4 Да
А0 А1 А3 А4 Да
А0 А3 А1 А4 Нет
А0 А2 А3 А4 Да
А0 А3 А2 А4 Нет

 

После заполнения таблицы выделяем только перспективные варианты (их будет всего 12), дополняем их номером непосещенного населенного пункта и повторяем процедуру: определяем перспективность движения уже для четырех участков пути. Для этого к вычисленной длине перспективного пути (см. табл. 2) добавляем расстояние к непосещенному еще населенному пункту. Результаты вычислений заносим у табл. 3.

Таблица 3 - Перспективы выделенных вариантов движения

Варианты движения Расстояние, км. Перспективно или нет
А0 А3 А2 А1 А4 570+200=770 Нет
А0 А4 А2 А1 А3 470+350=820 Нет
А0 А4 А3 А1 А2 Нет
А0 А3 А1 А2 А4 Нет
А0 А4 А1 А2 А3 Да
А0 А4 А3 А2 А1 Да
А0 А1 А2 А3 А4 Да
А0 А1 А4 А3А2 Да
А0 А4 А2 А3А1 Нет
А0 А2 А1 А4 А3 Нет
А0 А1 А3 А4 А2 Нет
А0 А2 А3 А4 А1 Нет

Аналогично предыдущему из табл. 3 выбираем четыре перспективных варианта.

Поскольку нам необходимо вернуться в начальный пункт, то выделены перспективные последовательности движения дополняем этим начальным пунктом A0. Вычисляем для них суммарные расстояния и заносим результаты у табл. 4.

Таблица 4 – Суммарные расстояния перспективных вариантов движения

Варианты движения Расстояние, км. Перспективно или нет
А0 А4 А1 А2 А3А0 570+300=870 Нет
А0 А4 А3 А2 А1А0 620+200=820 Нет
А0 А1 А2 А3 А4 А0 620+100=720 Да
А0 А1 А4 А3 А2 А0 700+150=850 Нет

Из таблицы видно, что есть один оптимальный маршрут прохождения коммивояжера А0 А1 А2 А3 А4 А0, который имеет минимальную из всех возможных маршрутов длину, ровную 720 км.

 

3. Метод ветвей и границь.

Расстояния между узлами разведения кабеля телевидения заданы следующей таблицей

Решение: Превратим таблицу расстояний в матрицу Т, заменив нули на бесконечность, потому что возвращение в исходный пункт без охватывания всех других узлов разведения должно быть запрещено.

Задача сводится к поиску минимального гамильтонового цикла на полном графе, то есть к замкнутой задаче коммивояжера.

Определим минимальный путь методом простого пересмотра матрицы.

Полученное решение может оказаться не оптимальным, потому для решения задачи воспользуемся методом веток и границь.

Выполним сводку матрицы Т по строкам: . Одержимо матрицу Т1. Возводим матрицу Т1 по столбцам:

Уточнена оценка снизу

После сводки получаем матрицу Т2.

Для матрицы Т2 последовательное улучшение оценки снизу ∆(i, j):

Наибольшее улучшение оценки снизу ∆(4,5)=4. Исключаем из Т2 четвертую строку и 5-й столбец и налагаем запрещение на дугу (5,4). Получаем матрицу Т3.

і

Выполняем сводку Т3 по строкам и столбцам. Получаем матрицу Т5. Теперь уточнена оценка снизу 18 + 4 = 22.

Последовательно строим дерево разбивок и заносим у него полученные величины.

Для Т5 улучшения оценки снизу:

Наибольшее улучшение оценки снизу ∆(1,3)= 3. Исключаем из Т5 первую строку и 3-й столбец и налагаем запрещение на дугу (3,1). Получаем матрицу Т6. Выполняем сводку Т6 по строкам, получаем матрицу Т7. Уточнена оценка снизу 22+1=23.

Для Т7 улучшения оценки снизу:

Наибольшее улучшение оценки снизу ∆(2,1)=3. Исключаем из Т7 вторую строку и 1-й столбец, а также налагаем запрещение на дугу (1,2). Получаем матрицу 2x2 – Т8.

Для Т8 улучшения оценки снизу:

Дуть (3,4) и (5,2) включаем в гамильтонов путь и заносим в дерево разбивок.

Таким образом, кабель стоит прокладывать между пунктами в следующей последовательности:

Минимальная затрата кабеля 23 < 27, полученных методом простого пересмотра.

 

Контрольные вопросы.

1. Что такое граф? Пример

2. Какой граф называется ориентированным? Пример

3. Какой граф называется неориентируемым? Пример

4. Что называется петлей? Пример

5. Какие вершины называются смежными? Пример

6. Какое ребро называется инцидентным? Пример

7. Что такое степень вершины? Пример

8. Что такое кратность пары вершин? Пример

9. Что такое подграф? Пример

10. Что такое частный граф? Пример

11. Что называется путем в графе? Пример

12. Что называется длиной пути в графе? Пример

13. Что такое дерево? Пример

14. В чем заключается задание о коммивояжере? Пример

15. Способы решения задачи о коммивояжере

16. Каким способом в дискретной математике решают задачу коммивояжера?

 

Лекция № 12

Тема: «Реализация булевых функций с помощью логических схем»

План лекции

1. Основные логические операции и логические элементы

2. Распространённые логические операции и логические элементы

3. Функционально-полный набор логических элементов

4. Синтез и анализ логических функций и схем

1. Основные логические операции и логические элементы

Логический элемент в электронных схемах – это устройство, реализующее ту или иную логическую функцию. При этом логические сигналы 0 и 1 задаются разными уровнями напряжения. Сигнал логического нуля обычно представляется низким уровнем напряжения U0, логической единицы – высоким U1. Такая логика получила название положительной. В ряде случаев используют отрицательную логику, где логический нуль представляется высоким уровнем напряжения, а логическая единица – низким.

Логические схемы состоят из логических элементов, осуществляющих логические операции. Для изображения логических схем всегда используются условные графические обозначения элементов, описывающие только выполняемую элементами функцию и не зависящие от его схемы. В настоящее время в мире существует несколько общепринятых стандартов условных обозначений. Наиболее распространенными являются американский стандарт milspec 806В и стандарт МЭК 117-15 А, созданный Международной Электротехнической Комиссией. Часто в литературе используются также обозначения в европейской системе DIN 4070. В отечественной литературе условные обозначения элементов в основном соответствуют ГОСТ 2.743-82.

Конъюнкция(логическое умножение, операция И, AND): функция f принимает единичное значение только тогда, когда равны единице абсолютно все входные переменные. Следовательно, функция f принимает значение «0» только в том случае, если хотя бы один из входных переменных будет равен «0». В частности, для двух переменных х1 и х2 существует четыре различных сочетания, но только одному из них (х1=х2=l) соответствует единичное значение функции (табл.1).

 

 

Таблица 1

Условные графические обозначения элементов логического умножения по различным стандартам показаны на рис.1

Рис. 1. Условные обозначения логического элемента И:

а) по ГОСТ и стандарту МЭК, б) по стандарту DIN, в) по стандарту milspec

Дизъюнкция(логическое сложение, операция ИЛИ, OR): функция f принимает единичное значение, если единице равна хотя бы одна из входных переменных (табл. 2). Следовательно, функция f принимает нулевое значение только в том случае, если все входные переменные будут равны «0».

Таблица 2

Рис. 2. Условные обозначения логического элемента ИЛИ:

а) по ГОСТ, б) по стандарту МЭК, в) по стандарту DIN, г) по стандарту milspec

Инверсия(отрицание, операция НЕ, NOT): функция одной переменной, принимает единичное значение, если входная переменная равна «0». Функция равна «0», если входная переменная равна «1» (табл. 3).

Таблица 3

Рис. 3. Условные обозначения логического элемента НЕ:

а) по ГОСТ и стандарту МЭК, б) по стандарту DIN, в) по стандарту milspec

2. Распространённые логические операции и логические элементы

Наряду с простейшими распространены и более сложные логические элементы, сочетающие в себе несколько простейших операций. Такими являются логические элементы И-НЕ, ИЛИ-НЕ, ЭКВИВАЛЕНТНОСТЬ, ИСКЛЮЧАЮЩЕЕ ИЛИ и т.п.

Штрих Шеффера.Элемент И-НЕ реализует функцию «штрих Шеффера» двух переменных и имеет соответствующую таблицу истинности. Условное обозначение логического элемента И-НЕ в любом стандарте объединяет в себе обозначение элемента И и кружок, являющийся признаком элемента НЕ (рис. 4).

Рис. 4. Условные обозначения логического элемента И-НЕ:

а) по ГОСТ и стандарту МЭК, б) по стандарту DIN, в) по стандарту milspec

Стрелка Пирса.Элемент ИЛИ-НЕ реализует функцию «стрелка Пирса»: . Условные обозначения объединяют в себе обозначение элемента ИЛИ и кружок - символ операции отрицания НЕ (рис. 5).

Рис. 5. Условные обозначения логического элемента ИЛИ-НЕ:

а) по ГОСТ, б) по стандарту МЭК, в) по стандарту DIN, г) по стандарту milspec

Эквивалентность.Элемент ЭКВИВАЛЕНТНОСТЬ (РАВНОЗНАЧНОСТЬ) описывается функцией . В ней выходная переменная f принимает единичные значения только при равенстве входных переменных х12. Функция имеет собственное обозначение и может быть выражена через простейшие логические операции:

Рис. 6. Условное обозначение логического элемента ЭКВИВАЛЕНТНОСТЬ

3. Функционально-полный набор логических элементов

Набор логических элементов, достаточный для построения любой сколь угодно сложной логической схемы, называется функционально полным.

Функционально полным является набор элементов И, ИЛИ, НЕ. Из этого набора можно исключить некоторые элементы без нарушения функциональной полноты. В частности, функционально-полным считается набор из двух элементов И и НЕ. В этом случае для выполнения операции ИЛИ двух переменных x1 и x2 просто по уравнению строится схема на трех элементах НЕ и одном элементе И.

Аналогично, функционально полным является набор из элементов ИЛИ и элементов НЕ. На основании формулы де Моргана элемент И реализуется по уравнению

.

Свойство функциональной полноты используется при разработке и реализации многовходовых логических схем, так как реальные элементы интегральных схем выполняют или функцию И-НЕ (схемы транзисторно-транзисторной логики и КМОП технологии), или функцию ИЛИ-НЕ (схемы и-МОП и КМОП технологии). С помощью логических элементов ИЛИ-НЕ или И-НЕ можно собрать любую логическую схему. На таких элементах собран микропроцессор компьютера и другие логические устройства. Переход от логического умножения к логическому сложению (и обратно) и позволяет строить различные логические схемы, используя ограниченный функциональный набор логических элементов.

Для разработки структуры многовходовой логической схемы в заданном базисе применяют следующий алгоритм:

– составляется таблица истинности;

– по таблице истинности составляется булева функция в виде совершенной дизъюнктивной нормальной форме;

– используя правила булевой алгебры, карты Карно или другие способы минимизации, функция (если возможно) упрощается;

– полученное выражение приводят к заданному базису, применяя правило де Моргана. Если в качестве базы заданы элементы И-НЕ, правило де Моргана применяется к дизъюнкции, если ИЛИ-НЕ – к конъюнкции.

4. Синтез и анализ логических функций и схем

В цифровой электронике известны основные логические функции И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ, сложение по модулю 2 (исключающее ИЛИ), которые находят наиболее широкое применение при реализации цифровых устройств различного назначения. При представлении логической функции математическим выражением используют два вида ее представления: дизъюнктивная нормальная форма и конъюнктивная нормальная форма.

Элементарной конъюнкцией называется конъюнкция переменных или их отрицаний, в которой каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой (ДНФ) называется формула, имеющая вид дизъюнкции элементарных конъюнкций. Совершенная ДНФ – это ДНФ, каждая элементарная конъюнкция которой включает все переменные с отрицанием или без.

Для получения СДНФ по таблице истинности, в ней выделяют строки, в которых функция принимает единичные значения. Для каждой выделенной строки составляется конъюнкция всех входных переменных, причем сомножитель записывают со знаком инверсии, если переменная принимает в этой строке нулевое значение. Записывается логическая сумма всех составленных логических произведений, которые носят названия конституент единицы, или минтермов. Таким образом, СДНФ функции f содержит ровно столько конъюнкций, сколько единиц в таблице истинности, и все полученные конъюнкции соединяются знаками дизъюнкции. Для каждой функции СДНФ единственна (с точностью до перестановок переменных или конъюнкций).

Пример. Пусть задана логическая функция трёх переменных, которая равна единице в случае, если хотя бы две из входных переменных равны «1» (см. табл. 4). Требуется записать СДНФ этой функции.

Для данной логической функции СДНФ имеет вид:

Конъюнктивной нормальной формой (КНФ) называется логическое произведение элементарных сумм, в каждую из которых аргумент или его отрицание входят один раз.

КНФ может быть получена из таблицы истинности: для каждого набора аргументов на котором функция равна «0» составляют элементарную сумму, причем переменные, значение которых равно «1», записываются с отрицанием. Полученные суммы, которые носят название конституент нуля, или макстермов, объединяют операцией логического умножения.

Пример. КНФ для функции из табл. 4 имеет вид:

КНФ также называется совершенной, если каждая элементарная сумма содержит все переменные с инверсией или без.

Иногда удобнее пользоваться не самой логической функцией, а ее инверсией. В этом случае при использовании вышеописанных методик для записи СДНФ надо использовать нулевые, а для записи СКНФ – единичные значения функции.

Пример. Для логической функции из табл. 4 СДНФ и СКНФ инверсной функции имеют



Дата добавления: 2021-09-25; просмотров: 391;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.062 сек.