Материал: Аналоговая и цифровая электроника. Учебное пособие. 2000

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

сять зависят от двух переменных.

Наиболее важными логическими операциями двух переменных являются:

логическое умножение. Эту операцию в математике называют конъюнкцией, а в схемотехнике операцией "И". Обозначаются значком “&” или “Λ”. (рис.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

Источник: https://studfile.net/preview/16521196/