Сообщения Кафедра «Управление и Информатика в Технических Системах» (стр. 2 из 4)

0	1	2	3	4	5	6	7
000 000 000	001 001 001	010 010 011	011 011 010	100 100 110	101 101 111	110 110 101	111 111 100

4.3. Таблица состояний

Таблица состояний заполняется в соответствии с особенностями, указанными в пунктах 4.1. и 4.2.

Разряды входной комбинации					Разряды выходной комбинации
a	b	c	d	e	z3	z2	z1
0	0	0	0	0	0	0	0
0	0	0	0	1	0	0	1
0	0	0	1	1	0	1	1
0	0	1	1	1	0	1	0
0	1	1	1	1	1	1	0
1	1	1	1	1	1	1	1
1	1	1	1	0	1	0	1
1	1	1	0	0	1	0	0

5. Аналитическая запись логических функций и их минимизация

5.1. Обоснование выбора метода минимизации

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

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

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

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

5.2. Нахождение МДНФ

Запишем логические функции по «единицам», используя таблицу состояний, в СДНФ по правилам алгебры логики, а именно «нулевой» сигнал примем за инверсию соответствующей входной переменной, а «единичный» сигнал – за саму переменную. Таким образом, получаем дизъюнкцию конъюнктивных членов (сумму произведений), представляющую собой СДНФ:

Далее для каждой из функций проведём операции неполного склеивания, в соответствии с правилами булевой алгебры. И составим импликатные матрицы для каждой из функций в отдельности. В шапке, идущей по горизонтали указываем для каждого столбца один из конъюнктивных членов функции, записанной в СДНФ. Соответственно, количество столбцов совпадает с количеством конъюнктивных членов. В шапке по вертикали записываем результаты неполного склеивания, соответственно число строк матрицы равно числу результатов неполного склеивания. Минимизация по импликатным матрицам провидится таким образом, что отмечаются в строке того или иного результата неполного склеивания те ячейки, которые соответствуют тем конъюнктивным членам, из которых склеивается этот результат. Далее выбираются только те результаты неполного склеивания, которые охватывают все столбцы импликатной матрицы. Таковые результаты неполного склеивания суммируем (проводим операцию дизъюнкции).

Импликатная матрица для функции z₃

1 – 2 –

; 1 – 3 – не склеиваются; 1 – 4 – не склеиваются;

2 – 3 –

; 2 – 4 – не склеиваются; 3 – 4 -

		+	+
			+ +
	+ +

Импликатная матрица для функции z₂

1 – 2 –

; 1 – 3 – не склеиваются; 1 – 4 – не склеиваются;

2 – 3 –

; 2 – 4 – не склеиваются; 3 – 4 -

		+	+
	+ +
			+ +

Импликатная матрица для функции z₁

1 – 2 –

; 1 – 3 – не склеиваются; 1 – 4 – не склеиваются;

2 – 3 – не склеиваются; 2 – 4 – не склеиваются; 3 – 4 -

	+ +
			+ +