Минимизация булевых функций

Для использования программы необходимы jdk (11+) и maven.

Компиляция

mvn clean package assembly:single

Запуск

mvn exec:java -Dexec.args="<parameters>"

Параметры в формате <параметр>=<значение>

Параметр	Описание
vector	Вектор БФ (из 0 и 1)
input	Файл, в котором записан вектор БФ
output	Имя файла для вывода программы, по умолчанию выводится в консоль

Если параметры vector и input не указаны, то вектор БФ вводится из консоли

Пример:

mvn exec:java -Dexec.args="vector=0101 output=result.txt"