
- •Оглавление
- •Глава1. Минимизация функций алгебры логики в классе днф 7
- •Глава 2. Преобразования и минимизация в базисе, 32
- •Предисловие
- •Введение
- •Глава 1. Минимизация функций алгебры логики в классе днф1.
- •I Геометрический метод.
- •2 Метод неопределенных коэффициентов.
- •3 .Метод минимизирующих карт (гарвардский метод).
- •4. Метод квайна.
- •2 Этап. Расстановка меток.
- •3 Этап. Нахождение существенных импликант.
- •4 Этап. Вычеркивание лишних столбцов.
- •5 Этап. Вычеркивание лишних строк.
- •Метод Петрика нахождения всех возможных тупиковых форм.
- •5 Метод Квайна-Мак-Класки
- •6 Метод карт карно (вейча).
- •7 Абсолютно минимальные представления
- •Глава 2.Преобразования и минимизация в базисе состоящем из функции вебба или из функции шеффера.1
- •Метод неопределенных коэфициентов
- •Метод квайна.
- •Метод мак-класки
- •Список литературы
- •Приложение.
Список литературы
Акимов О.Е. Дискретная математика: логика, группы, графы. –М.: Лаборатория Базовых Знаний, 2003. -376с.
Белоусов А.И., Ткачев С.Б. Дискретная математика. –М.: Изд-во МГТУ им. Баумана, 2004. -744с.
Вавилов Е.Н, Портной Г.П. Синтез схем электронных цифровых машин. М.: Изд-во “Советское радио”, 1963. -440с.
Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. –М.: Наука, 1977. -368с.
Глушков В.М. Синтез цифровых автоматов. –М., Физматгиз, 1962г., -476с.
Гиндикин С.Г. Алгебра логики в задачах. –М.: Наука, 1972. -288с.
Горбатов В.А., Горбатов А.В., Горбатова М.В. Дискретная математика: Учебник для студентов втузов. –М.: ООО”Изд-во АСТ”: ООО”Изд-во Астрель”, 2003. -447с.
Журавлев Ю.И. Алгоритмы построения минимальных дизъюнктивных нормальных форм для функций алгебры логики. Дискретная математика и математические вопросы кибернетики. т.1-М: Наука, 1974. –с. 67-98.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. –М.: Наука, 1984. -240с.
Нефедов В.Н., Осипова В.А. Курс дискретной математики: Учеб. пособие. –М: Изд-во МАИ, 1992. -264с.
Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974.-228 с.
Рояк М.Э., Рояк С.Х. Математическая логика (метод. указания, часть 1). Новосибирск: Изд-во НГТУ, 1998. -61с.
Судоплатов С.В., Овчинникова Е.В. Дискретная математика: Учебник. –М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2005. -256с.
Тихомирова Л.С. Методы минимизации булевых функций (методическая разработка). – Устинов: Изд-во УМИ, 1985. -36с.
Яблонский С.В. Введение в дискретную математику. –М.: Высш. шк., 2003. -384с.
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. –М.: Наука, 1966. -119с.
Приложение.
Задачи к практическим занятиям, выполнению расчетно-графических работ и для самостоятельного изучения методов минимизации ФАЛ.
Записать формулу функции и минимизировать ее геометрическим методом, методом карт Карно, Квайна, Квайна-Мак-Класки, неопределенных коэффициентов, минимизирующих карт. Сравнить результаты.
Записать формулу функции
и минимизировать ее методами Квайна, Квайна-Мак-Класки и карт Карно. Сравнить результаты.
Записать формулу функции
и минимизировать методом карт Карно.
Во всех случаях заданий по п. №1,2,3 получить абсолютно минимальное представление ФАЛ в базисе {-,&,}. Сравнить результаты.
Записать исходную ФАЛ во всех случаях заданий по п. №1,2,3 в базисах Вебба и Шеффера методами неопределенных коэфициентов, минимизирующих, карт Квайна, Квайна-Мак-Класки, карт Карно. Сравнить резульаты.
Примечание
В таблицах по горизонтали стоят номера функций соответственно
варианту задания.
Задание №1: Варианты
представления ФАЛ
х1 |
х2 |
х3 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
17 |
18 |
19 |
20 |
21 |
22 |
23 |
24 |
0 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
|
1 |
1 |
1 |
|
1 |
1 |
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
1 |
|
0 |
0 |
1 |
|
|
1 |
1 |
|
1 |
1 |
|
|
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
|
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
|
1 |
|
|
1 |
|
1 |
1 |
|
1 |
|
|
|
1 |
1 |
1 |
1 |
|
|
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
|
1 |
1 |
1 |
|
1 |
|
1 |
1 |
|
|
1 |
1 |
|
1 |
1 |
1 |
1 |
|
|
1 |
1 |
1 |
|
1 |
0 |
0 |
1 |
|
|
|
1 |
|
1 |
|
1 |
|
1 |
1 |
|
1 |
|
1 |
1 |
1 |
1 |
|
|
1 |
1 |
1 |
1 |
0 |
1 |
1 |
|
1 |
1 |
|
1 |
|
1 |
|
1 |
1 |
1 |
1 |
|
1 |
|
1 |
1 |
1 |
1 |
|
|
1 |
1 |
1 |
1 |
0 |
1 |
1 |
|
1 |
1 |
|
1 |
1 |
1 |
1 |
|
1 |
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
1 |
|
|
|
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
1 |
|
|
1 Использованы материалы разработки [14]
1 Использованы материалы из книги [11].