Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
РОССИЙСКОЙ ФЕДЕРАЦИИ
Е.И. ИСМАГИЛОВА
УЧЕБНОЕ ПОСОБИЕ
Исмагилова Е.И.
И 87 Булевы функции и построение логических схем: учебное
пособие / Е.И. Исмагилова — М.: МИРЭА, 2015. — 160 с.
ISBN
Учебное пособие предназначено для студентов МИРЭА пер-
вого курса, изучающих дисциплину «Дискретная математика» и
обучающихся по направлениям подготовки 09.03.01, 11.03.03,
11.03.04.
В пособии рассмотрены основы булевой алгебры, полнота
систем булевых функций, минимизация нормальных форм, при-
ложение булевой алгебры к синтезу логических схем. По каждой
теме даны теоретические сведения (основные определения и тео-
ремы), приведены подробно разобранные решения типовых за-
дач, приложены задачи для самостоятельного решения.
Материал пособия позволяет самостоятельно разобраться не
только в математической, но и в схемотехнической сущности бу-
левых функций, выработать практические навыки необходимые
для дальнейшего изучения специальных дисциплин.
Входные полюсы
x1
x2 Выходной полюс
Цифровое
устройство y
…
xn
i 1
i
n i
.
n 1 0 1
n2 0 1 0 1
Таблица 1.1.
№ x1 x2 … xn 1 xn y
0 0 0 … 0 0 0
1 0 0 … 0 1 1
… … … … … … …
2n 2 1 1 … 0 1 2n 2
2n 1 1 1 … 1 1 2n 1
2. Логические элементы
Входы
x1 f
x2 Выход
…
xn
обозначают 2f 0 ,1,...,
2 1
или f x , ,..., .
n
n
n 0 1 2n 1
Таблица 3.1.
№ x1 x2 … xn 1 xn f x
n
0 0 0 … 0 0 0
1 0 0 … 0 1 1
… … … … … … …
2n 1 1 1 … 1 1 2n 1
Таблица 3.2.
х 0 1 2 3
0 0 0 1 1
1 0 1 0 1
Таблица 3.3.
Двоичный набор
№ Формула Название функции
функции
1. 0 x 00 0 x 0 Константа 0
2. 1 x 01 1 x x Тождественная функция
Инверсия (отрицание пере-
3. 2 x 10 2 x x
менной х, функция НЕ)
4. 3 x 11 3 x 1 Константа 1
Инвертор НЕ
YX
X 0 1
Y 1 0
Таблица 3.5.
x1 x2 f 0 f1 f 2 f3 f 4 f5 f 6 f 7 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
Таблица 3.6.
Двоичный набор Название функ-
№ Формула
функции ции
f0 x1, x2 0
1. f0 x1, x2 0000 ( x1 , x2 – фиктив- Константа 0
ные переменные)
10
11
Таблица 3.7.
Основные типы логических вентилей
Название Условное графическое обо- Пример реализуемой
вентиля значение функции
ИЛИ
дизъюнк- Y X1 X 2
тор
Х1 0 0 1 1
Х2 0 1 0 1
Y 0 1 1 1
12
ИЛИ-НЕ Y X1 X 2 X1 X 2
Х1 0 0 1 1
Х2 0 1 0 1
Y 1 0 0 0
И-НЕ Y X1 | X 2 X1 X 2
Х1 0 0 1 1
Х2 0 1 0 1
Y 1 1 1 0
13
10 100
22 21024 21000 210 1000100 10300 .
Таким образом, при росте числа переменных число функций
возрастает очень быстро и их табличное задание становится не-
удобным.
4. Равенство функций
14
15
х у z f x, y, z
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
16
у z y, z
0 0 1
0 1 0
1 0 1
1 1 0
17
z g z
0 1
1 0
x 0 0 1 1
y 0 1 0 1
g 0 0 0 1
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f 0 0 0 0 0 0 1 1
18
0 1 у x
f « » а)
f « » б)
f « » в)
f « » г)
& « » д)
19
20
Основные эквивалентности
1. Коммутативность:
а) x1 x2 x2 x1;
б) x1 x2 x2 x1 ;
в) x1 x2 x2 x1 ;
г) x1 x2 x2 x1 .
2. Ассоциативность:
а) x1 x2 x3 x1 x2 x3 x1 x2 x3 ;
б) x1 x2 x3 x1 x2 x3 x1 x2 x3 ;
в) x1 x2 x3 x1 x2 x3 x1 x2 x3 .
3. Дистрибутивность:
а) x1 x2 x3 x1 x2 x1 x3 ;
б) x1 x2 x3 x1 x2 x1 x3 ;
в) x1 x2 x3 x1 x2 x1 x3 .
4. Закон двойного отрицания: x x .
21
22
23
x1 x2 x3 f1 f2 f3 f
0 0 0 1 0 1 1
0 0 1 1 0 1 1
0 1 0 1 0 1 1
0 1 1 1 1 1 1
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 0 0 0 0
1 1 1 0 1 1 1
24
Законы поглощения
Законы поглощения позволяют использовать логические
элементы с большим количеством входов в качестве логических
элементов с меньшим количеством входов. Как говорят, умень-
шить число входов логического элемента.
Применение законов x 1 x 0 x 0 x для уменьшения
числа входов разберём на примере вентиля «3И», т.к. для логи-
ческих элементов дизъюнкции и суммы по модулю 2 эти опе-
рации проводятся аналогично.
1 у x
& « » а)
& « б)
»
25
& « »
& «
»
у x
& « »
а)
& « »
б)
26
1 & 1 1
1
1 1
а) б)
Рис. 6.4. Элемент «2ИЛИ», построенный на вентиле «2И-
НЕ» и двух инверторах; элемент«2И», реализованный на
вентиле «2ИЛИ» и трёх инверторах.
27
7. Логические схемы
28
&
1
&
29
у x
« »
« »
1 ярус 2 ярус
30
х 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f1 1 0 0 1 0 1 1 1
f2 0 1 1 0 1 0 1 0
x y f1 x, y, x f 2 y, y, f1
0 0 f1 0,0,0 1 f 2 0,0,1 1
0 1 f1 0,1,0 0 f 2 1,1,0 1
1 0 f1 1,0,1 1 f 2 0,0,1 1
1 1 f1 1,1,1 1 f 2 1,1,1 0
x 0 0 1 1
y 0 1 0 1
h x, y
h x, y 1 1 1 0
31
z у x
1
&
&
1
&
&
1 1
32
x y z f1 f2 f3 f4 f5 f6 f7 f8 f9 f
0 0 0 1 1 1 1 0 0 0 0 0 0
0 0 1 1 1 0 1 0 0 1 0 0 1
0 1 0 1 0 1 0 1 0 0 1 0 1
0 1 1 1 0 0 1 0 0 0 0 1 1
1 0 0 0 1 1 1 0 0 0 0 0 0
1 0 1 0 1 0 1 0 0 1 0 0 1
1 1 0 0 0 1 1 0 1 0 0 0 1
1 1 1 0 0 0 1 0 1 0 0 1 1
33
h x, y
g y, z 0 1 1 1
z у
1 ярус
Рис. 7.4. Логическая схема, реализующая
функцию .
Обозначим
x, 1,
x
x , 0.
34
x 0 0 1 1
σ 0 1 0 1
x 00 0 1 01 0 10 1 0 11 1
35
36
37
z0 D0 MS
Ин т
2 z1 D1 (41)
ф.
вх. z2 D2
z3 D3 Y
Ад
x0 А0
р. т
x1 А1
вх.
38
x1 0 0 1 1
x2 0 1 0 1
f 0 1 1 0
39
0 D0 MS
1 D1 (41)
D2
D3 Y=f
А0
А1
40
x2 f 0, x2 f 1, x2
0 0 1
1 1 0
x2 x2
D0 MS
D1 (21)
Y=f
А0
41
x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1
g 1 1 0 1 0 0 1 0
42
1 D0 MS
D1 (41)
0 D2
D3 Y=g
А0
А1
43
44
45
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f 0 0 0 1 0 1 0 1
Найдём СДНФ:
f x, y , z V xa yb z c V xa yb z c
a,b,c | f a,b,c 1 0,1,1
1,0,1
1,1,1
x0 y1z1 x1 y 0 z1 x1 y1z1 xyz x yz xyz .
47
0,0,1
0,1,0
1,0,0
1,1,0
x0 y 0 z 0 x0 y 0 z 1 x0 y1 z 0 x1 y 0 z 0
x 1 y 1 z 0 x1 y1 z1 x1 y1 z 0 x1 y 0 z1
x0 y1 z1 x0 y 0 z1 x y z x y z
x y z x y z x y z .
z у x
1
&
& 1
&
48
49
50
51
52
53
Таблица 10.1.
x1 x2 x3 … xn
x1 x2 x3 ... xn 1 1 1 … 1
… … … … … …
x1 x2 1 1 0 … 0
… … … … … …
x1 1 0 0 … 0
1 0 0 0 … 0
Таблица 10.2.
x1x2 x3...xn … x1 x2 … x1 1
x1x2 x3 ...xn ... x1x2 ... 1 1 … 1 … 1 1
… … … … … … …
x1x2 1 0 … 1 … 0 1
… … … … … … …
1 0 … 0 … 0 1
0 0 … 0 … 0 0
54
0 1 1 2 …. 2n 2 2n 1
55
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f 1 1 1 0 1 0 1 0
56
57
a0 1, a0 1,
a a 1, a 0,
0 3 1
a0 a2 1, a2 0,
a0 a2 a3 a6 0, a3 0,
a
0 a1 1, a4 0,
a0 a1 a3 a5 0, a5 1,
a0 a1 a2 a4 1, a6 1,
a a a a a a a a 0, a 1.
0 1 2 3 4 5 6 7 7
58
1 z у x
&
& М2
&
1 ярус 2 ярус
59
60
x y z f x, y, z f x, y, z
0 0 0 1 f 0,0,0 f 0, 0, 0 f 1,1,1 1 0
0 0 1 0 f 0,0,1 f 0, 0, 1 f 1,1,0 0 1
0 1 0 0 f 0,1,0 f 0, 1, 0 f 1,0,1 1 0
0 1 1 1 f 0,1,1 f 0, 1, 1 f 1,0,0 0 1
1 0 0 0 f 1,0,0 f 1, 0, 0 f 0,1,1 1 0
1 0 1 1 f 1,0,1 f 1, 0, 1 f 0,1,0 0 1
1 1 0 0 f 1,1,0 f 1, 1, 0 f 0,0,1 0 1
1 1 1 1 f 1,1,1 f 1, 1, 1 f 0,0,0 1 0
61
Теорема доказана. □
Класс самодвойственных функций определяется следующим
образом:
S f x1,..., xn P2 | f x1,..., xn f x1,..., xn .
Пример 11.3.1. Доопределить функцию
h x, y, z 1 10 1
так, чтобы h S . Выяснить вопрос о принадлежности построен-
ной функции к классам T0 и T1 .
Решение. Доопределим функцию h , используя определение
самодвойственной функции.
Рассмотрим пары противоположных наборов:
000 и 111 ; 001 и 110 ; 010 и 101 ; 100 и 011 .
Используя известные значения функции h , получим:
h 000 1 h 111 0 ; h 010 1 h 101 0 ;
h 011 0 h 100 1; h 110 1 h 001 0 .
В результате имеем:
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
h x, y, z 1 - 1 0 - - 1 -
h x, y, z 1 0 1 0 1 0 1 0
62
63
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f x, y, z - 1 0 1 - - 0 -
f x, y, z 0 1 0 1 0 1 1 1
64
65
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
g x, y, z - - - 1 - 0 1 0
g x, y, z 0 1 0 1 1 0 1 0
66
67
68
g «0»
а)
g «1» б)
69
0 х
« »
70
71
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
g x, y, z 0 0 1 0 1 0 0 0
72
« »
73
74
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f 1 0 0 1 0 1 0 0
g 1 0 0 1 0 1 1 0
75
T0 T1 S M L
f x, y, z - - - - -
76
77
T0 T1 S M L
g x, y, z - - + - +
78
79
x 0 0 0 0 1 1 1 1
y 0 0 1 1 0 0 1 1
z 0 1 0 1 0 1 0 1
f 0 0 1 0 1 0 0 0
g 1 0 0 1 0 0 1 0
80
T0 T1 S M L
f x, y, z + - - - -
g x, y , z x a y b z c
a,b,c | g a,b,c 1
1 a 1 b 1 c
000
011
110
x 1 y 1 z 1 x 1 yz xy z 1
xyz xy xz yz x y z 1 xyz yz xyz xy
1 x y z xz xyz .
Следовательно, Pg 1 x y z xz xyz .
Так как полином Жегалкина функции g содержит конъюнк-
цию, то g L .
Результаты анализа функции g x, y, z запишем в критери-
альную таблицу:
81
82
х
g « »
g «0»
g «1»
83
k 0,0
g g 0,0,0 ,0, g g 0, g 0,0,0 ,0 , g 0, g 0,0,0 ,0 , g 0, g 0,0,0 ,0
g 1,0, g g 0,1,0 , g 0,1,0 , g 0,1,0 g 1,0, g 0,0,0
g 1,0,1 0 ;
k 0,1
g g 0,0,0 ,1, g g 0, g 0,0,0 ,0 , g 0, g 0,0,0 ,0 , g 0, g 0,0,0 ,0
g 1,1, g g 0,1,0 , g 0,1,0 , g 0,1,0 g 1,1, g 0,0,0
g 1,1,1 0 ;
k 1,0
g g 1,1,1 ,0, g g 1, g 1,1,1 ,1 , g 1, g 1,1,1 ,1 , g 1, g 1,1,1 ,1
g 0,0, g g 1,0,1 , g 1,0,1 , g 1,0,1 g 0,0, g 0,0,0
g 0,0,1 0 ;
k 1,1
g g 1,1,1 ,1, g g 1, g 1,1,1 ,1 , g 1, g 1,1,1 ,1 , g 1, g 1,1,1 ,1
g 0,1, g g 1,0,1 , g 1,0,1 , g 1,0,1 g 0,1, g 0,0,0
g 0,1,1 1.
84
у х
g « »
g «0»
g «1»
g « »
85
х 1 0
« »
86
x 0 0 1 1
y 0 1 0 1
h x, y 0 0 0 1
у х 1 0
f « »
f « »
f « »
87
88
z у x
1
&
& 1
89
z у x
1
1
&
90
x x x x| x
x y xy x | y
x | x | y | y
x y x y x | y
x | y | x | y
Формулы преобразования Логические схемы реализации
функций базиса B1 к универ- функций базиса B1 на элемен-
сальному базису B3 тах ИЛИ-НЕ
x x x x x
91
x y x y x y
x x y y
z у x
&
&
&
& &
92
z у x
1
1
1
f x y z x y z x y z x y z
93
x y y z z x x y z z
Аналогично для компактности записи используется прежнее
представление инверсии, где x x x x x . Компактная фор-
мула функции f в базисе B3 имеет вид
f x y z x y z . Логическая схема, реализующая
функцию f в базисе B3 , показана на рис. 17.1.4. Цена этой ЛС по
Квайну SQ=14, задержка T=3.
94
95
96
97
98
99
Таблица 18.3.1.
1. 0000 + 1. 000- 1-2 + 1. -00- 1-7,
2. 0001 + 2. 0-00 1-3 + 2. --00 2-9, 3-8
3. 0100 + 3. -000 1-4 + 3. -0-1 4-11, 6-10
4. 1000 + 4. 00-1 2-5 + 4. 1-0- 9-12
5. 0011 + 5. 01-0 3-6
6. 0110 + 6. -001 2-7 +
7. 1001 + 7. 100- 4-7 +
8. 1100 + 8. -100 3-8 +
9. 1011 + 9. 1-00 4-8 +
10. 1101 + 10. -011 5-9 +
11. 10-1 7-9 +
12. 1-01 7-10 +
13. 110- 8-10 +
100
Таблица 18.3.2.
Троичные вектора
Простые импликанты
степеней
1. -00- yz
2. --00 zw
3. -0-1 yw
4. 1-0- xz
5. 01-0 xyw
101
i 1
i
D5f y x z , r D 3 . 5
f
102
103
104
105
106
107
108
109
Сокр. ДНФ
функции f По матрице Квайна (с помо-
щью функции Петрика)
ТДНФ
функции f
По сложности ТДНФ
МДНФ
функции f
110
СДНФ
функции
По методу Квайна-МакКласки
Сокр. ДНФ
функции По матрице Квайна (с помо-
щью функции Петрика)
ТДНФ
функции
По сложности ТДНФ
МДНФ
функции
По отрицанию МДНФ
МКНФ
функции f
111