ОЧУС - это комбинационное устройство, имеющее 6 входов (2 разряда из регистра МН, 2 разряда из регистра Мт, вход переноса и управляющий вход h) и 3 выхода. Принцип работы ОЧУС описывается с помощью таблицы истинности (табл.5).
Разряды множителя закодированы : 0 - 00; 1 - 01; 2 - 10; 3 - 11.
Разряды множимого закодированы : 0 - 00; 1 - 11; 2 - 01; 3 - 10.
Управляющий вход h определяет тип операции: 0 - умножение закодированных цифр, поступивших на информационные входы, и добавление переноса; 1 - вывод на выходы без изменения значения разрядов, поступивших из регистра множимого.
Табл. 5
пер.
| Мн
| Мт
| упр.
|
| Перенос
| Результат
| Результат операции
|
|
Р1
| Х1
| Х2
| У1
| У2
| h
|
| Р
| Q1
| Q2
| В четверичной с/с
|
|
0
| 0
| 0
| 0
| 0
| 0
|
| 0
| 0
| 0
| 0*0+0=00
|
|
0
| 0
| 0
| 0
| 0
| 1
|
| 0
| 0
| 0
| Выход – код «00»
|
|
0
| 0
| 0
| 0
| 1
| 0
|
| 0
| 0
| 0
| 0*1+0=00
|
|
0
| 0
| 0
| 0
| 1
| 1
|
| 0
| 0
| 0
| Выход – код «00»
|
|
0
| 0
| 0
| 1
| 0
| 0
|
| 0
| 0
| 0
| 0*2+0=00
|
|
0
| 0
| 0
| 1
| 0
| 1
|
| 0
| 0
| 0
| Выход - код «00»
|
|
0
| 0
| 0
| 1
| 1
| 0
|
| Х
| Х
| Х
| 0*3+0=00
| *
|
0
| 0
| 0
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «00»
| *
|
0
| 0
| 1
| 0
| 0
| 0
|
| 0
| 0
| 0
| 2*0+0=00
|
|
0
| 0
| 1
| 0
| 0
| 1
|
| 0
| 0
| 1
| Выход – код «02»
|
|
0
| 0
| 1
| 0
| 1
| 0
|
| 0
| 0
| 1
| 2*1+0=02
|
|
0
| 0
| 1
| 0
| 1
| 1
|
| 0
| 0
| 1
| Выход – код «02»
|
|
0
| 0
| 1
| 1
| 0
| 0
|
| 1
| 0
| 0
| 2*2+0=10
|
|
0
| 0
| 1
| 1
| 0
| 1
|
| 0
| 0
| 1
| Выход – код «02»
|
|
0
| 0
| 1
| 1
| 1
| 0
|
| Х
| Х
| Х
| 2*3+0=12
| *
|
0
| 0
| 1
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «02»
| *
|
0
| 1
| 0
| 0
| 0
| 0
|
| 0
| 0
| 0
| 3*0+0=00
|
|
0
| 1
| 0
| 0
| 0
| 1
|
| 0
| 1
| 0
| Выход – код «03»
|
|
0
| 1
| 0
| 0
| 1
| 0
|
| 0
| 1
| 0
| 3*1+0=03
|
|
0
| 1
| 0
| 0
| 1
| 1
|
| 0
| 1
| 0
| Выход – код «03»
|
|
0
| 1
| 0
| 1
| 0
| 0
|
| 1
| 0
| 1
| 3*2+0=12
|
|
0
| 1
| 0
| 1
| 0
| 1
|
| 0
| 1
| 0
| Выход – код «03»
|
|
0
| 1
| 0
| 1
| 1
| 0
|
| Х
| Х
| Х
| 3*3+0=21
| *
|
0
| 1
| 0
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «03»
| *
|
0
| 1
| 1
| 0
| 0
| 0
|
| 0
| 0
| 0
| 1*0+0=00
|
|
0
| 1
| 1
| 0
| 0
| 1
|
| 0
| 1
| 1
| Выход – код «01»
|
|
0
| 1
| 1
| 0
| 1
| 0
|
| 0
| 1
| 1
| 1*1+0=01
|
|
0
| 1
| 1
| 0
| 1
| 1
|
| 0
| 1
| 1
| Выход – код «01»
|
|
0
| 1
| 1
| 1
| 0
| 0
|
| 0
| 0
| 1
| 1*2+0=02
|
|
0
| 1
| 1
| 1
| 0
| 1
|
| 0
| 1
| 1
| Выход – код «01»
|
|
0
| 1
| 1
| 1
| 1
| 0
|
| Х
| Х
| Х
| 1*3+0=03
| *
|
0
| 1
| 1
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «01»
| *
|
1
| 0
| 0
| 0
| 0
| 0
|
| 0
| 1
| 1
| 0*0+1=01
|
|
1
| 0
| 0
| 0
| 0
| 1
|
| 0
| 0
| 0
| Выход – код «00»
|
|
1
| 0
| 0
| 0
| 1
| 0
|
| 0
| 1
| 1
| 0*1+1=01
|
|
1
| 0
| 0
| 0
| 1
| 1
|
| 0
| 0
| 0
| Выход – код «00»
|
|
1
| 0
| 0
| 1
| 0
| 0
|
| 0
| 1
| 1
| 0*2+1=01
|
|
1
| 0
| 0
| 1
| 0
| 1
|
| 0
| 0
| 0
| Выход – код «00»
|
|
1
| 0
| 0
| 1
| 1
| 0
|
| Х
| Х
| Х
| 0*3+1=01
| *
|
1
| 0
| 0
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «00»
| *
|
1
| 0
| 1
| 0
| 0
| 0
|
| 0
| 1
| 1
| 2*0+1=01
|
|
1
| 0
| 1
| 0
| 0
| 1
|
| 0
| 0
| 1
| Выход – код «02»
|
|
1
| 0
| 1
| 0
| 1
| 0
|
| 0
| 1
| 0
| 2*1+1=03
|
|
1
| 0
| 1
| 0
| 1
| 1
|
| 0
| 0
| 1
| Выход – код «02»
|
|
1
| 0
| 1
| 1
| 0
| 0
|
| 1
| 1
| 1
| 2*2+1=11
|
|
1
| 0
| 1
| 1
| 0
| 1
|
| 0
| 0
| 1
| Выход – код «02»
|
|
1
| 0
| 1
| 1
| 1
| 0
|
| Х
| Х
| Х
| 2*3+1=13
| *
|
1
| 0
| 1
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «02»
| *
|
1
| 1
| 0
| 0
| 0
| 0
|
| 0
| 1
| 1
| 3*0+1=01
|
|
1
| 1
| 0
| 0
| 0
| 1
|
| 0
| 1
| 0
| Выход – код «03»
|
|
1
| 1
| 0
| 0
| 1
| 0
|
| 1
| 0
| 0
| 3*1+1=10
|
|
1
| 1
| 0
| 0
| 1
| 1
|
| 0
| 1
| 0
| Выход – код «03»
|
|
1
| 1
| 0
| 1
| 0
| 0
|
| 1
| 1
| 0
| 3*2+1=13
|
|
1
| 1
| 0
| 1
| 0
| 1
|
| 0
| 1
| 0
| Выход – код «03»
|
|
1
| 1
| 0
| 1
| 1
| 0
|
| Х
| Х
| Х
| 3*3+1=12
| *
|
1
| 1
| 0
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «03»
| *
|
1
| 1
| 1
| 0
| 0
| 0
|
| 0
| 1
| 1
| 1*0+1=01
|
|
1
| 1
| 1
| 0
| 0
| 1
|
| 0
| 1
| 1
| Выход – код «01»
|
|
1
| 1
| 1
| 0
| 1
| 0
|
| 0
| 0
| 1
| 1*1+1=02
|
|
1
| 1
| 1
| 0
| 1
| 1
|
| 0
| 1
| 1
| Выход – код «01»
|
|
1
| 1
| 1
| 1
| 0
| 0
|
| 0
| 1
| 0
| 1*2+1=03
|
|
1
| 1
| 1
| 1
| 0
| 1
|
| 0
| 1
| 1
| Выход – код «01»
|
|
1
| 1
| 1
| 1
| 1
| 0
|
| Х
| Х
| Х
| 1*3+1=10
| *
|
1
| 1
| 1
| 1
| 1
| 1
|
| Х
| Х
| Х
| Выход – код «01»
| *
|
В таблице выделено 16 безразличных наборов, т.к. на входы ОЧУС из разрядов множителя не может поступить код 11.
Таблица 6. Шестнадцать безразличных наборов для ОЧУС.
P1
| X1
| X2
| Y1
| Y2
| H
|
0
| 0
| 0
| 1
| 1
| 0
|
0
| 0
| 0
| 1
| 1
| 1
|
0
| 0
| 1
| 1
| 1
| 0
|
0
| 0
| 1
| 1
| 1
| 1
|
0
| 1
| 0
| 1
| 1
| 0
|
0
| 1
| 0
| 1
| 1
| 1
|
0
| 1
| 1
| 1
| 1
| 0
|
0
| 1
| 1
| 1
| 1
| 1
|
1
| 0
| 0
| 1
| 1
| 0
|
1
| 0
| 0
| 1
| 1
| 1
|
1
| 0
| 1
| 1
| 1
| 0
|
1
| 0
| 1
| 1
| 1
| 1
|
1
| 1
| 0
| 1
| 1
| 0
|
1
| 1
| 0
| 1
| 1
| 1
|
1
| 1
| 1
| 1
| 1
| 0
|
1
| 1
| 1
| 1
| 1
| 1
|
Таблица 7. Единичные наборы для выхода Q1 ОЧУС:
P1
| X1
| X2
| Y1
| Y2
| h
|
0
| 1
| 0
| 0
| 0
| 1
|
0
| 1
| 0
| 0
| 1
| 0
|
0
| 1
| 0
| 0
| 1
| 1
|
0
| 1
| 0
| 1
| 0
| 1
|
0
| 1
| 1
| 0
| 0
| 1
|
0
| 1
| 1
| 0
| 1
| 0
|
0
| 1
| 1
| 0
| 1
| 1
|
0
| 1
| 1
| 1
| 0
| 1
|
1
| 0
| 0
| 0
| 0
| 0
|
1
| 0
| 0
| 0
| 1
| 0
|
1
| 0
| 0
| 1
| 0
| 0
|
1
| 0
| 1
| 0
| 0
| 0
|
1
| 0
| 1
| 0
| 1
| 0
|
1
| 0
| 1
| 1
| 0
| 0
|
1
| 1
| 0
| 0
| 0
| 0
|
1
| 1
| 0
| 0
| 0
| 1
|
1
| 1
| 0
| 0
| 1
| 1
|
1
| 1
| 0
| 1
| 0
| 0
|
1
| 1
| 0
| 1
| 0
| 1
|
1
| 1
| 1
| 0
| 0
| 0
|
1
| 1
| 1
| 0
| 0
| 1
|
1
| 1
| 1
| 0
| 1
| 1
|
1
| 1
| 1
| 1
| 0
| 0
|
1
| 1
| 1
| 1
| 0
| 1
|
Таблица 8. Карта Карно-Вейча для единичных наборов выхода Q1 ОЧУС:
1
|
| *
| 1
|
| *
| 1
|
|
1
| 1
| *
| 1
| 1
| *
| 1
| 1
|
1
| 1
| *
| 1
| 1
| *
| 1
| 1
|
1
|
| *
| 1
|
| *
| 1
|
|
1
| 1
| *
| 1
|
| *
|
|
|
|
| *
|
|
| *
|
|
|
|
| *
|
|
| *
|
|
|
1
| 1
| *
| 1
|
| *
|
|
|
Q1 = X1 H + P1 X1 Y2 + P1 Y2 H + P1 X1 H =
= X1(H + P1 Y2) + P1 H(Y2 X1)
Таблица 9. Единичные наборы для выхода Q2 ОЧУС:
P1
| X1
| X2
| Y1
| Y2
| h
|
0
| 0
| 1
| 0
| 0
| 1
|
0
| 0
| 1
| 0
| 1
| 0
|
0
| 0
| 1
| 0
| 1
| 1
|
0
| 0
| 1
| 1
| 0
| 1
|
0
| 1
| 0
| 1
| 0
| 0
|
0
| 1
| 1
| 0
| 0
| 1
|
0
| 1
| 1
| 0
| 1
| 0
|
0
| 1
| 1
| 0
| 1
| 1
|
0
| 1
| 1
| 1
| 0
| 0
|
0
| 0
| 1
| 1
| 0
| 1
|
1
| 0
| 0
| 0
| 0
| 0
|
1
| 0
| 0
| 0
| 1
| 0
|
1
| 0
| 0
| 1
| 0
| 0
|
1
| 0
| 1
| 0
| 0
| 0
|
1
| 0
| 1
| 0
| 0
| 1
|
1
| 0
| 1
| 0
| 1
| 1
|
1
| 0
| 1
| 1
| 0
| 0
|
1
| 1
| 1
| 1
| 0
| 1
|
1
| 1
| 0
| 0
| 0
| 0
|
1
| 1
| 1
| 0
| 0
| 0
|
1
| 1
| 1
| 0
| 0
| 1
|
1
| 1
| 1
| 0
| 1
| 0
|
1
| 1
| 1
| 0
| 1
| 1
|
1
| 1
| 1
| 1
| 0
| 1
|
Таблица 10. Карта Карно-Вейча для нулевых наборов выхода Q2 ОЧУС:
| 1
| *
| 1
|
| *
| 1
| 1
|
1
| 1
| *
| 1
| 1
| *
| 1
| 1
|
|
| *
|
|
| *
|
|
|
|
| *
| 1
|
| *
|
| 1
|
| 1
| *
|
| 1
| *
|
| 1
|
|
| *
|
|
| *
|
|
|
1
| 1
| *
| 1
| 1
| *
| 1
| 1
|
|
| *
|
| 1
| *
| 1
| 1
|
Q2=(X2+H)*(P1+X2+Y1)*(P1+Y1+Y2+H)*(X1+X2+Y2)*(P1+X1+Y1+Y2+H)* *(P1+X1+X2+Y2+H)*(P1+X1+Y1+H)
Таблица 11. Единичные наборы для выхода переноса ОЧУС P2:
P1
| X1
| X2
| Y1
| Y2
| h
|
0
| 0
| 1
| 1
| 0
| 0
|
0
| 1
| 0
| 1
| 0
| 0
|
1
| 0
| 1
| 1
| 0
| 0
|
1
| 1
| 0
| 0
| 1
| 0
|
1
| 1
| 0
| 1
| 0
| 0
|
Таблица 12. Карта Карно-Вейча для единичных наборов выхода переноса ОЧУС P:
| 1
| *
| 1
| 1
| *
|
|
|
|
| *
|
|
| *
|
|
|
|
| *
|
|
| *
|
|
|
|
| *
|
|
| *
|
|
|
|
| *
| 1
| 1
| *
|
|
|
|
| *
|
|
| *
|
|
|
|
| *
|
|
| *
|
|
|
|
| *
|
|
| *
|
|
|
P = X1 X2 Y1 H + X1 X2 Y1 H + P1 X1 X2 Y2 H =
= H X2 X1 (Y1 + P1 Y2) + X1 X2 Y1 H = H(X1 X2 Y1 + X1 X2(Y1 + P1 Y2))
Эффективность минимизации определяется коэфицентом минимизации. Он расчитывается по следующей формуле:
Цена исходного покрытия
Коэф.=-----------------------------------------
Цена минимального покрытия
Таблица 13. Коэфициент минимизации.
| Цена исходного покрытия
| Цена минимального покрытия
| Коэфицент минимизации
|
Q1
| 154
| 15
| 10,27
|
Q2
| 154
| 32
| 4,81
|
P2
| 35
| 14
| 2,5
|