Лекции (Лекции Орлова по микропроцессорам), страница 6
Описание файла
Документ из архива "Лекции Орлова по микропроцессорам", который расположен в категории "". Всё это находится в предмете "цифровые и импульсные устройства" из 5 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "лекции и семинары", в предмете "цифровые и импульсные устройства" в общих файлах.
Онлайн просмотр документа "Лекции"
Текст 6 страницы из документа "Лекции"
X2 F(X1, X2)= X1X2
_____
F15= X1/ X2= X1 X2 -штрих Шеффера, реализуется на элементе «И-НЕ»
Элемент «И-НЕ».
&
X1
F(X1, X2)= X1/X2
X2
_____
F9= X1 X2= X1 X2 -стрелка Пирса, реализуется на элементе «ИЛИ-НЕ»
Элемент «ИЛИ-НЕ».
1
X1
F (X1, X2)= X1 X2
X2
__________
F7=X1 | ς | X2= X1 mod2 X2 |
-функция сложения по модулю два, функция «исключающее ИЛИ»,
функция отрицания равнозначности, реализуется на элементе «исключающее ИЛИ»
Элемент «исключающее ИЛИ».
=1
X1F(X1, X2)= X1 mod2 X2
X2
________
F10=X1 | ς | X2= X1 mod2 X2 |
-функция равнозначности, отрицание функции сложения по модулю два.
F14=X1 X2 -функция импликации, прямая импликация, «ЕСЛИ…ТО…»
______
F3=X1 X2 -отрицание прямой импликации;
F12=X2 X1 -обратная импликация;
______
F5=X2 X1 -отрицание обратной импликации.
Для функций F10, F14, F12, F5, F3 не существует отдельных логических элементов, но они могут быть реализованы на других элементах.
2.3 Функции многих переменных.
Функцию многих переменных можно выразить через элементарные функции. Система элементарных функций называется полной, если через неё можно выразить функцию любого числа переменных. Функционально полная система функций образует логический базис.
Примеры (2.2.) базисов:
-
¬, -дизъюнктивный базис;
-
¬, -конъюнктивный;
-
¬, , -Булевский базис (смешанный);
-
/ -штрих Шеффера;
-
↓ -стрелка Пирса;
-
/, «1»;
-
↓, «0»;
-
→, «0»;
-
→, «1»;
-
→, mod2;
-
&, mod2 –базис Жегалкина.
Система функций, образующая булевский базис, наиболее изучена и используется для построения устройств в любых других базисах. Поэтому его роль при построении комбинационных схем велика.
Основные законы Булевского базиса:
1) закон идемпотентности
аа=а; аа=а;
2) коммутативный (переместительный) закон
ав=ва; ав= ва;
3) ассоциативный (сочетательный) закон
а(вс)=(ав)с; а(вс)=(ав) с;
4) дистрибутивный (распределительный) закон
а(вс)= (ав) (ас); а (вс)= (ав) (ас);
5) закон двойного отрицания
_
ā =а;
6) законы двойственности (правила де Моргана)
_ _ __ _ _ ____
а + в= ав; а в = а + в;
Его можно распространить на любое число переменных n:
7) закон склеивания
_
а в + а в =а; (склейка по в)
_
(a + в) (a + в) =а;
8) закон поглощения
а + а в= а; а(а + в)=а.
Действия с константами «0» и «1»:
_
а + 0=а; а + 1=1; а + а =1;
_
а 0 =0; а 1=а; а а =0.
Правило введения и исключения лишних связок:
_ _
F1X+ F2X= F1X+ F2X+ F1 F2;
_ _
(F1+X) (F2+X)= (F1+X) (F2+X) (F1+ F2).
2.4. Задание функции комбинационных логических схем.
Функция может быть задана:
1) таблицей истинности.
Таблица истинности (рис 2.1.) перечисляет все наборы значений двоичных переменных и содержит строк, где n – число переменных. Для каждого набора указывается значение функции.
Если функция на наборе не определена, то в столбце значений функции используется “-“ (прочерк).
Если определить старшинство переменных, то каждому набору можно присвоить номер указываемый в столбце номеров N.
2
) номерами наборов, например, F=1 на наборах {2,3,6}.
3) задание в виде формулы алгебры логики.
Формула представляет собой совокупность имён логических переменных, знаков логических операции и скобок.
Выражение вычисляется слева на право в соответствии со старшинством операций .
4) топологические способы задания функции в виде графов или диаграмм (карт) Карно, в виде n - мерных кубов.
2.4.1. Нормальные формы записи булевых функций.
Любая функция алгебры логики может быть представлена в дизъюнктивной нормальной форме (ДНФ) или конъюнктивной нормальной форме (КНФ).
ДНФ – дизъюнкция элементарных конъюнкций.
Элементарная конъюнкция – это конъюнкция переменных функций и их отрицаний. Она не может включать переменную и её отрицание одновременно.
Пример 2.3.
Следующие выражения являются элементарными конъюнкциями.
Дизъюнкция элементарных конъюнкций: - ДНФ.
КНФ – конъюнкция элементарных дизъюнкций.
Элементарная дизъюнкция – это дизъюнкция переменных функций и их отрицаний. Она не может включать переменную и её отрицание одновременно.
Пример 2.4.
Следующие выражения являются элементарными дизъюнкциями.
Конъюнкция элементарных дизъюнкций: - КНФ.
Одна и та же функция может иметь несколько ДНФ или КНФ.
2.4.2. Совершенные нормальные формы.
Конституентой единицы называют элементарную конъюнкцию, содержащую все переменные функции. По-другому конституента единицы называется конъюнктивной конституентой, или минитермом.
Конституентой нуля называют элементарную дизъюнкцию всех переменных функций, иначе её называют дизъюнктивной конституентой, или макситермом.
Конституента единицы принимает единственное значение тогда и только тогда, когда все буквы принимают единичное значение (буква – сама переменная или её отрицание ).
abc=1 только на том наборе, где a=1, b=1, c=1, N=7 (см. рис. 1)
только на том наборе, где , N=5.
Конституента нуля принимает нулевое значение только на одном наборе, на котором все буквы равны нулю.
Конституента нуля равна 0 на наборе , а конституента нуля равна 0 на наборе
На основе конституент 1(0) строятся совершенные нормальные формы (СНФ)
Дизъюнкция конституент 1 носит название совершенной дизъюнктивной нормальной формой (СДНФ).
Пример 2.5.
Конъюнкция конституент 0 носит название совершенной конъюнктивной нормальной формой (СКНФ).
Пример 2.6.
СДНФ и СКНФ строится по соответствующей таблице истинности. СДНФ представляет собой дизъюнкцию всех конституент единицы, соответствующих тем наборам, на которых функция принимает значение единицы. СКНФ определяется по таблице истинности следующим образом. При этом переменная, имеющая в наборе значение ноль, входит в конституенту единицы с отрицанием, а имеющая значение единицы – без отрицания. СКНФ представляет собой конъюнкцию всех конституент 0, соответствующих тем наборам, на которых функция равна 0. При этом переменной, имеющей в наборе значение 0, в конституенте соответствует сама переменная, а переменной имеющей значение 1, соответствует отрицание переменной.
Пример 2.7.
Ф
ункции, заданной таблицей истинности (рис. 2.2), соответствует СДНФ.
Функции, заданной этой же таблицей истинности, соответствует СКНФ.
Представление в виде СДНФ или СКНФ для функции является единственным.
Свойства СНФ.
I. 1. Дизъюнкция всех конституент 1 равна единице
2. Конъюнкция всех конституент 0 равна нулю
II. 1. Дизъюнкция каких-то k конституент единицы равна отрицанию дизъюнкций оставшихся конституент единицы.
2. Конъюнкция каких-то k конституент нуля равна отрицанию конъюнкций оставшихся конституент нуля
Пример 2.8.
Для функции двух переменных a и b имеем следующее множество конституент 1: . Отрицание функции легко может быть найдено путём использования свойства II.1. Действительно, , и следовательно, .
2.5. Задача минимизации булевых функций.
Выражения булевых функций являются математическими моделями, на основании которых строятся логические схемы. Проектируемые логические схемы должны быть оптимальными в следующем смысле.
Схема должна содержать минимальное число элементов при удовлетворении заданного быстродействия или обладать максимальным быстродействием при ограничении на количество используемых элементов.
В настоящее время отсутствуют эффективные методы проектирования оптимальных логических схем. Поэтому используют методы, основанные на каких-то допущениях и упрощениях, которые позволяют синтезировать схемы, близкие к оптимальным.
Канонический метод синтеза логических схем заключается в следующем.
Закон функционирования схемы задаётся в виде системы логических функций. Она путём эквивалентных преобразований приводится к виду, позволяющему построить экономную схему.
Функции считаются эквивалентными, если они имеют одну и ту же таблицу истинности. Наиболее разработаны методы минимизации функции, выраженных в ДНФ или КНФ.
О
бычно задача оптимального синтеза решается в два этапа. На первом этапе упрощается ДНФ и КНФ функции. На втором этапе производится дальнейшее упрощение функции путём построения скобочных форм. Окончательные формы функций используется для построения проектируемой схемы. Оптимизация схем в других базисах осуществляется через преобразование системы функций в булевский базис.