Редактирование: Основы Кибернетики, Алгоритмы решения задач/Задачи на эквивалентные преобразования и структурное моделирование
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 94: | Строка 94: | ||
Тогда ''h''<sub>i</sub> = ⌈log<sub>2</sub>(''n'' + ''m'')⌉ — минимальная возможная глубина реализации ЭК. | Тогда ''h''<sub>i</sub> = ⌈log<sub>2</sub>(''n'' + ''m'')⌉ — минимальная возможная глубина реализации ЭК. | ||
- | + | Раскроем у формулы все скобки и поднимем отрицания, после чего упорядочим в полученной ДНФ элементарные конъюнкции в порядке убывания их высоты. Далее построим каждую ЭК и начнём объединять их в дизъюнкции справа налево. В результате должна получиться СФЭ с минимальной глубиной. | |
<!-- Рисуем дерево глубины h, заменяя в нем самые левые ветки с парами листьев на отрицания переменных, далее листья на сами переменные, затем просто забиваем свободные листья единицами, а узлы — конъюнкциями, после чего проводим оптимизацию правой части по принципу s & 1 = s --> | <!-- Рисуем дерево глубины h, заменяя в нем самые левые ветки с парами листьев на отрицания переменных, далее листья на сами переменные, затем просто забиваем свободные листья единицами, а узлы — конъюнкциями, после чего проводим оптимизацию правой части по принципу s & 1 = s --> | ||