QMC Logic Minimizer 1.0 — упрощения таблиц истинности и минимизации комбинационных логических функций

Бесплатное приложение, предназначенное для быстрого упрощения таблиц истинности и минимизации комбинационных логических функций. Название программы отсылает к методу Куайна — Мак-Класки (Quine–McCluskey, QMC), который используется для оптимизации булевых выражений. Масштабируемость: поддерживает одновременную минимизацию систем, содержащих до 16 входных и до 16 выходных переменных. Групповая обработка: уникальной особенностью является возможность параллельной оптимизации сразу нескольких логических функций. Кастомизация таблиц: позволяет сокращать количество строк в таблицах истинности, а также вручную переименовывать входные и выходные переменные. Гибкий экспорт: готовую таблицу можно экспортировать в формат HTML, что упрощает её последующий перенос в текстовые редакторы (например, в MS Word). Удобный интерфейс: интерфейс построен на базе графических библиотек Java (AWT/Swing/SWT), поддерживает изменение шрифтов и цветовых схем.
Сайт: sourceforge.net/projects/qmclm/
Лицензия: бесплатно
Язык интерфейса: Английский
ОС: Windows XP – 11
Скачать: QMC Logic Minimizer 1.0