- •Методические указания и задания
- •Задание на лабораторную работу
- •Способы задания множеств. Операции над множествами. Основные соотношения алгебры множеств
- •Теоретическая справка
- •Способы задания множеств
- •Операции над множествами
- •Основные законы алгебры множеств:
- •Задание к лабораторной работе.
- •Контрольные вопросы.
- •Отношения на множествах
- •Теоретическая справка
- •Способы задания отношений
- •Свойства бинарных отношений
- •Функциональные отношения
- •Например:
- •Задание к лабораторной работе
- •Основные понятия комбинаторики
- •Правило произведения Теоретико – множественная формулировка правила произведения
- •Комбинаторная формулировка правила произведения
- •Сложный выбор объектов
- •Соединения без повторений
- •Перестановки
- •Размещения из n элементов по m
- •Решение:
- •Сочетания
- •Свойства сочетаний
- •Соединения с повторениями
- •Размещения с повторениями
- •Сочетания с повторениями
- •Формулы пересчета для основных видов комбинаторных соединений
- •Принцип включения- исключения
- •Частные случаи формулы включений и исключений
- •Задача о беспорядках
- •Задача o встречах
- •Перестановки без фиксированных пар
- •Распределения объектов по ячейкам
- •Распределение одинаковых объектов
- •Вместимость ячеек задана
- •Распределение различных объектов по ячейкам с учётом их порядка в различных ячейках Вместимость ячеек неограниченна, ячейки могут быть пустыми
- •Вместимость ячеек неограниченна, ячейки не могут быть пустыми
- •Задания к лабораторной работе
- •Вариант №1.
- •Вариант №2.
- •Вариант №3.
- •Вариант №4.
- •Вариант №5.
- •Вариант №6.
- •Вариант №7.
- •Вариант №8.
- •Вариант №9.
- •Вариант №10.
- •Вариант №11.
- •Вариант №12.
- •Вариант №13.
- •Вариант №14.
- •Вариант №15.
- •Вариант №16.
- •Вариант №17.
- •Вариант №18.
- •Вариант №19.
- •Вариант №20.
- •Вариант №21.
- •Вариант №22.
- •5.Сколькими способами можно переставить буквы в слове «тартар», чтобы одинаковые буквы не шли друг за другом? Вариант №23.
- •Вариант №24.
- •Вариант №25.
- •Вариант №26.
- •Вариант №27.
- •Вариант №28.
- •Вариант №29.
- •Вариант №30.
- •Контрольные вопросы
- •8. Сформулировать общую постановку задачи распределения объектов по ячейкам.
- •Булевы функции. Законы алгебры логики. Аналитические способы описания. Полные системы функций
- •Теоретическая справка Определение функции алгебры логики
- •Табличный способ представления фал
- •Графическое представление фал
- •Функции алгебры логики одного аргумента
- •Функции алгебры логики двух аргументов
- •Элементарные функции алгебры логики
- •Условные приоритеты булевых функций
- •Выражение одних элементарных функций через другие
- •Аналитическая запись фал
- •Дизъюнктивная нормальная форма (днф)
- •Дизъюнктивная совершенная нормальная форма (дснф)
- •Алгоритм перехода от табличного задания функции к дснф
- •Конъюнктивная совершенная нормальная форма
- •Алгоритм построения конъюнктивной совершенной нормальной формы
- •Полные системы фал
- •Задание к лабораторной работе
- •Контрольные вопросы
- •Методы минимизации функций алгебры логики.
- •Теоретическая справка Основные определения
- •Минимизация фал на кубе
- •Метод Квайна минимизации булевых функций
- •Метод Мак-Класки минимизации булевых функций
- •Графический метод минимизации: карты Карно и диаграммы Вейча
- •Основные принципы построения карт Карно
- •Задание к лабораторной работе
- •Алгоритм генерации варианта
- •Контрольные вопросы
Контрольные вопросы
1. Определение двоичного набора.
2. Определение булевой функции или функции алгебры логики (ФАЛ).
3. Область определения и область значений ФАЛ.
4. ФАЛ от одной переменной.
5. Элементарные ФАЛ от двух переменных.
6. Основные законы алгебры логики.
7. Полные системы функций, минимальный базис.
8. Аналитическое описание ФАЛ: дизъюнктивная и конъюнктивная нормальные формы.
Лабораторная работа № 6
Методы минимизации функций алгебры логики.
Цель работы: получение практических навыков минимизации функций алгебры логики в классе ДНФ, изучение особенностей минимизации не полностью определенных функций.
Теоретическая справка Основные определения
Буква- переменная или ее отрицание.
Элементарная конъюнкция– конъюнкция, в которой каждая буква встречается не более одного раза.
Дизъюнктивная нормальная форма(ДНФ) – дизъюнкция элементарных конъюнкций.
Ранг элементарной конъюнкции– количество переменных, которые ее образуют.
Дизъюнктивная совершенная нормальная форма (ДСНФ)– ДНФ, состоящая из конъюнкций рангаn, гдеn –количество переменных.
Длина ДНФ ( L ) – число конъюнкций, которые ее составляют.
Кратчайшая ДНФ – ДНФ, имеющая наименьшую длинуLпо сравнению с другими ДНФ, эквивалентными данной функции.
Суммарный ранг ДНФ(R) – сумма рангов конъюнкций ДНФ.
Минимальная ДНФ – ДНФ, имеющая наименьший суммарный рангR по сравнению с другимиДНФ, эквивалентными данной функции.
Минимизация фал на кубе
Рассмотрим проблему минимизации для геометрического способа заданияФАЛ на кубе.
Сопоставим различным геометрическим элементам куба (вершинам, ребрам, граням и кубу) конъюнкции различных рангов. Сумма размерности геометри-ческого эквивалента и ранга конъюнкции, ему соответствующей равна числу аргументов ФАЛ.
Каждый геометрический элемент меньшей размерности покрывается геометрическими элементами большей размерности.
Каждая конъюнкция большего ранга покрывается всеми конъюнкциями меньшего ранга.
Геометрические эквиваленты называют интервалами.
Интервал L-го ранга – подмножество вершин куба, соответствующих конъюнкции ранга L.
Например:
Конъюнкции x соответствует 4 вершины: 100, 101, 110, 111.
На кубе отмечают вершины, где ФАЛравна1. Эти вершины образуют подмножествоТ1. Для того, чтобы задатьДНФна кубе, необходимо задать покрытие всех вершин.
Максимальный интервал J – интервал, для которого не существует никакого другого интервала J’ с рангом меньше, чем у J, и такого, что выполняется следующее соотношение .
Например:
П
J1=x1 J2=x1*x2 J3=x2*x3
J1иJ3–
максимальные интервалы J2– не является максимальным
Сокращенная ДНФ (СДНФ) – ДНФ, которая соответствует покрытию множества Т1 всеми максимальными интервалами.
Минимальная ДНФполучается изСДНФпутем выбрасывания из покрытия множестваТ1максимальными интервалами некоторых “лишних” интервалов.
Метод Квайна минимизации булевых функций
Предположим, что функция задана в ДСНФ.
Элементарные конъюнкции ранга n будем называть минитермами ранга n.
Шаг 1.Нахождение первичных импликант.
Все минитермы данной ФАЛ сравниваются между собой попарно.
Если минитермы miи mjтаковы, что их можно попарно представить в виде, то выписывается конъюнкция, которая является минитермом ранга n-1:.
Минитермы n-го ранга, для которых произошло склеивание отмечаются (*).
После построения всех минитермов (n-1)-го ранга вновь сравнивают их попарно, выписывают минитермы (n-2)-го ранга и отмечают склеивающиеся минитермы и т.д.
Этап заканчивается, когда вновь полученные минитермы l-го ранга уже не склеиваются между собой.
Все неотмеченные минитермы называются первичнымиилипростыми импликантами.
Шаг 2.Расстановка меток.
Для данной функции
, где- первичные импликанты. (1)
Соотношение (1) определяет СДНФдля данной функции.
Для нахождения минимального покрытия интервалами максимального ранга необходимо произвести выбрасывание некоторого количества первичных импликант.
На этапе расстановки меток составляется таблица, число строк в которой равно числу первичных импликант, число столбцов равно числу минитермов ДСНФ.
Если в минитерм ДСНФ входит какой-либо из первичных импликант, то на пересечении соответствующего столбца и строки ставим метку.
Шаг 3.Нахождение существенных импликант.
Если в столбце стоит всего одна метка, то соответствующая импликанта – существенная.
Существенная импликанта не может быть исключена из правой части (1), т.к. без нее не будет получено покрытие всего множества данной функции. Поэтому из таблицы меток исключаем строки, соответствующие существенным импликантам, и столбцы минитермов, покрываемых ими.
Шаг 4.Вычеркивание лишних столбцов.
Если в таблице есть два столбца с метками в одинаковых строках, то один из них вычеркивается (так как покрытие одного обеспечивает и покрытие другого).
Шаг 5.Вычеркивание лишних первичных импликант.
Если после этапа 4 в таблице есть строки без единой метки, то они вычеркиваются.
Шаг 6.Выбор минимального покрытия максимальными интервалами.
Исследуется полученная таблица: выбирается такая совокупность первичных импликант, которая включает метки во всех столбцах (по крайней мере по 1 в каждом столбце).
При нескольких вариантах отдается предпочтение варианту покрытия с минимальным суммарным числом букв в простых импликантах.