Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Логические основы проектирования дискретных устройств.
Глава 24. Упрощение дизъюнктивных нормальных форм
/
/
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Часть 1. Множества, отношения, графы. Глава 1. Основные понятия теории множеств
+
Глава 2. Отношения бинарные и n-арные
+
Глава 3. Основные понятия теории графов
+
Глава 4. Изоморфизм графов
+
Глава 5. Циклы и разрезы
+
Глава 6. Доминирующие и независимые множества
+
Глава 7. Раскраска графа
+
Глава 8. Обходы графа
+
Глава 9. Планарные графы
+
Часть 2. Комбинаторные алгоритмы дискретной математики. Глава 10. Комбинаторные задачи и методы комбинаторного поиска
+
Глава 11. Задача о кратчайшем покрытии
+
Глава 12. Задача о вырожденности троичной матрицы
+
Глава 13. Задача о диагностическом тесте
+
Глава 14. Задачи о разбиениях
+
Часть 3. Алгебра логики. Глава 15. Элементы логики высказываний
+
Глава 16. Тавтологии логики высказываний
+
Глава 17. Элементы логики предикатов
+
Глава 18. Элементы абстрактной булевой алгебры. Интерпретации
+
Глава 19. Отношения между формулами, равносильные преобразования
+
Глава 20. Нормальные формы
+
Глава 21. Функциональная полнота
+
Часть 4. Оптимизация в булевом пространстве. Глава 22. Булево пространство
+
Глава 23. Булевы функции
+
Глава 24. Упрощение дизъюнктивных нормальных форм
-
24.1. Локальные методы упрощения ДНФ
24.2. Устранение избыточности в ДНФ
24.3. Удаление избыточных элементарных конъюнкций
24.4. Удаление избыточных букв элементарных конъюнкций
24.5. Получение безызбыточной ДНФ
Глава 25. Минимизация ДНФ: метод Квайна-МакКласки
+
Глава 26. Минимизация ДНФ: метод Блейка-Порецкого
+
Глава 27. Визуальный метод минимизации булевых функций
+
Глава 28. Не полностью определенные булевы функции
+
Глава 29. Минимизация слабо определенных булевых функций
+
Глава 30. Нахождение ядра в безызбыточной ДНФ
+
Глава 31. Метод простых совокупностей
+
Глава 32. Минимизация систем булевых функций
+
Глава 33. Минимизация числа аргументов
+
Глава 34. Ортогонализация ДНФ
+
Глава 35. Декомпозиция булевых функций
+
Часть 5. Полиномиальные представления булевых функций. Глава 36. Дифференцирование булевых последовательностей
+
Глава 37. Дифференцирование булевых функций
+
Глава 38. Полиномы Жегалкина и Рида-Маллера
+
Глава 39. Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно
+
Глава 40. Реализация частичных булевых функций полиномами Жегалкина
+
Глава 41. Лестничный алгоритм минимизации полиномов Жегалкина
+
Глава 42. Приближенный алгоритм минимизации полиномов Жегалкина
+
Глава 43. Элементы теории линейных векторных пространств
+
Глава 44. Реализация системы частичных булевых функций полиномами Жегалкина
+
Часть 6. Проектирование логических схем. Глава 45. Системы логического управления и задачи их проектирования
+
Глава 46. Анализ комбинационных схем
+
Глава 47. Синтез комбинационных схем
+
Глава 48. Моделирование логических схем на ЭВМ
+
Глава 49. Диагностика неисправностей в комбинационных схемах
+
Глава 50. Контактные схемы
+
Глава 51. Схемы на транзисторах
+
Глава 52. Транзисторные матричные схемы
+
Глава 53. Программируемые логические матрицы
+
Часть 7. Методы теории автоматов. Глава 54. Понятие и типы конечных автоматов
+
Глава 55. Представление событий в автоматах
+
Глава 56. Минимизация полных автоматов
+
Глав а 57. Минимизация частичных автоматов
+
Глава 58. Кодирование состояний синхронного автомата
+
Глава 59. Кодирование состояний асинхронного автомата
+
Глава 60. Схемная реализация автоматов
+
Часть 8. Алгоритмы логического управления. Глава 61. Алгоритмы и их формальные представления
+
Глава 62. Сети Петри
+
Глава 63. Анализ сетей Петри
+
Глава 64. Параллельные алгоритмы логического управления
+
Глава 65. Параллельный автомат
+
Глава 66. Кодирование состояний параллельного автомата
+
Глава 67. Секвенциальный автомат
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*