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

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

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

Оптимизация состава библиотеки логических функций

Используется список функций, полученный в результате текущей генерации библиотеки.

Вы можете загрузить собственный список функций, указав имя файла на локальном компьютере:
файл списка функций:  
установить макс. глубину логического выражения:
Исходные данные максимальная глубина выражения: 2
количество функций в исходном списке: 0

Результаты обработки списка функций первичное количество полученных базовых функций: 0
количество базовых функций после удаления однотипных: 0

Список полученных базовых функций

имявыражение

Разложение исходных функций на базовые

исходная функциявыражение через базовые функции