Синтез и анализ переключательных схем

В этом методе на первом этапе используется метод Квайне, а на втором – строится дополнительная таблица, позволяющая уменьшить количество кубов в покрытии

1. Запись СДНФ для функции F1(x)……………………………………………………………6
2. Расчёт СДНФ в таблице истинности EXCEL……………………………………………….6
3. Минимизация функции F1(x) в карте Карно………………………………………………..7
4. Минимизация функции F1(x) методом Квайна Мак-Класки………………………………8
5. Для минимизированной по карте Карно функции: логическая схема, контактная схема, “четырёхмерный куб”…………………………………………………………………………...9
6. Использование разложения Шеннона для построения диаграммы двоичных решений 11
7. Тестирование контактной схемы…………………………………………………………...12
8. Синтез двухвыходной комбинационной схемы, рассматривая СДНФ функции F1(x) и F2(x) как выходные функции схемы………………………………………………………….14
9. Анализ двухвыходной комбинационной схемы…………………………………………..19
10. В логической схеме для функции F_2 (x) между выходом элемента “или” и входом одного из элементов “и” добавление одного элемента задержки; второй элемент задержки добавлен между входом элемента “или” и выходом другого элемента “и”……………….22
11. Уравнения выхода и переходов конечного автомата……………………………………23
12. Таблицы состояний и запрограммированный в EXCEL их расчет……………………..24
13. Диаграмма переходов для модели Мили. Таблица переходов……………………….....26
14. Преобразование модели Мили в модель Мура…………………………………………..27
15. Преобразование модели Мили в сеть Петри, во все позиции этой сети (кроме позиций, соответствующих значениям выходной функции конечного автомата) помещено по 3 фишки…………………………………………………………………………………………..28
16. Построение для сети Петри четырехуровневого дерева достижимости с 5 ветвями...29
17. Решение прямой задачи при условии запуска трех переходов………………………...29
18. Решение обратной задачи (конечная маркировка берется из маркировок четвёртого уровня дерева достижимости)………………………………………………………………..33
Литература………………………………………………………………………………...…..35