Б.И. Дубовик. Конспект лекций по электронике для студентов направления 550200 (Автоматизация и управ. Б.И. Дубовик. Конспект лекций по электронике для студентов напра. Конспект лекций для студентов направления 550200 (Автоматизация и управление) специальности
 Скачать 0.94 Mb.
|
Функции алгебры логикиФункции, аргументами которых являются элементы двоичного алфавита, и принимающая значение 0 или 1 f(xi)=0,1, называется булевой функцией или переключательной или функцией алгебры-логики. булевые функции – удобный аппарат для описания схем различных преобразователей цифровой информации. Областью определения булевых функций от n – аргументов служит совокупность всевозможных n-мерных упорядоченных наборов 0 и 1: U= f(x1,x2...xi...xn)  Функции называются равными, если на всех возможных значениях аргументов они принимают одинаковые значения: f1(x1,x2...xn) = f2(x1,x2...xn) Функция существенно зависит от xi, если выполняется соотношение В противном случае хi называется фиктивным. Функция не изменится, если к её аргументам добавить несколько фиктивных аргументов или их убрать. Для задания функций можно составить таблицу, в которой перечисляются все наборы аргументов и соответствующие значения функций. Если функция имеет n логических переменных, то они образуют 2n возможных логических наборов из 0 и 1. Для каждого набора переменных логическая функция может принимать значения 0 или 1. Поэтому для n переменных число функций алгебры-логики равно 22n. Пример:
Все возможные логические функции n переменных можно образовывать с помощью трёх основных операций: логическое отрицание, обозначаемое “-” над соответствующей переменной, логическое сложение (дизъюнкция, операция ИЛИ), обозначаемое символами “+” или “V”, логическое умножение (конъюнкция, операция И), обозначаемая символом ”*” или ““. Рассмотрим примеры. Пусть задана булева функция n- переменных: y=(x1,x2..xn). При n=0 или .При n=1 y=f(x).
При n=2 y=f(x1,x2)
, – стрелка Пирса, , – штрих Шеффера , сложение по модулю 2, .Формы представления логических функций Логические функции могут иметь различные формы представления. Наиболее распространенное – табличное и алгебраическое. Этими представлениями мы пользовались выше. Если логическая функция представлена алгебраически, то переход к табличному представлению весьма прост. Для этого достаточно подставлять различные комбинации аргументов (0 и 1) в выражение и определять значение функции, заполняя таблицу. Гораздо сложнее обратный переход от табличного представления функции к алгебраическому. Рассмотрим более подробно, как перейти от табличного способа задания функции к алгебраическому. Здесь можно выделить два пути, один из которых основан на использовании совершенной дизъюнктивной нормальной формы. Совершенная дизъюнктивная нормальная форма представляет собой выражение, обладающее следующими свойствами: 1) в нём нет двух одинаковых слагаемых; 2) ни одно слагаемое не содержит двух одинаковых множителей; 3) в каждом слагаемом содержится в качестве множителя либо переменная, либо её отрицание; 4) никакое слагаемое не содержит переменной вместе с её отрицанием. С помощью совершенной дизъюнктивной нормальной формы можно сформулировать следующий алгоритм перехода от табличной формы записи функции к аналитической: 1. Выбрать в таблице задания функции наборы аргументов, при которых функция равна 1. 2. Выписать конъюнкции переменных. При этом, если хi=1, то он входит в конъюнкцию без отрицания, а если 0, то в конъюнкцию входит отрицание хi. 3. Все полученные конъюнкции соединяются законом дизъюнкции. Рассмотрим пример. Пусть логическая функция задана таблицей:
Функция У принимает значение равное 1 в третьей, шестой и восьмой строках таблицы, поэтому логическая функция будет содержать три слагаемых, имеющих вид: х1х2 х3; х1х2 х3; х1х2 х3.И тогда алгебраическое выражение для логической функции будет иметь следующий вид: у = (х1х2 х3)V(х1х2 х3)V( х1х2 х3). Совершенная конъюнктивная нормальная форма – это та форма, которая обладает следующими свойствами: 1) в ней нет двух одинаковых множителей; 2) ни один множитель не содержит двух _ одинаковых слагаемых; 3) каждый множитель содержит хi, либо хi; 4) ни один множитель не содержит переменной вместе с её отрицанием. Алгоритм перехода от табличной формы записи функции к аналитической с помощью конъюнктивной нормальной формы будет иметь вид: 1. Выбираем в таблице задания функции все наборы, на которых функция равна 0. 2. Составляем дизъюнкцию аргументов, причём переменная будет с отрицанием, если она входит в набор как 1. 3. Все полученные дизъюнкции соединяем законом конъюнкции. Рассмотрим пример. Пусть логическая функция задана таблицей:
Функция У принимает значение равное 0 во второй, четвертой и седьмой строках таблицы, поэтому логическая функция будет содержать три логических множителя, имеющих вид: х1 V х2 V х3; х1 V х2 V х3; х1 V х2 V х3. И тогда алгебраическое выражение для логической функции будет иметь следующий вид: у = ( х1 V х2 V х3) ( х1 V х2 V х3) ( х1 V х2 V х3). Аксиомы и законы алгебры-логики Для логических операций справедлив ряд аксиом и законов, основные из которых следующие: Аксиомы: (1) (3) (2) (4) (5)Законы: коммутативности (6)ассоциативности (7)дистрибутивности (8)дуальности (теорема де-Моргана) (9)поглощения (10)Следует отметить, что алгебраические выражения аксиом и законов заданы параметрами и взаимной заменой операции И, ИЛИ и символов 0 и 1 из одного выражения получается другое. Используя данные аксиомы и законы можно проводить преобразования логических функций с целью упрощения или приведения к какой-то одной логической операции. Рассмотрим пример: Пусть задано выражение в виде: В соответствие с алгеброй логики любую логическую функцию можно представить с помощью соответствующей комбинации простейших логических функций И, ИЛИ, НЕ. Набор простейших функций, с помощью которых можно выразить любые другие, сколь угодно сложные логические функции, называется функционально полным, или логическим базисом. Таким образом, набор функций И, ИЛИ, НЕ является одним из логических базисов. Логический базис называется минимальным, если удаление хотя бы одной из входящих в него функций превращает этот набор в функционально неполный. Логический базис И, ИЛИ, НЕ не является минимальным, т.к. с помощью законов дуальности можно исключить из логических выражений функцию И либо ИЛИ. В результате получаем минимальные базисы: {И, НЕ} и {ИЛИ, НЕ}. Имеются также минимальные логические базисы, содержащие только одну функцию: {И-НЕ}(штрих Шеффера), {ИЛИ-НЕ}(стрелку Пирса). Функциональная полнота этих наборов функций следует из того, что с их помощью можно реализовать все функции логических базисов {И, НЕ} и {ИЛИ, НЕ}. Лекция № 29. Базовые логические схемы. План лекции. 1. Элементный базис; 2. Конъюнктор, дизъюнктор, инвертор, исключающее ИЛИ. Электронные схемы, выполняющие простейшие логические операции, называются логическими элементами или схемами. Для реализации в цифровых системах разнообразных логических функций достаточно иметь логические элементы, реализующие операции того или иного минимального базиса. Этот набор логических элементов называется минимальным элементным базисом. В современной цифровой схемотехнике таким базисом чаще всего служат элементы И-НЕ, либо ИЛИ-НЕ. Однако реализация цифровых систем с использованием только элементов минимального базиса часто приводит к излишней сложности устройств и ухудшает их основные эксплуатационные параметры. Поэтому для улучшения характеристик систем при их построение во многих случаях используют расширенные (избыточные) элементные базисы, в которых кроме элементов И-НЕ, ИЛИ-НЕ входят схемы, выполняющие функции И-ИЛИ-НЕ, И, ИЛИ, исключающее ИЛИ и др. Рассмотрим условные обозначения и выполняемые функции логических элементов, входящих в состав наиболее распространенных серий цифровых интегральных схем. 1. Инвертор Выполняемая функция: Условное обозначение (ЛН). Схемное изображение инвертора представлено на рис. 2.1. рис. 2.1. Схемное изображение инвертора. Таблица истинности
2. Конъюнктор Выполняемая функция: Условное обозначение (ЛИ). Схемное изображение конъюнктора представлено на рис. 2.2. рис. 2.2. Схемное изображение конъюнктора. На практике n принимает значения 2, 3 или 4 и тогда эти элементы называют 2И, 3И, 4И. Таблица истинности для элемента 2И будет иметь вид:
3. Штрих Шеффера (И-НЕ). Выполняемая функция: Условное обозначение (ЛА). Схемное изображение штриха Шеффера представлено на рис. 2.3. рис. 2.3. Схемное изображение штриха Шеффера. На практике n принимает значения 2, 3, 4 или 8, т.е. имеются элементы 2 И-НЕ, 3 И-НЕ, 4 И-НЕ, 8 И-НЕ. Таблица истинности для элемента 2 И-НЕ будет
4. Дизъюнктор. Выполняемая функция: y=x1V x2 ...V xn Условное обозначение (ЛЛ). Схемное изображение дизъюнктора представлено на рис. 2.4. рис. 2.4. Схемное изображение дизъюнктора. На практике n равно 2, т.е. имеются элементы 2 ИЛИ. Таблица истинности такого элемента будет
5. Стрелка Пирса (ИЛИ-НЕ). Выполняемая функция: Условное обозначение (ЛЕ). Схемное изображение стрелки Пирса представлено на рис. 2.5. рис. 2.5. Схемное изображение стрелки Пирса. Промышленностью выпускаются элементы с n=2, 3, 4, 5, т.е. 2 ИЛИ-НЕ, 3 ИЛИ-НЕ, 4 ИЛИ-НЕ, 5 ИЛИ-НЕ. Таблица истинности, например, элемента 2 ИЛИ-НЕ будет иметь вид
6. Условное обозначение (ЛР). Схемное изображение расширителя представлено на рис. 2.6. рис. 2.6. Схемное изображение расширителя. Промышленностью выпускаются элементы с n1, n2 . . . nm=2, 3, 4 и m=2 и 4. Таблица истинности, например, для элемента 2-2И-2ИЛИ-НЕ будет иметь вид:
7. Сложение по модулю 2 (исключающее ИЛИ, неравнозначность). Условное обозначение (ЛП). Схемное изображение элемента «исключающее ИЛИ» представлено на рис. 2.7. рис. 2.7. Схемное изображение элемента «исключающее ИЛИ». Таблица истинности будет:
8. Исключающее ИЛИ-НЕ (равнозначность). Условное обозначение (ЛП). Схемное изображение элемента «равнозначность» представлено на рис. 2.8. рис. 2.8. Схемное изображение элемента «равнозначность». Таблица истинности будет:
Так как выходные сигналы рассмотренных выше базовых логических функций в любой момент времени определяются только теми сигналами, которые поступают на вход схемы в тот же момент времени, то эти схемы относятся к простейшим комбинационным логическим схемам. Более сложные комбинационные логические схемы строятся на основе простейших схем. Причём, на практике, наиболее часто встречаемые сложные комбинационные логические схемы, реализуются в виде функциональных интегральных микросхем, таких как мультиплексоры, демультиплексоры, шифраторы, дешифраторы и т.д. Рассмотрим некоторые из них. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||