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