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

микросхемотехника

.pdf
Скачиваний:
23
Добавлен:
21.05.2015
Размер:
928.42 Кб
Скачать

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РФ ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Физический факультет

Кафедра физики полупроводников и микроэлектроники

СХЕМОТЕХНИКА ИНТЕГРАЛЬНЫХ СХЕМ

Часть 1 ЦИФРОВЫЕ СТРУКТУРЫ

Методические материалы для выполнения контрольных заданий

по курсу “Микросхемотехника” для студентов 5 курса дневного отделения

специальности 200.200

Составители: В.И.Клюкин, Е.В.Невежин

Воронеж 1999

2

УДК 621.393 С 92

Печатается по решению Научно-методического совета физического факультета

ВГУ

С 92

Схемотехника интегральных схем. Ч.1: Цифровые структуры: Методические материалы для выполнения контрольных заданий по курсу “Микросхемотехника” для студентов 5 курса д/о спец. 200.200 / Сост.: В.И.Клюкин, Е.В.Невежин; Воронеж. гос. ун- т, физ. фак., каф. физики полупроводников и микроэлектроники. - Воронеж, 1999. – 30 с.

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

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

3

 

ОГЛАВЛЕНИЕ

 

ВВЕДЕНИЕ

4

1. ОСНОВЫ БУЛЕВОЙ АЛГЕБРЫ

5

 

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

5

 

1.2. Формы представления булевых функций

5

 

1.3. Минимизация логических выражений

9

 

1.3.1. Использование избыточных комбинаций

10

 

1.3.2. Упрощение нескольких булевых функций одновременно

12

2.

КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ

12

 

2.1. Преобразование числовой информации

12

 

2.2. Задания для самостоятельного проектирования

 

 

цифровых устройств К-типа

17

3.

ПОСЛЕДОВАТЕЛЬНОСТНЫЕ ЛОГИЧЕСКИЕ СХЕМЫ

18

 

3.1. Синтез цифровых устройств П-типа

18

 

3.2. Метод словарных преобразований разностных карт минтермов

22

 

3.3. Многоразрядные субсистемы на основе регистров сдвига

22

 

3.4. Задания для самостоятельного проектирования

 

 

логических устройств П-типа

25

4.ПРОЕКТИРОВАНИЕ ЦИФРОВЫХ АВТОМАТОВ С ОГРАНИЧЕНИЯМИ

НА ВЫХОДНЫЕ ПАРАМЕТРЫ

26

4.1. Сравнительный анализ транзисторных логик

26

4.2. Контрольные задания и методические указания по их выполнению

27

РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА...

30

4

ВВЕДЕНИЕ

К настоящему времени микроэлектроника занимает ключевые позиции в производстве электронных устройств, постоянно укрупняющихся и расширяющих функциональные возможности. Основную массу микроэлектронных изделий составляют интегральные схемы (ИС), разделяющиеся по характеру функционирования и способу представления информации на два основных класса - цифровые (логические) ИС и аналоговые ИС. При этом наиболее интенсивно развивается элементная база “крупноблочного” построения электронной аппаратуры - ИС субсистемы (счетчики, регистры, дешифраторы, блоки памяти, АЦП и ЦАП, микропроцессоры), удовлетворяющие следующим требованиям:

выполнение типовых, широко используемых функций;

наращиваемость, т.е. возможность изменения в широких пределах числа разря-

дов;

ограниченное число внешних связей;

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

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

5

1. ОСНОВЫ БУЛЕВОЙ АЛГЕБРЫ

Состояние входов и выходов логических элементов (ЛЭ) могут принимать только два различных значения, характеризующих не столько количественную, сколько качественную сторону происходящих изменений. Переменные, описывающие эти состояния, также принимают 2 значения (в цифровой технике “0” и “1”), причем любое изменение состояния ЛЭ соответствует переходу “0””1” или “1””0”. Возможную двойственность устраняют понятия положительной (позитивной) и отрицательной (негативной) логик, а именно: в положительной логике более высокому потенциалу соответствует логическая “1”, в отрицательной - логический “0”. Математика двузначных чисел есть алгебра логики, доказательная база (постулаты 1÷5 и основные теоремы 6÷14) которой представлена в табл. 1.1.

Приведенные в табл. 1.1 соотношения имеют двойственный характер, т.е. могут быть получены одно из другого взаимной заменой “0””1”, (+)(). Отметим также, что в булевой алгебре справедливы переместительный и сочетательный законы.

1.1. Логические функции В булевой алгебре как аргументы, так и функции могут принимать только 2 значе-

ния, т.е. область определения булевых функций всегда конечна. Совокупность значений аргументов Z связана с числом переменных n соотношением Z =2n, а число соответствующих булевых функций, обозначающих логические операции над n переменными, равно Nz = 2z. Логические функции одной и двух переменных вместе с графическими обозначениями базисных ЛЭ приведены в табл. 1.2.

Из приведенных логических операций (функций) основной базис составляют конъюнкция и, дизъюнкция или и инверсия и, образующие функционально полную систему, достаточную для реализации любой произвольно заданной функции двоичного аргумента. Примеры других функционально полных наборов ЛЭ приведены в табл. 1.3.

Нетрудно заметить, что базисные логические функции и, или, и-не, или-не легко

обобщаются на случай n переменных: f1(xn) = x1x2...xn;; f7(xn) = x1+x2+...+xn; f8(xn) = =x1+ +x2+...+xn; f14(xn) = x1x2...xn. Соответствующие логические устройства (аппара-

турные аналоги) будут иметь n входов.

1.2.Формы представления булевых функций

Как следует из теоремы разложения (табл. 1.1, №14), любую логическую функцию n переменных можно представить в двух стандартных формах: совершенной дизъюнктивной нормальной форме (СДНФ) (1.1), представляющей сумму минтермов mi (произведений всех переменных, в которые каждая переменная в прямой или инверсной форме входит только один раз),

f = N

fi mi ,

(1.1)

i = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

N=2n-1; fi=0,1 – коэффициенты разложения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 1.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

NN

 

 

 

Аналитическое выражение

 

Примечания

 

п/п

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

X = 0, если X

1;

 

 

 

 

 

 

Определение двоичной

 

 

 

 

X = 1, если X

0

 

 

 

 

 

 

(булевой) переменной

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

0

0 = 0;

 

 

 

 

 

 

 

 

 

 

Второму соотношению нет аналога в

 

 

 

 

 

1 + 1 = 1

 

 

 

 

 

 

 

 

 

 

обычной арифметике

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

1

1 = 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 + 0 = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

1

0 = 0 1 = 0;

 

 

 

 

0 + 1 = 1 + 0 = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

1

 

 

 

 

 

 

 

 

 

 

 

 

Определение операции «инверсия», «от-

 

5

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рицание» (НЕ)

 

 

 

 

 

 

 

 

 

 

 

 

1 =

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

X + 0 = X;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

1 = X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

1 + X = 1;

 

 

 

 

 

 

 

 

1 + X + Y + ... = 1

 

 

 

 

 

0

X = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

X + X = X;

 

 

 

 

 

 

 

 

nX = X;

 

 

 

 

 

 

 

 

X

X = X

 

 

 

 

 

 

 

 

Xn = X

 

 

 

 

 

 

(

 

 

 

 

) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

X

X

 

 

 

 

 

 

 

 

 

 

 

 

Двойная инверсия оставляет логическое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

 

 

) =

 

 

 

 

 

= X

 

 

 

 

 

 

 

 

выражение неизменным

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X +

 

 

 

 

=

1

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X =

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

XY + XZ = X(Y+Z)

 

Распределительный закон

 

 

 

 

(X + Y)(X + Z) = X + YZ

 

Закон поглощения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

... =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X + Y +

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12

 

 

 

 

 

 

X

Y

Z

 

Теорема де Моргана

 

 

 

 

 

 

 

 

 

 

+ ...

 

 

 

 

 

 

X Y Z

... =

 

 

 

 

+

 

 

 

 

 

 

 

X

+ Y

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

13

 

 

 

f [ x1 , x2 ,..., xn ,( +

),( )]

Теорема Шеннона

 

 

= f [ x1

, x2 ,..., xn ,( ),( + )]

 

 

 

 

 

 

 

 

 

7

 

 

 

 

f ( x1 , x2 ,..., xn ) =

 

 

=

x1 f ( 1, x2 ,..., xn ) +

 

14

+

x1

f ( 0 , x2 ,..., xn );

Теорема разложения

f ( x1 , x2 ,..., xn ) =

 

 

 

=

[ x1 +

f ( 0 , x2 ,..., xn )]

 

 

[ x1 +

f ( 1, x2 ,..., xn )]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 1.2

 

Значения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Графическое

 

 

аргумен-

Аналитическое

Наименование

изображение

 

 

тов

выражение

 

аппаратурного

 

 

X 0 0 1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

аналога

 

 

Y 0 1 0 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 0 0

 

ƒ 0 = 0

 

 

 

 

 

 

 

 

 

 

 

Константа 0

 

 

 

0 0 0 1

 

ƒ 1 = XY

Логическое умноже-

 

 

 

 

ние, конъюнкция (И)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 1 0

 

f 2 =

 

X

 

 

 

 

 

 

 

 

 

 

 

Запрет по Y

 

 

 

 

Y

 

 

 

 

 

 

 

 

 

0 0 1 1

 

ƒ 3 = X

 

 

 

 

 

 

 

 

 

 

 

Тождественность

 

 

 

0 1 0 0

 

f 4 =

 

 

 

 

 

 

Y

Запрет по X

 

 

к

 

X

 

 

н

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1 0 1

 

ƒ 5 = Y

 

 

 

 

 

 

 

 

 

 

 

Тождественность

 

 

у

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Исключительное

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1 1 0

f6 =

X

Y +

 

X Y

ИЛИ (неравнознач-

 

 

 

 

 

 

я

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ность)

 

 

 

 

ƒ 7 = X + Y

Логическое сложе-

 

 

и

0 1 1 1

 

ние, дизъюнкция

 

 

н

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(ИЛИ)

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Стрелка Пирса

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ч

1 0 0 0

 

f8 =

 

X +

Y

 

 

 

 

(ИЛИ - НЕ)

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Эквивалентность,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

н

1 0 0 1

f9 =

X

Y +

 

 

X Y

 

 

 

 

равнозначность

 

 

З

 

 

 

 

1 0 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Инверсия Y (НЕ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f10 = Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Импликация от

 

 

 

1 0 1 1

f11 = X + Y

 

 

 

Y к X

 

 

 

1 1 0 0

 

f12 =

 

 

 

 

 

 

Инверсия X (НЕ)

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Импликация от

 

 

 

1 1 0 1

f13 = X + Y

 

 

 

X к Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Штрих Шеффера

 

 

 

1 1 1 0

f14 = X Y

 

 

 

(И - НЕ)

 

 

 

1 1 1 1

 

ƒ 15 = 1

 

 

 

 

 

 

 

 

 

 

 

Константа 1

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 1.3

Исходный

 

 

 

 

Реализация базисных логических операций

 

 

 

 

 

 

набор ЛЭ

 

 

 

 

И

 

 

 

 

ИЛИ

 

 

НЕ

 

И, НЕ

 

 

 

 

X + Y =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

Y

 

 

 

 

 

 

ИЛИ, НЕ

X Y =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

+ Y

 

 

 

 

 

 

И - НЕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X Y = (

 

 

 

 

)(

 

 

 

)

 

X + Y = (

 

 

)(

 

)

 

 

 

 

 

 

 

X Y

X Y

X X

Y Y

X X

 

ИЛИ - НЕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X Y = (

 

 

 

 

 

) + (

 

 

 

)

X + Y = (

 

) + (

 

)

 

 

 

 

X + X

Y + Y

X + Y

X + Y

X + X

 

8

и совершенной конъюнктивной нормальной форме (СКНФ) (1.2), представляющей произведение макстермов Mi (сумм всех переменных, в которых каждая переменная входит только раз)

f = N ( fi + M N i ),

fi = 0,1.

(1.2)

i= 0

 

 

Совокупность минтермов и макстермов для трех аргументов приведена в табл. 1.4.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 1.4

Значения

Минтермы

Макстермы

ƒ i

 

переменных

 

 

 

mi

 

 

 

Mi

 

X Y Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 0

m0 =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

X

 

Y

 

Z

M0 = X + Y + Z

 

0 0 1

m1 =

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

X

 

Y

 

M 1 = X + Y + Z

 

0 1 0

m2 =

 

 

Y

 

 

 

 

 

M 2 =

 

 

 

+ Y +

 

 

 

 

0

 

X

Z

X

Z

 

0 1 1

m3 =

 

 

Y Z

M 3 =

 

 

+ Y + Z

0

 

X

X

 

1 0 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

1

 

m4 = X Y

Z

M 4 = X + Y

Z

 

1 0 1

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

+ Z

0

 

m5 = X Y

M 5 = X + Y

 

1 1 0

m6 = X Y

 

 

 

 

M6 = X + Y +

 

 

 

1

 

Z

Z

 

1 1 1

m7 = X• Y• Z

M7 = X+Y+Z

0

 

Очевидно, что число минтермов (макстермов) n переменных равно 2n. Свойства минтермов и макстермов определяются соотношениями (1.3) ... (1.7).

mi = M N i ;

 

i = mN i

 

M

 

N mi = 1; N Mi = 0

(1.3)-(1.7)

i= 0

i= 0

 

mim j = 0

при i

j

 

Mi + M j

= 1 при

i j.

 

Для получения СДНФ по заданной таблице истинности необходимо сложить минтермы тех наборов аргументов, для которых значения fi булевой функции равны 1, а для получения СКНФ - перемножить макстермы наборов с fi = 0. Действительно, для значений fi из табл. 1.4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( СДНФ)

 

X

Y

Z + X Y Z + X Y Z ;

(1.8)

f =

(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

+ Y

+ Z )( X + Y + Z )( X +

Y + Z )( X + Y + Z )( X + Y + Z ) ( СКНФ).

 

На практике удобнее пользоваться СДНФ, графически представленной коэффициентами разложения fi на специальной карте минтермов Вейча (рис. 1.1а - для двух переменных) или Карно (рис. 1.1б - для трех переменных). Графическое изображение булевой функ-

9

ции из табл. 1.4 приведено на рис. 1.1в., где пустые клетки карты минтермов Карно соответствуют fi = 0.

а)

б)

в)

Рис. 1.1.

1.3.Минимизация логических выражений

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

f = X Y Z + X Y Z + X Y Z = X Y Z + X Z ,

(9 букв) (5 букв)

в результате которого при реализации требуется меньше базисных ЛЭ (6 вместо 7) и межсоединений (10 вместо 14) (рис. 1.2 а,б).

а) б)

Рис. 1.2.

Наиболее удобен метод упрощения, основанный на “склеивании” (объединении) минтермов СДНФ булевой функции, графически представленной в виде карты Вейча или Карно (типа рис. 1.1в). Правила “склеивания” минтермов (для карты Карно) следующие:

1) Допускают объединение 2m минтермов, расположенных в соседних строках (столбцах) карты минтермов;

2)соседними строками (столбцами) считаются такие, при переходах между которыми изменяет свое значение только одна переменная;

3)полученное в результате объединения минтермов выражение содержит на m букв меньше, чем любой из исходных минтермов;

4)в конечном выражении пропадают те переменные, которые при переходах между объединяемыми минтермами изменяют свое значение;