- •Министерство образования и науки украины
- •Содержание
- •Глава 1 Арифметико-логические основы эвм
- •1.1 Информационные процессы
- •1.2. Обмен информацией между различными информационными устройствами
- •1.3. Аппаратные средства хранения и обработки информации
- •Глава 2 представление числовой информации в цифровом автомате
- •2.1. Системы счисления и понятие кода
- •2.2. Выбор системы счисления
- •2.3. Формальные правила двоичной арифметики
- •2.4. Перевод числа из одной позиционной системы счисления в другую
- •Глава 3 формы представления чисел в цифровых автоматах
- •3.1. Форма представления двоичных чисел с фиксированной запятой
- •3.2. Представление отрицательных чисел в формате с фиксированной запятой
- •3.3. Форма представление чисел с плавающей запятой
- •3.4. Перевод чисел из формата с фиксированной запятой в формат с плавающей запятой и обратно
- •3.5. Погрешности представления чисел
- •20 [A]ф2n- 1 для целых чисел
- •Глава 4. Арифметические действия с двоичными числами
- •4.1. Сложение двоичных чисел
- •4.1.1. Алгебраическое сложение чисел, представленных в форме с фиксированной запятой
- •4.1.2. Переполнение разрядной сетки
- •4.1.3. Модифицированный прямой, обратный и дополнительный код
- •4.1.4. Алгебраическое сложение чисел, представленных в форме с плавающей запятой
- •4.2. Умножение двоичных чисел
- •4.2.1. Методы умножения двоичных чисел
- •4.2.2. Умножение чисел, представленных в форме с фиксированной запятой
- •4.2.3. Умножение чисел, представленных в форме с плавающей запятой
- •4.2.4. Ускорение операции умножения
- •4.3. Деление двоичных чисел
- •4.3.1. Деление двоичных чисел, представленных в форме с фиксированной запятой.
- •4.3.2. Деление двоичных чисел, представленных в форме с плавающей запятой.
- •4.4. Оценка точности выполнения арифметических операций
- •4.4.1. Погрешность округления
- •Глава 5. Выполнение операций над двоично-десятичными числами
- •5.1. Представление десятичных чисел в д-кодах
- •5.2. Формальные правила поразрядного сложения в д-кодах
- •5.3. Представление отрицательных чисел в д-кодах
- •5.4. Выполнение операций сложения и вычитания в д-кодах
- •5.5. Умножение чисел в д-кодах
- •5.6. Деление чисел в д-кодах
- •5.7. Перевод чисел из д-кода в двоичный и из двоичного в д-код
- •Глава 6 Информационные основы цифровых автоматов
- •6.1. Понятие об информации и её преобразованиях
- •6.2. Преобразования алфавитной информации
- •6.3 Понятие об алгоритме
- •6.4 Понятие о дискретном (цифровом) автомате
- •Глава 7 Основы логического проектирования ца. Основные понятия алгебры логики.
- •7.1. Свойства элементарных функций алгебры логики
- •7.2. Аналитическое представление функций алгебры логики
- •7.3. Совершенные нормальные формы
- •7.4. Системы функций алгебры логики
- •7.5. Числовое и геометрическое представление фал
- •Глава 8 Минимизация функций алгебры логики
- •8.1 Метод Квайна
- •Ядро: мднф:
- •8.2 Метод Квайна-Мак-Класки
- •Простые импликанты: *111, 111*, 0**1
- •8.3 Метод Нельсона
- •8.4 Метод диаграмм Вейча
- •8.5 Метод самопонижающихся циклов
- •8.6 Минимизация монотонных функций
- •8.7 Минимизация конъюнктивных нормальных форм
- •8.8 Минимизация частично определенных булевых функций
- •8.9 Минимизация функций в базисах и-не и или-не
- •8.10 Минимизация систем булевых функций
- •Глава 9 Абстрактная теория автоматов
- •9.2 Декомпозиция абстрактных автоматов
- •Глава 10 Структурная теория автоматов
- •10.1 Композиция автоматов
- •Глава 11 Проектирование асинхронных цифровых автоматов
- •11.1 Проектирование комбинационных схем (кс) с учетом кобъед по входу и по выходу
- •11.2 Проектирование кс на дешифраторах и мультиплексорах
- •11.3 Проектирование кс на пзу
- •11.4 Проектирование кс на плм
- •Глава 12 Канонический метод структурного синтеза ца с памятью
- •12.1 Кодирование
- •12.2 Выбор элементов памяти автомата
- •12.3 Выбор структурно-полной системы элементов
- •12.4 Построение уравнений булевых функций возбуждения и выходов автомата
- •12.5 Построение функциональной схемы автомата
- •Глава 13 Обеспечение устойчивости функционирования ца
- •13.2 Проблема синтеза надёжных схем из ненадёжных элементов
- •13.3 Коды Хэмминга
- •Глава 14 Микропрограммные автоматы
- •14.2 Граф-схемы алгоритмов
8.6 Минимизация монотонных функций
Для монотонных функций СкДНФ совпадает с минимальной, что следует из теоремы: для того, чтобы булева функция Ж была монотонной, необходимо и достаточно, чтобы ее СкДНФ не содержала отрицаний переменных. СкДНФ является и МДНФ булевой функции.
Для получения МДНФ монотонных функций могут быть использованы все методы нахождения СкДНФ произвольных булевых функций.
8.7 Минимизация конъюнктивных нормальных форм
Минимизация КНФ проводится аналогично минимизации ДНФ булевых функций. Конституэнта "0" – функция = 0 на одном наборе.
Определение: Имплицентой булевой функции называется функция, принимающая значение 0 на подмножестве нулевых наборов функции .
Простой имплицентой функции называется элементарная дизъюнкция, являющаяся имплицентой функции , причем никакая ее собственная часть уже имплицентой функции не является.
Задача минимизации КНФ – определение МКНФ – решается в два этапа: поиск СкКНФ (конъюнкция всех простых имплицент) и затем нахождение МКНФ с помощью таблицы Квайна, где рассматривается, поглощает ли данная простая имплицента конституэнту "0" или нет в соответствии с соотношением поглощения:
Для первого этапа: соотношения склеивания по Квайну
Метод Нельсона в применении к задаче минимизации КНФ: раскрытие скобок в произвольной ДНФ функции и выполнение поглощений приводит к СкКНФ. Предполагаются скобки в начале и в конце каждого элементарного произведения исходной ДНФ и использование второго дистрибутивного закона.
Пример: функция, заданная МДНФ дает возможность определить ее СкКНФ:
По диаграмме Вейча для поиска МКНФ анализируются лишь нулевые наборы и переменные выписываются с инверсиями:
МKНФ:
МДНФ:
8.8 Минимизация частично определенных булевых функций
В реальных задачах часто бывает так, что значение булевой функции на некоторых наборах не определено и может доопределяться произвольно. Тогда доопределение функции целесообразно проводить так, чтобы ее минимальная нормальная форма имела наименьшее число букв из всех возможных вариантов доопределения.
Алгоритм поиска МДНФ частично определенной функции:
найти любым способом СкДНФ функции, получающуюся доопределением единицами исходной функции на всех неопределенных наборах;
выбрать МДНФ по импликантной матрице, где в столбцах выписаны лишь те конституэнты "1" функции , которые соответствуют полностью определенным единичным наборам.
По диаграмме Вейча:
ДНФ: ДНФ:
КНФ: КНФ:
ДНФ: КНФ:
8.9 Минимизация функций в базисах и-не и или-не
Функции " стрелка Пирса" (ИЛИ-НЕ) и "штрих Шеффера" (И-НЕ) обладают функциональной полнотой; для двух переменных:
Для n переменных:
Эти соотношения позволяют свести задачу минимизации булевой функции в рассматриваемых базисах к задаче минимизации ДНФ и КНФ.
Для того, чтобы перейти от КНФ функции к выражению, представляющему функциюс помощью операции "стрелка Пирса" достаточно заменить в КНФ все операции конъюнкции и дизъюнкции операцией, сохранив скобки и отрицания на своих местах.
КНФ функции можно представить в общем виде:
где – элементарные дизъюнкции : ;
Используя операцию для nпеременных, получим:
Таким образом, минимизацию функции можно осуществлять в базисе , а затем перейти к операции. Операция с помощьюреализуется таким образом:
При переходе от многоместных операций к двухместным, необходимо учитывать, что функции и / не подчиняются закону ассоциативности (;). Если элементы только двухвходовые, то можно использовать следующие переходные соотношения:
Пример: рассмотрим функцию, заданную диаграммой Вейча:
МКНФ:
Переходя к двухместным операциям, получаем:
Аналогично осуществляется переход от произвольной ДНФ к выражению, содержащему только операцию "штрих Шеффера". Справедливы также переходные соотношения:
Пример:
МДНФ: