Открытие окна «Комбинационный анализ»
Доступ к основному интерфейсу модуля Комбинационный анализ осуществляется через специализированное рабочее окно, предназначенное для генерации, просмотра и редактирования таблиц истинности и логических выражений. Открыть данный инструмент можно двумя способами.
Через меню «Окно» (Пустой запуск)
Перейдите в главное меню | Окно | → | Комбинационный анализ | (Window → Combinational Analysis). Откроется рабочая среда модуля. Если инструмент запускается впервые за текущий сеанс, его рабочие области будут абсолютно пустыми (без привязки к какой-либо схеме).
Примечание: В среде Logisim-evolution одновременно может быть открыто только одно окно комбинационного анализа, независимо от количества активных проектов и схем.
Через меню «Проект» (Анализ текущей схемы)
Находясь в редакторе схем, вы можете запустить автоматический анализ активного холста. Для этого выберите в меню | Проект | → | Анализ схемы | (Project → Analyze Circuit). Перед отображением окна Logisim-evolution автоматически вычислит соответствующие булевы функции и построит таблицу истинности для текущей схемы.
Условия успешного анализа: Каждый входной сигнал должен быть корректно задан компонентом Вход (Input Pin), а каждый выходной — компонентом Выход (Output Pin). Анализатор обрабатывает схемы, содержащие не более восьми контактов каждого типа, причём все они обязаны быть строго одноразрядными (ширина данных 1 бит). При нарушении этих условий система выдаст ошибку, и анализ будет прерван.
При синтезе логических выражений алгоритм изначально пытается вывести их аналитически, выполняя обход графа логических вентилей. Однако, если в топологии используются макрокомпоненты (например, мультиплексоры, дешифраторы) или глубина логики превышает 100 уровней, программа выдаст соответствующее предупреждение. В таком случае аналитический разбор прерывается, и выражения строятся эмпирически — на основе таблицы истинности, которая формируется путём полного перебора всех возможных входных комбинаций и фиксации выходных уровней.
Важное замечание о синхронизации:После выполнения анализа динамическая связь между исходной схемой и окном «Комбинационный анализ» полностью разрывается. Любые последующие модификации на холсте не обновят таблицу истинности автоматически, равно как и ручные правки уравнений в окне анализа не изменят существующую схему. Для актуализации данных анализ необходимо запустить повторно, либо принудительно сгенерировать новую схему на основе отредактированных выражений.
Технические ограничения
Отсутствие проверки на последовательностную логику: Автоматический анализатор не способен распознавать устройства с памятью. Если запустить анализ последовательностной схемы (содержащей триггеры или петли обратной связи), программа всё равно попытается сформировать таблицу истинности, но полученные данные будут математически некорректны и не отразят реального поведения устройства. Используйте этот модуль исключительно для схем, которые гарантированно являются комбинационными!
Требования к именованию (Меткам): Анализатор требует, чтобы каждый входной и выходной контакт имел уникальную текстовую метку (Label), строго соответствующую правилам синтаксиса идентификаторов Java. Метка должна состоять только из латинских букв и цифр, начинаться с буквы и не содержать пробелов или спецсимволов. Если метки отсутствуют, система сгенерирует их автоматически. Если существующие метки содержат недопустимые символы (например, кириллицу), парсер попытается их отсечь, что может привести к несанкционированному переименованию контактов на вашей схеме.
Порядок переменных: Порядок расположения переменных (входов и выходов) в столбцах сгенерированной таблицы истинности и выражениях определяется исключительно их вертикальной координатой на исходном чертеже (сверху вниз), и никак не зависит от их горизонтального расположения (слева направо).