Программа предоставляет возможность использовать методы обработки, решения и взаимодействия с произвольными булевыми функциями. Логическая функция может содержать до 100 различных переменных и иметь длину, ограниченную только вычислительной мощностью компьютера. Также предусмотрена возможность использования вектора значений вместо функции.

По заданному выражению библиотека может: предоставить решение функции в виде таблицы истинности, вычислить совершенные дизъюнктивные и конъюнктивные нормальные формы, представить выражение в виде полинома Жегалкина, построить карту Карно, рассчитать минимальную дизъюнктивную нормальную форму методом Куайна-Мак-Класки и предоставить соответствие функции классам Поста.

Программа использует только библиотеки, входящие в стандарт языка программирования С++. В дальнейшем проект может быть развит в большую открытую библиотеку дискретной математики, включающую не только булеву алгебру, но и комбинаторику, теорию графов, теорию кодирования и другие составляющие.

На страницу проекта