Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ГЛАВА 1

.pdf
Скачиваний:
15
Добавлен:
29.06.2020
Размер:
418.56 Кб
Скачать

ГЛАВА 1. ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВОЙ ТЕХНИКИ

1.1.Логические функции

1.1.1.Понятие о логической функции и логическом устройстве

Для обозначения различной информации – предметов, понятий, действий – мы пользуемся словами. Запись слов производится с помощью букв из некоторого их набора, называемого алфавитом.

В цифровой технике для тех же целей пользуются кодовыми словами. Особенность этих слов заключается в том, что все они имеют чаще всего одинаковую длину (т.е. состоят из одного и того же количества букв), и для их построения используется простейший алфавит из двух букв. Эти буквы принято обозначать символами 0 и 1. Таким образом, кодовое слово в цифровой технике есть определенной длины последовательность символов 0 и 1, например 10111011. Такими кодовыми словами могут представляться и числа, в этом случае 0 и 1 совпадают по смыслу с обычными арабскими цифрами. При представлении кодовым словом некоторой нечисловой информации, чтобы отличать символы 0 и 1 от арабских цифр, будем эти символы называть логическим нулем и логической единицей (лог. 0 и лог. 1).

Если длина кодовых слов составляет n разрядов, то можно построить 2n различных комбинаций – кодовых слов. Например, при n = 3 можно построить 23 = 8 слов: 000, 001, 010,

011, 100, 101, 110, 111.

Информация, которая передается между отдельными блоками сложного цифрового устройства, передается в виде кодовых слов. Таким образом, на входы каждого блока поступают кодовые слова, на выходе блока образуется новое кодовое слово, представляющее собой результат обработки входных слов. Выходное слово зависит от того, какие слова поступают на входы узла. Поэтому можно говорить, что выходное слово есть функция, для которой аргументами являются входные слова. Для того чтобы подчеркнуть особенность таких функций, состоящую в том, что функция и ее аргументы могут принимать значения лог. 0 и лог. 1, будем эти функции называть функциями алгебры логики. Устройства, предназначенные для формирования функций алгебры логики, называются логическими устройствами или

цифровыми устройствами.

1.1.2. Логические (Булевы) функции

Рассмотрим функции одной переменной y = f(x). Пронумеруем эти функции (их четыре) и расположим в виде таблицы:

х

f0

f1

f2

f3

0

0

0

1

1

1

0

1

0

1

Видно, что f0(х) = 0, a f3(х) = 1, т.е. эти две функции не зависят от х, f1(х) = х, т.е. она не меняет аргумента. Функция f2(х) действительно содержательная функция. Она принимает значения,

противоположные значениям аргумента, обозначается f2 ( х )

 

 

 

 

х

и называется отрицанием.

 

Рассмотрим функции двух переменных y = f(x1, x2).

 

 

 

 

 

 

 

Число этих функций равно 24 = 16. Пронумеруем и расположим их в естественном порядке.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

x2

 

f0

f1

f2

f3

f4

 

f5

 

f6

f7

f8

f9

f10

 

f11

f12

f13

 

f14

f15

 

0

0

 

0

0

0

0

0

 

0

 

0

0

1

1

1

 

1

1

1

1

1

 

0

1

 

0

0

0

0

1

 

1

 

1

1

0

0

0

 

0

1

1

1

1

 

1

0

 

0

0

1

1

0

 

0

 

1

1

0

0

1

 

1

0

0

1

1

 

1

1

 

0

1

0

1

0

 

1

 

0

1

0

1

0

 

1

0

1

0

1

 

 

Рассмотрим более подробно эти функции. Две из них f0 = 0 и f15 = 1 являются константами.

Функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

f3

х1

0

, f12

 

 

1 , f5

х2

1

, f10

 

 

2

0

 

 

 

 

 

 

 

 

 

 

х

1

 

х

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

0

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

0

 

 

1

 

 

 

 

 

0

 

 

 

 

 

являются по существу функциями одной переменной.

Наиболее важные функции двух переменных имеют специальные названия и обозначения. Заметим, что эти обозначения не всегда общеприняты.

Перечислим семь важнейших функций. 1. Конъюнкция (функция И)

 

0

f1( x1 ,x2 ) x1 x2

0 .

 

0

 

1

Конъюнкция (логическое умножение) переменных x1 и х2 равна лог. 1 в том случае, когда и x1 и х2 равны лог. 1 (отсюда и возникло название операции логическое И).

Конъюнкция – это фактически обычное умножение (нулей и единиц). Иногда эту функцию

обозначают x1 & x2 или x1

x2.

 

2. Дизъюнкция (функция ИЛИ)

 

 

0

f7 ( x1 ,x2 ) x1

x2

1 .

 

 

1

1

Дизъюнкция (логическое сложение) переменных x1 и х2 равна лог. 1, если или x1 или х2 равна лог. 1 (отсюда название операции логическое ИЛИ). В тех случаях, когда число переменных больше двух, их конъюнкция равна лог. 1 при равенстве лог. 1 всех переменных; дизъюнкция равняется лог. 1, если хотя бы одна из переменных имеет значение лог. 1.

3. Импликация (следование)

1

1 f13 ( x1 ,x2 ) x1 x2 0 .

1

Иногда импликацию обозначают x1 כх2 или x1 х2 (читается “из x1 следует х2”).

Это очень важная функция, особенно в логике. Ее можно рассматривать следующим образом: если x1 = 0 (т. е. x1 “ложно”), то из этого факта можно вывести и “ложь”, и “истину” (и это будет правильно), если х2 = 1 (т.е. х2 “истинно”), то истина выводится и из “лжи” и из “истины”, и это тоже правильно. Только вывод “из истины ложь” является неверным. Заметим, что любая теорема всегда фактически содержит эту логическую функцию.

4. Сложение по модулю 2, Исключающее ИЛИ (здесь и далее, если не оговорено противное, знаком “+” мы будем обозначать такое сложение):

 

0

 

 

 

 

f6 ( x1 ,x2 ) x1 x2

1 .

 

 

 

 

 

1

 

 

 

 

 

0

 

 

 

 

5. Эквивалентность или подобие ~

 

 

 

0

 

 

 

 

 

1

 

 

 

 

f9( x1,x2 ) x1 ~ x2

x1

x2 .

1

 

 

 

 

 

0

Эта f9 = 1 тогда и только тогда, когда х1 = х2. 6. Штрих Шеффера

 

 

1

 

1 .

f14 ( x1 ,x2 ) x1

x2

 

 

1

0

Иногда эту функцию называют “НЕ И” (так как она равна отрицанию конъюнкции). 7. Стрелка Пирса (иногда эту функцию называют штрих Лукасевича)

 

1

f8 ( x1 ,x2 ) x1 x2

0 .

 

0

0

Эта функция является отрицанием дизъюнкции, и поэтому иногда ее называют “не ИЛИ”. Заметим, что свойства последних двух функций похожи между собой и, может быть, поэтому в

литературе их часто путают (т. е. называют f8 штрихом Шеффера, а f14 – стрелкой Пирса).

Три оставшиеся функции, (f2 , f4 и f11) особого значения в дискретной математике не имеют.

Операцию отрицания называют инверсией или дополнением. Для ее обозначения используют черту над соответствующим выражением. Операция определяется следующими постулатами:

если х = 1, то х = 0, если х = 0, то х = 1.

В математике установлен определенный порядок выполнения операций в сложном выражении. Подобно этому в сложном логическом выражении вначале выполняются операции инверсии, затем операции конъюнкции и в последнюю очередь операции дизъюнкции.

Теоремы булевой алгебры отражают связи, существующие между операциями, выполняемыми над логическими переменными. Сформулируем наиболее важные из них:

1. х 0 х ;

2. х 1 1 ;

3. х х х ;

4. х х х ;

5.

 

 

х

х ;

 

 

 

 

 

 

 

 

 

 

 

 

6.

х 1

х ;

 

 

 

 

 

 

 

 

 

 

 

 

7.

х

0

0 ;

 

 

 

 

 

 

 

 

 

 

 

 

8.

х

х

 

х ;

 

 

 

 

 

 

 

 

 

 

 

 

9.

 

х

0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

х

 

 

 

 

 

 

 

 

 

 

 

 

 

10.

 

х1

х0

 

 

х0

х1 ;

 

 

 

11.

 

х2

 

 

х1

 

 

 

х0

 

х2

х1

х0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12.

 

х1

х0

 

 

х1 х0 ;

 

 

 

13.

 

х1

х0

х0

х0 ;

 

 

 

14.

 

х1

х0

х0 х1 ;

 

 

 

15.

 

х2

х1

х0

х2

х1

х0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16.

 

х1

х0

х1

х0 ;

 

 

 

17.

 

х1

 

х0

 

 

х0

х0 ;

 

 

 

18.

 

х2

х1

х0

х1

х0

х2

х0 ;

19.

 

х1

 

 

 

х0

х1

х0 ;

 

 

 

х

0

 

 

 

20.

 

х1

х0

 

 

 

 

 

 

х

1 х0 х0

 

 

21.

 

х2

 

 

х1

 

 

х0

х2

х0

х1

х0 ;

22.

 

х1

 

 

 

 

х0

х1 х0 ;

 

 

 

 

 

х

0

 

 

 

 

23.

 

х1

 

х0

 

 

 

х0

х0

 

 

 

 

 

 

х

1

 

Справедливость всех перечисленных теорем может быть доказана непосредственной подстановкой.

1.1.3.Способы задания логических функций

Вклассической математике для задания функции обычно используются два способа: аналитический (запись формулой) и табличный (таблицами значений функций). Для описания функций алгебры логики могут быть использованы различные способы. Основными из них являются описание функций в словесной форме, в виде таблиц истинности и алгебраических выражений.

Проиллюстрируем словесное описание функции алгебры логики на примере.

Логическая функция трех переменных равна 1, если хотя бы две входные переменные равны

1.

Данный вид описания наиболее часто применяется для первоначального, исходного описания поведения логического устройства.

Таблица, содержащая все возможные комбинации входных переменных xn-1 …x1x0 и соответствующие им значения выходных переменных yi, называется таблицей истинности или

комбинационной таблицей. В общем случае таблица истинности содержит 2n строк и m+n столбцов, где n – количество входных сигналов, а m – выходных.

При описании функций алгебры логики алгебраическим выражением используются две стандартные формы ее представления – так называемые дизъюнктивная и конъюнктивная нормальные формы.

Дизъюнктивной нормальной формой (ДНФ) называется логическая сумма элементарных логических произведений, в каждое из которых аргумент или его инверсия входит один раз.

ДНФ может быть получена из таблицы истинности с использованием следующего алгоритма: а) для каждого набора переменных, на котором функция алгебры логики равна единице, записывают элементарные логические произведения входных переменных, причем переменные, равные нулю, записывают с инверсией. Полученные произведения называют конституентами единицы;

б) логически суммируют все конституенты единицы.

ДНФ, полученную суммированием конституент единицы, называют совершенной (СДНФ). Конъюнктивной нормальной формой (КНФ) называется логическое произведение

элементарных логических сумм, в каждую из которых аргумент или его инверсия входят один раз. КНФ может быть получена из таблицы истинности с использованием следующего алгоритма:

а) для каждого набора переменных, на котором функция алгебры логики равна нулю, записывают элементарные логические суммы входных переменных, причем переменные, значения которых равны единице, записывают с инверсией. Полученные суммы называют конституентами нуля; б) логически перемножают все полученные конституенты нуля.

КНФ, полученную суммированием конституент нуля, также называют совершенной (СКНФ).

Пример 1.1. Запишите дизъюнктивную и конъюнктивную нормальные формы для следующей таблицы истинности:

x2

x1

x0

y

0

0

0

0

0

0

1

0

 

 

 

 

0

1

0

0

0

1

1

1

1

0

0

0

1

0

1

1

1

1

0

1

 

 

 

 

1

1

1

1

Решение. Согласно приведенному выше алгоритму дизъюнктивная нормальная форма примет вид

y х2, х1, х0

 

х2

 

1 х0

х2 х1

 

0

х2

х1

х0 ,

 

 

х

2 х1 х0

х

х

(1.1)

а конъюнктивная нормальная форма определится как

 

 

 

y х2, х1, х0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х2

х1 х0 х2

х1

 

0

х2

 

1 х0

 

 

2

х1

х0 .

 

х

х

х

(1.2)

Иногда удобнее применять не саму функцию алгебры логики, а ее инверсию. В этом случае при использовании вышеописанных методик для записи СДНФ необходимо выбирать нулевые, а для записи СКНФ – единичные значения функции.

1.2. Логические элементы

Функция алгебры логики однозначно определяет внутреннюю структуру логического устройства. С помощью элементарных узлов, реализующих основные логические операции, можно построить логическую схему, выполняющую заданный алгоритм преобразования исходных логических переменных.

В соответствии с перечнем логических операций различают три основных логических элемента: И, ИЛИ, НЕ. Условные графические обозначения этих логических элементов показаны на рис. 1.1.

х0

 

&

 

y

х0

 

1

 

y х

 

 

 

y

х0

 

&

 

y

х0

 

1

 

y

 

 

 

 

 

 

 

х1

 

 

 

х1

 

 

 

 

 

 

х1

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

И

 

ИЛИ

НЕ

 

И-НЕ

ИЛИ-НЕ

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

б

 

 

 

Рис. 1.1. Условные графические обозначения основных (а) и совмещающих в себе две функции (б) логических элементов

Число входов логических элементов И или ИЛИ может быть произвольным. Элемент НЕ всегда имеет только один вход.

Для построения логической схемы необходимо логические элементы, предназначенные для выполнения логических операций, указанных в функции алгебры логики, располагать от входа в порядке, определенном булевым выражением.

Пример 1.2. Построить структурную схему логического устройства по функции алгебры логики (1.1). Решение приведено на рис. 1.2

 

&

х0

 

 

&

 

1

х1

y

 

&

х2

&

Рис. 1.2. Пример структурной схемы логического устройства

Функционально полной системой называется совокупность логических элементов, позволяющая реализовать логическую схему произвольной сложности. На практике широкое применение нашли логические элементы, совмещающие в себе функции логического сложения и отрицания (ИЛИ-НЕ), а также логического умножения и отрицания (И-НЕ).

1.3. Минимизация логических функций

Логическую схему, реализующую заданный алгоритм преобразования сигналов, можно синтезировать непосредственно по выражению, представленному в виде СДНФ или СКНФ. Однако полученная при этом схема, как правило, не оптимальна с точки зрения ее практической реализации. Поэтому исходные функции алгебры логики обычно минимизируют.

Целью минимизации логической функции является уменьшение стоимости ее технической реализации.

Существует несколько способов минимизации, один из которых базируется на табличном виде представления функций алгебры логики. Он широко используется при минимизации функции алгебры логики, число переменных в которой обычно не превышает пяти. Свыше пяти переменных используют специально разработанные компьютерные методы минимизации логических функций.

Карта Вейча – это прямоугольная таблица, число клеток в которой для функции n-переменных равно 2n. Каждой из клеток поставлен в соответствие некоторый набор входных переменных, причем рядом расположенным клеткам соответствуют соседние наборы входных переменных (кодов), а в самих клетках записаны наборы значений функции, определенные для этих кодов.

Карта функции двух переменных приведена на рис. 1.4, а. Она содержит четыре клетки и является плоской фигурой. Для удобства использования по краям карты указаны значения входных переменных, которые для соответствующих строк и столбцов остаются постоянными. Набор переменных для заданной клетки таблицы определяется как совокупность аргументов, постоянных для строк и столбцов, на пересечении которых она расположена.

Карта Вейча функции трех переменных приведена на рис. 1.4, б. Она содержит восемь клеток. Наборы входных переменных, соответствующие крайним левому и правому столбцам, являются соседними. Поэтому данную карту удобно представить как поверхность цилиндра и она, в отличие от карты двух переменных, является объемной фигурой.

Карта Вейча функции четырех переменных приведена на рис. 1.4, в. Она содержит уже 16 клеток. Очевидно, что наборы входных переменных, соответствующие крайним столбцам, как и в карте функции трех переменных, являются соседними. Кроме этого соседние коды содержатся в нижней и верхней строках карты. Поэтому данная карта тоже является объемной фигурой и может быть представлена как поверхность тора.

При минимизации функции алгебры логики используют либо ее нулевые, либо единичные значения. В обоих случаях получают равносильные выражения, которые, однако, могут отличаться по числу членов и выполняемым логическим операциям.

Алгоритм минимизации функции алгебры логики сводится к следующему:

а) на карте Вейча функции алгебры логики n-переменных выделяют прямоугольные области, объединяющие выбранные значения функции (лог. 0 или лог. 1). Каждая область должна содержать 2k клеток, где k – целое число. Области принято выделять, как показано на рис. 1.4. Выделенные области могут пересекаться, т.е. одна или несколько клеток могут включаться в различные области;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( х1 0 )

 

 

 

 

f (

х

1 0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

0

 

 

f ( х1 ,

х

0 )

 

 

 

 

 

 

f (

х

1 ,

 

х

0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х0

f (

х

2 1 0 )

 

f ( х2 10 )

 

f ( х2 ,

х1 0 )

 

 

 

f (

х

2 ,

х10 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

0

f (

х

2 1,

х

0 )

 

f ( х2 1,

х

0 )

 

f ( х2 ,

х1 0 )

 

 

 

f (

х

2 ,

х10 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (

х

3 ,

х

2 1 0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

 

 

 

 

 

 

f ( х

3

,

х

2

,х ,х

0

)

f ( х

3

,

х

2

,

х

0

)

f (

х

3

,

х

2

,

х

0

)

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

х0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (

х

3 2 1 0 )

f ( х3 2 1 0 )

f ( х3 2 ,

х

1 0 )

f (

х

3 2 ,

х

1 0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (

х

3 2 1 ,

х

0 )

f ( х3 2 1 ,

х

0 )

f ( х3 2 ,

х

1 ,

х

0 )

f (

х

3 2 ,

х

1 ,

х

0 )

 

 

 

 

 

 

х

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (

х

3 ,

х

2 1 ,

х

0 )

f ( х3 ,

х

2 1 ,

х

0 )

f ( х3 ,

х

2 ,

х

1 ,

х

0 )

f (

х

3 ,

х

2 ,

х

1 ,

х

0 )

 

х

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в

Рис. 1.4. Карта Вейча функции двух (а), трех (б) и четырех (в) переменных

б) из полученного множества выбирают минимальное число максимально больших областей, включающих все выбранные значения функции алгебры логики; в) каждая область описывается логическим произведением переменных или их инверсий. Если в

область входит переменная и ее инверсия, это означает, что логическая функция в этой области не зависит от данной переменной. Поэтому такая переменная должна быть исключена из логического произведения, описывающего рассматриваемую область; г) произведения переменных областей логически суммируют. Полученная сумма образует МДНФ.

При объединении клеток с единичным значением функции получают МДНФ самой функции, а при объединении клеток с ну-левыми значениями функции алгебры логики – МДНФ функции, инверсной заданной. Применив к полученной инверсной минимальной форме теоремы 12 и 16 (см.

п. 1.1.2), можно получить минимальную конъюнктивную нормальную форму (МКНФ).

Пример 1.3. Минимизировать функцию вида

y х2, х1, х0 х2 х1 х0 х2 х1 х0 х2 х1 х0 х2 х1 х0

Решение. Составим карту Вейча

 

 

х1

 

х1

х0

1

1

1

1

х0

0

0

1

0

 

х2

 

х2

х2

 

 

 

 

Запишем минимизированную функцию для нулевых значений.

 

 

 

 

х1

 

 

0

 

 

 

 

2

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

х210

х

 

 

х

 

х

 

 

 

 

 

 

 

 

 

 

 

 

 

Воспользовавшись теоремами 12 и 16, найдем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х2 , х1 , х0

х1

 

0

 

 

2

 

0 х1

 

0

 

 

2

 

0

 

1 х0 х2 х0 .

y

х

х

х

х

х

х

х

Если к данному выражению применить теорему 18, то получим функцию y х210 х0 х2 х1

Из последнего примера видно, что при минимизации по нулевым и единичным значениям функции первоначально можно определить равносильные, но не всегда одинаковые выражения. Различной будет и их техническая реализация. Используя теоремы алгебры логики, их можно преобразовать к единому виду. Для нахождения наиболее простого технического решения желательно проводить минимизацию как для нулевых, так и для единичных значений функции и из полученных выбирать простейшее.

Контрольные вопросы и задания

1.Объясните, что в цифровой электронной технике понимается под понятием кодовое слово. Что такое разряд кодового слова? Сколько комбинаций слов в 8-ми разрядном кодовом слове?

2.Дайте определение логическому (цифровому) устройству.

3.Перечислите и дайте объяснение 7-ми важнейшим логическим функциям двух переменных.

4.Докажите на выбор несколько из приведенных в п.1.1.2 теорем булевой алгебры.

5.Запишите совершенную дизъюнктивную нормальную форму (СДНФ) инверсии функции алгебры логики приведенной в комбинационной таблице в п.1.1.3.

6.Минимизируйте функцию вида

y х2, х1, х0 х2 х1 х0 х2 х1 х0 х2 х1 х0 х2 х1 х0 .

По полученной минимизированной функции нарисуйте структурную схему логического устройства. Сравните ее с рис. 1.2, приведенным в примере 1.2.

Соседние файлы в предмете Дискретная математика