- •Исходные данные:
- •Разработка алгоритма умножения.
- •Умножение по алгоритму в:
- •Результат минимизации функций по картам Карно-Вейча
- •Реализация очс в заданном базисе
- •Упрощение очус картами Вейча
- •Результата минимизации очус с помощью карт Вейча и алгоритма рота
- •Логический синтез одноразрядного четверичного сумматора на основе мультиплексоров
- •Временные затраты на умножение
- •Исходные данные :
- •Получаем:
- •Получаем:
- •Получаем:
- •В результате: так как |с5|1, то поиск простых импликант закончен
- •Проверка покрытия множества z´ множеством найденных l-экстремалей е
Упрощение очус картами Вейча
Функция P (Карта Карно)
Y1 y2 h P x1 x2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
000 |
|
|
|
|
* |
* |
|
|
001 |
|
|
|
|
* |
* |
|
1 |
011 |
|
|
|
|
* |
* |
|
1 |
010 |
|
|
|
|
* |
* |
|
|
110 |
* |
* |
* |
* |
* |
* |
* |
|
111 |
* |
* |
* |
* |
* |
* |
* |
1 |
101 |
* |
* |
* |
* |
* |
* |
* |
1 |
100 |
* |
* |
* |
* |
* |
* |
* |
|
Функция Q1 (Карта Карно)
Y1 y2 h P x1 x2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
000 |
1 |
|
|
|
* |
* |
1 |
|
001 |
1 |
|
|
|
* |
* |
1 |
1 |
011 |
1 |
|
|
1 |
* |
* |
1 |
|
010 |
1 |
|
|
1 |
* |
* |
1 |
1 |
110 |
* |
* |
* |
* |
* |
* |
* |
|
111 |
* |
* |
* |
* |
* |
* |
* |
1 |
101 |
* |
* |
* |
* |
* |
* |
* |
|
100 |
* |
* |
* |
* |
* |
* |
* |
1 |
Функция Q2 (Карта Карно)
(в дальнейшем будет упрощаться алгоритмом рота)
Y1 y2 h P x1 x2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
000 |
|
|
1 |
|
* |
* |
|
1 |
001 |
|
|
1 |
1 |
* |
* |
|
|
011 |
|
|
1 |
1 |
* |
* |
|
1 |
010 |
|
|
1 |
|
* |
* |
|
|
110 |
* |
* |
* |
* |
* |
* |
* |
|
111 |
* |
* |
* |
* |
* |
* |
* |
1 |
101 |
* |
* |
* |
* |
* |
* |
* |
|
100 |
* |
* |
* |
* |
* |
* |
* |
1 |
Безразличные наборы
Y1 y2 h P x1 x2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
000 |
|
|
|
|
* |
* |
|
|
001 |
|
|
|
|
* |
* |
|
|
011 |
|
|
|
|
* |
* |
|
|
010 |
|
|
|
|
* |
* |
|
|
110 |
* |
* |
* |
* |
* |
* |
* |
|
111 |
* |
* |
* |
* |
* |
* |
* |
|
101 |
* |
* |
* |
* |
* |
* |
* |
|
100 |
* |
* |
* |
* |
* |
* |
* |
|