Цифровыеустройства. Технология idl
Скачать 3.16 Mb.
|
ИССЛЕДОВАНИЕ ЛОГИЧЕСКИХ ЭЛЕМЕНТОВЦельработы: Изучение базовых логических функций. Исследование функционирования основных логических элементов. 1. ТЕОРЕТИЧЕСКИЕ СВЕДЕНИЯ Все цифровые устройства построены на элементах, которые выполня- ют те или иные логические операции. Для анализа и синтеза цифровых уст- ройств используется аппарат алгебры логики. В общем случае цифровые уст- ройства разделяются на два типа: − комбинационные; − последовательностные. В комбинационных устройствах выходной сигнал в любой момент времени зависит только от значений входных сигналов в тот же момент вре- мени. В последовательностных устройствах выходной сигнал в любой мо- мент времени зависит как от значений входных сигналов в данный момент времени, так и от значений входных сигналов в предыдущие моменты време- ни. Для этого эти устройства имеют память. В последовательностных уст- ройствах комбинационные устройства являются составной частью, поэтому комбинационные устройства изучаются первыми. Рассмотрим комбинационное устройство,блок-схема которого показа- на на рис. 1.1. Рис. 1.1. Блок-схема комбинационного устройства Входные и выходные сигналы комбинационного устройства могут принимать только два логических значения 0 или 1, т. е. 0,1xi. 0,1; yi Любая совокупность входных сигналов может быть представлена вектором , , Х, х1 х2 хп и называется входным набором. Очевидно, что существует 2 празличных входных наборов. Сопоста- вим каждому входному набору определенное значение выходного сигнала , х1fу,х2, хп. Тогда работа комбинационной схемы (устройства) может быть описана с помощью функции, отображающей множество входных на- боров в значение выходной переменной Y. Определение. Функцией алгебры логики (ФАЛ), хf,1 х2, хп называ- ется функция, дающая однозначное отображение множества векторов Хв пе- ременную Y. Так как число различных входных наборов равно 2п, то любая ФАЛ может быть задана в виде таблицы со 2пстроками (табл. 1.1). Таблица 1.1
В левой части таблицы перечислены все возможные входные наборы, а в правой записаны значения функции на этих наборах. Каждая ФАЛ представляет собой двоичный набор длиной 2п, а число возможных таких наборов равно 22п , поэтому справедливо следующее ут- верждение : число различных функций алгебры логики, зависящих от nаргу- ментов, конечно и равно 22п . Рассмотрим несколько примеров. Пустьn= 1, тогда число функций ал- гебры логики 22п = 4. Эти функции приведены в табл. 1.2. Таблица 1.2
Функции f0 и f3 − логические константы (константа нуля и константа единицы). Функция f1 называется функцией тождества или просто тождеством, т. к. f1 = х, а функция f2 называется функцией отрицания или просто отри- цанием, f3 х(читается «не Х»), функция НЕ. Для 2 существует приведены в табл. 1.3. 22п 222 16 функций алгебры логики, которые Таблица 1.3
Рассмотрим эти функции. Функции 0 хf1,х2 и 15 хf1,х2 – логические константы. Функция 0хf1,х2 0 15 хf1,х2 – константа нуль (функция нуль). Технически f0 реализуется генератором нуля (рис. 1.1, а). Функция 15 хf1,х2 1 0 хf1,х2 – константа единица (функция еди- ница). Технически реализуется генератором единицы (рис. 1.2, б). а б Рис. 1.2. Условное обозначение генераторов логических констант Будем продолжать рассматривать функции в табл. 1.3 по парам, т. к. по отношению к любой функции вторая функция в паре является инверсной. Функция 1хf1,х2 – конъюнкция, логическое умножение, функция И: 1 1, 2 хfxх1 & x2 x1 x2 x1x2 f14 (x1, x2 ) . Технически реализуется логическим элементом И,как показано на рис. 1.3, а. Функция 14 хf1,х2 – функция Шеффера, функция И-НЕ : f14 (x1, x2 ) x1x2 f1(x1, x2 ) . Технически реализуется логическим элементом Шеффера, элементом И-НЕ, (рис. 1.3, б). а б в г Рис. 1.3. Условное обозначение логических элементов И и И-НЕ Функции И и И-НЕ могут быть, как и соответствующие им логические элементы, с произвольным числом переменных (входов) (рис. 1.3, в, г). Функция f2 – запрет 1-го аргумента : f2 (x1, x2 ) x1 x2 x1 x2 f13 (x1, x2 ) . Технически реализуется элементом запрета (рис. 1. 4, а). Функция f13 – импликация от 1-го аргумента ко второму : ( , f)13 x1 x2 1 х2 х1 xх2 f2 (x1, x2 ) . Технически реализуется импликатором (рис. 1. 4, б). а б Рис. 1.4. Условное обозначение: а – элемента запрета; б – импликатора Функция f3 – повторение первого аргумента (функция ДА): f3 (x1 , x2 ) x1 f12 (x1 , x2 ) . Технически реализуется повторителем(рис. 1. 5, а). Функция f12 – отрицание первого аргумента (функция НЕ) : f12 (x1, x2 ) x1 f3 (x1, x2 ) . Технически реализуется инвертором (рис. 1. 5, б). а б Рис. 1.5. Условные обозначения повторителя и инвертора Функция f4 – запрет 2-го аргумента : f4х1,х2 2 х1 1х2 х f1х1 х1,х2 . Функция f11 – импликация от 2-го аргумента к 1-му : f11 х1,х2 2 х1 1х2хfх4 х1,х2 . Функция f5 – повторение 2-го аргумента : f5 х1,х2 = х2 = 10 хf1,х2 . Функция f10 – отрицание второго аргумента : f10 х1,х2 = х2 = 5 хf1,х2 . Функция f6 – неравнозначность, ИСКЛЮЧАЮЩЕЕ ИЛИ : f6 х1,х2 х1 2 1х2 х1х2 хfх9 х1,х2 . Технически реализуется логическим элементом «ИСКЛЮЧАЮЩЕЕ ИЛИ» (рис. 1. 6, a). Функция f9 – равнозначность, эквивалентность, «ИСКЛЮЧАЮЩЕЕ ИЛИ-НЕ»: f9(x1,x2 ) x1 x2 x1x2 x1 x2 x1 x2 Технически реализуется элементом равнозначность, «ИСКЛЮЧАЮЩЕЕ ИЛИ–НЕ» (рис.1.6, б). f6(x1,x2 ). Функции неравнозначность и равнозначность могут быть, как и соот- ветствующие им логические элементы, с произвольным числом переменных (входов) (рис. 1.6, в, г). Функция неравнозначность равна 1, если число аргу- ментов, равных 1, нечетно. а б в г Рис. 1.6.Логические элементы,реализующие функции неравнозначность и равнозначность Функция f7 – дизъюнкция, функция ИЛИ : f7 (x1, x2 ) x1 x2 f8 (x1, x2 ) . Технически реализуется элементом ИЛИ (рис. 1.7, а). Функция f8 – функция Пирса или функция Вебба (функция ИЛИ-НЕ) : f8 (x1, x2 ) x1 x2 f7 (x1, x2 ) . Технически реализуется элементом Пирса или Вебба (элемент ИЛИ-НЕ) (рис.1. 7, б). а б в г Рис. 1.7. Логические элементы ИЛИ и ИЛИ-НЕ Функции ИЛИ и ИЛИ-НЕ могут быть, как и соответствующее им логи- ческие элементы, с произвольным числом переменных (входов) (рис. 1.7, в, г). Значение функций двух переменных в общей теории логических функ- ций состоит в том, что с их помощью может быть представлена любая сколь- ко угодно сложная ФАЛ.Средством для такого представления является су- перпозиция булевых функций или подстановка одних логических функций вместо аргументов в другие функции. Возможность такой подстановки обу- словливается тем, что в силу определения области значений функций и их аргументов совпадают. Для выражения сложных логических функций достаточно использовать не все элементарные функции, а только их некоторую часть, называемую ба- зисом или системой. Система элементарных функций F1, F2, Fkназывается функциональ- но полной, если любую функцию алгебры логики можно записать в виде формулы через функции F1, F2, Fk. Минимальным базисом называется такая функционально полная сис- тема – F1, F2, Fm, для которой удаление любой одной из входящих в нее функций превращает эту систему в функционально неполную. Примерами полных систем являются: 1. F1 х1,х2 х1 х2 , F2 х1,х2 х1 х2 , F3 х х. 2. F1 х1,х2 х1 х2 , F2 х х. 3. F1 х1,х2 х1 х2 , F2 х х. 4. Fх1,х2 5. Fх1,х2 х1 х2 . х1 х2 . 6. F1 х1,х2 х1 х2 , F2 х1,х2 х1 х2 , F3 х 1. ФАЛ можно изменять, упрощать. Для проведения таких манипуляций используются основные законы алгебры логики, правила, теоремы упроще- ния, которые представлены в виде табл. 1.4. Таблица 1.4 Основные законы,правила и теоремы алгебры логики Для оператора (+) Для оператора Переместительный закон (коммутативный) х1 х2 х2 х1 х1 х2 х2 х1 Сочетательный закон (ассоциативный) х1 х2 х3 х1 х2 х3 х1 х2 х3 х1х2 х3 Распределительный закон (дистрибутивный) х1 х2 х3 х1х2 х1х3 х1 х2 х3 х1 х2 х1 х3 Закон отрицания (закон де Моргана) х1 х2 х1 х2 х1 х2 х1 х2 х0 х Операции с логической 1 и 0 х 0 0 1 1 х1 х Правило повторения (идемпотентности) хх хх Правило дополнительности 1 Правило двойного отрицания хх хх 0 х Теоремы х упрощения x1x2 x1 x2 x1 x xxx (x1 2 )( 1 2 ) 1 x1( x1 x2 ) x1 x1 x1 x2 x1 x1(x1 x2 ) x1x2 x1 x1x2 x1 x2 ПОРЯДОК ВЫПОЛНЕНИЯ ЛАБОРАТОРНОЙ РАБОТЫ Оборудование и компоненты: универсальная лабораторная установка IDL-800; ИС 1533ЛА3(74АLS00) − четыре логических элемента 2И-НЕ; ИС 1533ЛЕ1(74АLS02) − четыре логических элемента 2ИЛИ-НЕ, ИС1533ЛН1(74 АLS04)− шесть логических элементов НЕ; ИС 1533ЛИ1(74АLS08) − четыре логических элемента 2И; ИС 1533ЛЛ1(74АLS32) − четыре логических элемента 2ИЛИ; ИС 1533ЛП5(74АLS86) − четыре двухвходовых логических элемента ИСКЛЮЧАЮЩЕЕ ИЛИ. |