JQM — Java Quine-McCluskey 1.4.2 — для минимизации булевых функций

 

Бесплатная программа в котором реализуется алгоритм Квайна-Маккласки с использованием метода Петрика для минимизации булевых функций. Поддерживает работу одновременно с 16 входными переменными и 16 выходными функциями. Минимизация ориентирована на программирование ПЛК, поэтому решения для функций вычисляются независимо друг от друга. Данные можно вводить через GUI (таблицы истинности), загружать из TXT файлов (десятичные списки импликант и безразличных состояний), карт Карно или стандартных булевых выражений. Поддерживает работу с файлами CSV для редактирования таблиц истинности в сторонних программах. Обучение: визуализирует пошаговый процесс минимизации и автоматически строит карты Карно. Разнообразие форматов: выводит результаты в виде классических логических выражений, кода LaTeX, HTML отчетов, а также языков промышленной автоматизации (Structured Text и Ladder Diagrams).

Сайт: sourceforge.net/projects/jqm-java-quine-mccluskey/
Лицензия: бесплатно
Язык интерфейса: Английский
ОС: Windows 7 – 11
Скачать: JQM — Java Quine-McCluskey 1.4.2