сять зависят от двух переменных.
Наиболее важными логическими операциями двух переменных являются:
∙логическое умножение. Эту операцию в математике называют конъюнкцией, а в схемотехнике – операцией "И". Обозначаются значком “&” или “Λ”. (рис.110)
∙логическое сложение. Операция носит название дизъюнкция, а в схемотех- нике – операция "ИЛИ".
X2 |
X1 |
Y |
|
|
|
|
X1 |
VD1 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Y=X1VX2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
X1 |
|
|
|
X2 |
|
|
|
|
|
|
|
|
|
||||
0 |
1 |
1 |
|
|
1 |
|
Y=X1VX2 |
VD2 |
|
|
|
|
|
|
|||
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||
X2 |
|
|
|
|
|
|
|
R |
|||||||||
1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
1 |
|
|
б) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в) |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
а) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис.111. Таблица истинности элемента(а), условное обозначение элемента "ИЛИ"(б), схе- ма реализации(в).
Количество входных сигналов, поступающих на элемент может быть лю- бым. На рис.111(в) изображена схема реализации операции "ИЛИ" на диодах. В математических выражениях операция обозначается знаками "V" или "+".
∙ равнозначность (операция сравнения)(рис.112а).
|
|
|
|
|
X 2 |
X1 |
Y |
|
|
|
|
|
X 2 |
X1 |
Y |
X 1 |
|
|
|
|
0 |
0 |
1 |
X 1 |
|
= |
|
Y=X1ÅX 2 |
0 |
0 |
0 |
|
= |
|
Y=X1"="X2 |
|
|||||||||||
|
|
|
|
||||||||||||
|
|
X 2 |
|
|
|||||||||||
X 2 |
|
|
0 |
1 |
0 |
|
|
|
0 |
1 |
1 |
||||
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
0 |
0 |
|
|
|
|
1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а) |
|
|
|
|
|
|
б) |
|
|
||
Рис.112.Условное обозначение и таблица истинности элемента "равнозначность"(а) и "нерав- нозначность"(б)
∙ неравнозначность (рис.112б).
96
- операция Шеффера или операция "И-НЕ"
X 2 |
X 1 |
Y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
U |
П |
||
0 |
0 |
1 |
X 1 |
|
|
|
|
|
|
|
|
VD1 |
|
|
R |
|
|
|
RK |
||||||||||||
0 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
X1 |
|
|
|
|
|
|
|
|
|
|
Y=X1ΛX2 |
|||||||||||||
|
|
|
Y=X |
ΛX |
2 |
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
X 2 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
1 |
0 |
1 |
|
|
|
|
|
|
X2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
VD2 |
|
|
|
|
|
|
|
||||||||||||
1 |
1 |
0 |
|
|
б) |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
в) |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
а)
Рис.113.Условное обозначение(а), таблица истинности(б) и схемная реализация элемен- та "И-НЕ"(в).
- операция Пирса или операция "ИЛИ-НЕ"
X2 |
X1 |
Y |
|
|
|
|
|
|
|
|
0 |
0 |
1 |
X1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
0 |
1 |
0 |
|
Y=X1VX2 |
||||||
|
|
|||||||||
|
|
|
||||||||
X2 |
||||||||||
1 |
0 |
0 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
б) |
|
|
|
|
|
|
а) |
|
|
|
|
|
|
|
||
|
|
UП |
|
|
RK |
X1 |
VD1 |
Y=X1VX2 |
X2 |
VD2 |
|
|
|
|
|
|
R |
в)
Рис.114. Условное обозначение(а), таблица истинности(б) и схемная реализация элемента
"ИЛИ-НЕ"(в).
Способы записи функций алгебры логики. Рассмотрим некоторое логиче- ское устройство, на вход которого присутствует некоторый П – разрядный двоичный код xn-1…x1x0, а входе соответственно П2 – разрядный двоичный код
Zm-1 …Z1Z0 (рис.115).
Зависимость выходной величины от входных, связанная с помощью опе-
X0 |
|
|
|
Z0 |
раций алгебры логики называется функцией |
|
|
|
|||
|
|
|
алгебры логики (ФАЛ). Очевидно, что для n |
||
|
|
|
|||
X1 |
|
Логич. |
|
Z1 |
входных переменных существует 2n различ- |
|
|
||||
X2 |
|
устройство |
|
Z2 |
ных значений выходной функции. Функция |
|
|
||||
|
|
|
|
|
называется полностью определенной, если |
Xn- |
|
|
|
Zn-1 |
заданы все 2n ее значений. Если же часть |
|
|
|
функций не задана, то она называется час- |
||
1 |
|
|
|||
|
|
|
|
|
тично определенной. |
|
|
|
|
|
|
Рис.115. Логическое устройство. |
Устройства, поведение которых опи- |
||||
|
|
|
|
|
сывается при помощи ФАЛ, называются ло- |
гическими. Для описания ФАЛ могут быть использованы следующие способы:
97
-словесное описание;
-описание в виде таблиц истинности;
-описание в виде алгебраических выражений;
-описание в виде последовательности десятичных чисел.
Словесное описание ФАЛ может звучать так: "Логическая функция трех пере- менных равна единице, если все три входные переменные равны “единицам”. Данный вид описания наиболее часто применяется для первоначального описа- ния поведения логического устройства.
Описание в виде таблицы истинности представляет собой таблицу, которая
содержит все возможные комбинации входных переменных и соответствующие им значения функций. Таблица содержит 2n строк и n + m столбцов. Например, таблица 5.
Таблица 5.
x2 |
x1 |
x0 |
y |
x2 |
x1 |
x0 |
y |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
При описании ФАЛ с помощью алгебраических выражений возможны две фор-
мы ее записи:
1. Дизъюнктивная нормальная форма(ДНФ), которая представляет собой логи-
ческую сумму элементарных логических произведений, в каждое из которых входят входные переменные или их инверсии один раз. ДНФ может быть полу- чена из таблицы истинности. Для этого для значений функции Y =1 записыва- ются элементарные логические произведения. Для таблицы 5 имеем:
Y(X2,X1,X0) = X2X1X0 + X2X1X0+X2 X1X0 + X2X1X0
2. Конъюнктивная нормальная форма(КНФ), которая представляет собой логи-
ческое произведение элементарных логических сумм, в каждую из которых входит входные переменные или их инверсии только один раз. КНФ может быть получена из таблицы истинности. Для этого для значений функции Y=0 записываются элементарные логические суммы входных величин. Для таблицы 5 записываем:
Y(X2,X1,X0) = (X2 + X1 + X0) × (X2 + X1 + X0) + (X2 + X1 + X0) + (X2 + X1 + X
Описание ФАЛ в виде последовательности десятичных чисел можно по- лучить из алгебраических выражений ДНФ и КНФ. Например для нашего слу-
чая: Y(X2,X1,X0)=Σ(2,3,5,7); Y(X2,X1,X0)=Π(0,1,4,6)
Основные теоремы и аксиомы алгебры логики и минимизация ФАЛ. Од- ним из важнейших положений алгебры логики является принцип двойственно-
98
сти. Он заключается в том, что операции логического сложения можно заме- нить операциями логического умножения и наоборот.
Если X1 × X0 = Y , то X1 + X0 = Y ; если X1 + X0 = Y , то X1 × X0 = Y
свою очередь все логические функции могут быть записаны в ДНФ и КНФ. Следовательно, любую логическую функцию можно представить с по- мощью трех элементарных функций: инверсии, дизъюнкции и конъюнкции.
X1 |
|
|
|
1 |
|
|
|
|
|
|
Y=X ΛX |
|
X1 |
|
|
|
|
|
|
|
|
|
X0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
1 |
1 |
0 |
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
||
X0 |
|
|
|
|
|
|
|
|
|
|
|
|
X0 |
|
|
|
|
|
|
|
Y=X1VX0 |
|
|
|
Y=X0 |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в) |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
а) |
|
|
|
|
|
|
б) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Рис.116. Реализация операций И(а), ИЛИ(б), НЕ(в) на базе элементов 2ИЛИ-
Функционально полной системой логических элементов называется совокуп-
ность логических элементов, позволяющая реализовать все 16 логических опе- раций. К таким функционально полным системам относятся системы: И, ИЛИ, НЕ; И, НЕ; ИЛИ, НЕ; И-НЕ. В качестве примера рассмотрим выполнение опе- раций И, ИЛИ, НЕ на элементах ИЛИ-НЕ.
Теоремы булевой алгебры отражают связи, существующие между опера- циями, выполняемыми над логическими переменными.
X + 0 = X
X + 1 = 1
X + X = X
X + X = 1
X = X
X1 + X0 = X0 + X1
(X2 + X1) + X0 = X2 + (X1 + X0) X2 + X1 = X2 × X1
X1 × X0 + X0 = X0
X2 × X1 + X0 = (X1 + X0) × (X2 + X0 ) X1 × X0 + X0 = X1 + X0
X1 × X0 + X1 × X0 = X0
X ×1 = X
X ×0 = 0
X × X = X
X × X = 0
X1 × X0 = X0 × X1
(X2 × X1)X0 = X2(X1 × X0 X1 × X0 = X1 + X0
(X1 + X0)X0 = X0
(X2 + X1)X0 = X2X0 + X (X1 + X0)X0 = X1X0 (X1 + X0)(X1 + X0) = X0
Любую логическую схему можно описать и представить в совершенной дизъюнктивной или конъюнктивной нормальной форме. Однако полученная
99
таким образом схема не является оптимальной с точки зрения ее практической реализации. Поэтому исходные ФАЛ обычно минимизируют. Целью миними- зации является уменьшение стоимости ее технической реализации. Критерий минимизации неоднозначен. Наиболее просто задача минимизации решается с использованием карт Вейча. Данный метод минимизации базируется на таб- личном методе представления ФАЛ при числе переменных меньше пяти.
Карта Вейча – это прямоугольная таблица, число клеток в которой равно 2n и в каждой клетке имеется набор всех входных переменных и их инверсий. На рис.117 приведены карты Вейча для двух, трех и четырех перемен- ных.Алгоритм минимизации ФАЛ сводится к следующему:
1) исходные данные записываются в виде таблицы истинности;
|
|
|
X 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
X 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
X 0 |
X0X1 |
X0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X 0 |
X 0X 1 |
|
2 |
X 0X 1X 2 |
X 0 |
|
1X 2 |
X 0 |
|
|
1 |
|
2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
X1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
X |
X |
X |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
X X |
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
X |
|
X |
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
X |
0 |
1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
X |
X |
2 |
|
|
X |
2 |
|
|
|
X |
X |
2 |
|
|
X |
X |
X |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
|
|
|
|
|
0 |
1 |
|
|
|
|
0 |
|
|
1 |
|
|
|
|
0 |
1 |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
а) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) |
|
|
|
|
|
|
|
|
|
X |
2 |
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
X 0X 1 |
|
2 |
|
3 |
X 0X 1X 2 |
|
3 |
X 0 |
|
1X 2 |
|
3 |
X 0 |
|
|
|
|
2 |
|
3 |
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
X 0 |
|
|
|
X |
X |
X |
X |
X |
X |
1 |
X |
X |
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
X X X X |
|
|
|
X X X X |
|
|
|
|
X X X X |
|
|
|
|
X X X X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
1 2 3 |
|
0 1 2 3 |
|
0 1 2 3 |
|
0 1 2 3 |
|
|
|
|
X 3 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
X 0X 1X 2X 3 |
X 0X 1X 2X 3 |
X 0X 1X 2X 3 |
X 0X 1X 2X 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
X 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
X X X X |
3 |
|
X X X X |
3 |
|
|
X X X X |
3 |
|
X X X X |
3 |
|
|
|
X |
3 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
2 |
|
0 |
1 |
2 |
|
|
|
|
0 |
1 |
2 |
|
|
|
|
|
|
0 |
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
X 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
в) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X0 X0
Рис.117. Карта Вейча для двух переменных(а), трех переменных(б), четырех перемен- ных(в).
2)составляется карта Вейча, в квадраты которой записываются значения функций из таблицы истинности;
3)все клетки, содержащие 1, объединяются в замкнутые области, причем
|
|
|
|
|
X1 |
|
|
|
1 |
|
|
|
||||||||
|
|
|
|
|
|
|
X |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
||||
1 |
|
|
1 |
|
|
|
1 |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
1 |
|
|
|
0 |
|
|
|
0 |
|
|
0 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
X2 |
|
|
|
|
|
|
|
|
||||||
|
|
X |
|
|
|
|
|
|
|
|
|
2 |
|
|||||||
|
|
|
|
|
|
|
X |
|
||||||||||||
каждая область должна представлять собой прямоугольник с числом клеток 2k, где k = 0, 1, 2, 3,… Области могут пересекаться и
одни и те же клетки могут входить в разные области. Затем производится запись мини- мизированного выражения в дизъюнктив- ной нормальной форме.
100