- •Содержание
- •Введение
- •1. Функции алгебры логики и их свойства
- •1.1. Функции одной переменной
- •1.2. Функции двух переменных
- •1.4. Обратные и инверсные логические функции
- •1.4.1. Обратные функции
- •Прямое соответствие (рис. 2,а)
- •Обратное соответствие (рис. 2,б)
- •1.4.2. Инверсные функции
- •1.5. Приоритеты операций
- •1.6. Законы и тождества булевой алгебры
- •1.7. Вопросы для самоконтроля
- •2. Формы задания логических функций
- •2.1. Словесная форма
- •2.2. Табличная форма
- •2.3. Задание формулой
- •2.3.1. Совершенная дизъюнктивная нормальная форма
- •Выводы:
- •Правила составления сднф
- •2.3.2. Совершенная конъюнктивная нормальная форма
- •Правила составления скнф
- •2.3.3. Дизъюнктивные и конъюнктивные нормальные формы
- •2.3.4. Минтермы, макстермы и их свойства
- •2.4. Другие формы задания логических функций
- •2.5. Вопросы для самоконтроля
- •3. Функционально полные системы функций
- •Штрих Шеффера
- •Стрелка Пирса
- •Импликация и «0»
- •3.1. Теорема Поста–Яблонского
- •3.1.1. Определение минимального базиса
- •3.1.2. Функции, не сохраняющие 0 и 1
- •3.1.3. Двойственная функция
- •3.1.4. Монотонная функция
- •3.3. Вопросы для самоконтроля
- •4. Минимизация логических функций
- •4.1. Расчетный метод
- •4.1.1. Склеивание
- •4.1.2. Поглощение
- •4.1.3. Развертывание
- •4.2. Карты Карно
- •4.3. Минимизация систем логических уравнений
- •4.4. Частично определенная логическая функция
- •4.5. Вопросы для самоконтроля
- •5. Синтез и анализ логических схем
- •5.1. Схемы на переключателях, диодах и транзисторах
- •5.2. Схемы на логических элементах
- •5.2.1. Реализация функции на элементах и, или, не
- •5.2.2. Реализация функции на элементах и–не
- •5.2.3. Реализация функции на элементах или–не
- •5.3. Анализ схем
- •5.4. Оценка качества схем
- •5.5. Вопросы для самоконтроля
- •6. Булева производная
- •6.1. Контроль работоспособности логических схем
- •6.2. Построение тестов методом булевой производной
- •6.2.1. Свойства булевой производной
- •6.3. Вопросы для самоконтроля
- •7. Примеры преобразований логических функций
- •7.1. Представление логических функций в системе и, или, не
- •7.2. Построение таблиц истинности
- •7.3. Преобразование кнф в днф и днф в кнф Преобразование кнф в днф
- •Преобразование днф в кнф
- •7.4. Доказательства равенства логических функций
- •7.5. Разложение логических функций по переменным
- •7.5.1. Последовательное разложение по всем переменным Разложение по п. 1.6.13 (1)
- •Разложение по п. 1.6.13 (2)
- •7.5.2. Параллельное разложение по всем переменным разложение по п. 1.6.13 (1)
- •Разложение по п. 1.6.13 (2)
- •8. Домашняя работа
- •8.1. Задание
- •8.2. Выполнение
- •Проверить двумя способами эквивалентность формул
- •С помощью эквивалентных преобразований привести формулу к днф, кнф, сднф, скнф, получить полином Жегалкина.
- •С помощью карт Карно найти все минимальные днф функции трех переменных ƒ(X,y,z).
- •С помощью карт Карно найти все минимальные днф и кнф булевой функции четырех переменных , заданной вектором своих значений.
- •Является ли полной система функций? Образует ли она минимальный базис?
- •9. Список литературы
- •Введение в булеву алгебру
- •Гоу впо “Московский государственный университет приборостроения и информатики”
- •107996, Москва, ул. Стромынка, 20
5.2. Схемы на логических элементах
На рис. 10 показана схема, реализующая мажоритарную функцию
,
полученную по табл. 12 после минимизации.
Построена она следующим образом.
Считаем, что входные переменные a, b, c имеются. Рисуем три элемента И на два входа (это элементы с номерами 1, 2, 3) для реализации произведений ab, ac, bc. Подключаем к этим элементам входные переменные согласно формуле. Рисуем элемент ИЛИ на три входа (элемент 4) и подключаем к нему выходы элементов И. На выходе элемента ИЛИ будем иметь функцию f.
На этом же рисунке показано условное обозначение этой схемы в виде одного элемента 3 – 2И – 3ИЛИ.
Рисунок 10 – Реализация мажоритарной функции
на логических элементах
Рассмотрим реализацию еще одной функции.
Пусть
имеем функцию
.
Реализуем ее на логических элементах, являющихся реализацией различных логических базисов (напомним: логический базис – это функционально полная система логических функций).
5.2.1. Реализация функции на элементах и, или, не
Порядок действий здесь следующий.
Получаем инверсии (1) и
(2).Получаем произведения с = a (3) и d = b (4).
Получаем сумму
(5).
В скобках показаны номера элементов, реализующих операции.
Результат показан на рис. 11.
Рисунок 11 – Реализация функции
на элементах И, ИЛИ, НЕ
5.2.2. Реализация функции на элементах и–не
Для использования этого базиса необходимо взять двойное отрицание и, применив теорему де Моргана, получить выражение, удобное для реализации
(Вверху показаны шаги преобразования формулы, а в последней формуле цифрами указаны номера элементов, реализующих соответствующие ее части.)
Берем двойное отрицание (функция не изменяется).
Применяем закон де Моргана.
При
создании схемы сначала получаем инверсии
(1)
и
(2),
затем реализуем с =
(3)
и d =
(4),
и, наконец
(5)
(в скобках указаны номера элементов,
реализующих функции, см. рис. 12).
Рисунок 12 – Реализация функции
на элементах И–НЕ
5.2.3. Реализация функции на элементах или–не
Здесь действия аналогичны действиям предыдущего пункта с тем отличием, что двойное отрицание сначала выполняется над частями выражения, а затем и над всем выражением
Реализация схемы показана на рис. 13.
Рисунок 13 – Реализация функции
на элементах ИЛИ–НЕ
Другой вариант получается, если исходную формулу представить в КНФ
Этот вариант реализован схемой, показанной на рис. 14.
Рисунок 14 – Реализация на элементах ИЛИ–НЕ функции ,
представленной в конъюнктивной форме
5.3. Анализ схем
Дана схема (рис. 14). Требуется провести ее анализ.
шаг 1: Обозначить выводы всех элементов именами (показаны на схеме).
шаг 2: Для каждого элемента, записать реализованную им функцию:
1.
;
(
);
2.
;
(
);
3.
;
4.
;
5.
.
Шаг 3:
Решить систему уравнений и получить y = f(a, b).
Решаем систему логических уравнений методом подстановки с применением законов булевой алгебры
Задание: Проведите самостоятельно анализ схемы, показанной на рис. 15.
Рисунок 15 – Схема для самостоятельного анализа
5.4. Оценка качества схем
Качество схемы оценивается ее сложностью и задержкой сигнала в самой длинной цепочке элементов.
Сложность:
C =
;
M – количество элементов в схеме;
Ni – количество выводов у i–го элемента.
Задержка
сигналов: T =
,
j – индексы элементов самой длинной цепи;
– задержка j–го
элемента.
Оценим
качество схем, показанных на рис. 11, рис.
12, рис. 13, рис. 14 и рис.15, приняв, что
задержки сигнала у всех элементов
одинаковы и равны
.
Для
схемы рис. 11 получаем С = 3
3
+ 2
2
= 13; Т = 3
.
Для схемы рис. 12 получаем С = 3 5 = 15; Т = 3 .
Для схемы рис. 13 получаем С = 3 6 = 18; Т = 4 .
Для схемы рис. 14 получаем С = 3 5 = 15; Т = 3 .
Для схемы рис. 15 получаем С = 3 4 = 12; Т = 3 .
Пример показывает, что функции в ДНФ выгоднее реализовывать на элементах И–НЕ, а функции в КНФ на элементах ИЛИ–НЕ.
Довольно часто приходится сталкиваться с задачей реализации логических функций при ограничении на число входов элементов, например, имеем элементы И на 2 входа, а надо реализовать И на 6 входов. В таком случае, используя ассоциативный закон, разбиваем функцию на части по два входа. Здесь возможны варианты:
Вариант
1
.
Реализация этого варианта показана на рис. 16
Рисунок 16 – Вариант 1 реализации функции 6И на элементах 2И
Вариант
2
.
Реализация этого варианта показана на рис. 17.
Рисунок 17 – Вариант 2 реализации функции 6И на элементах 2И
По сложности оба эти варианта одинаковы
С = 3 5 = 15,
а по быстродействию разные: максимальная задержка
для варианта 1 T1 = 5τ ,
для варианта 2 T2 = 3τ .
