Консольное приложение для нахождения СКНФ СДНФ в дискретной математике

Разработано консольное приложение на Python для нахождения Совершенной Дизъюнктивной Нормальной Формы (СДНФ) и Совершенной Конъюнктивной Нормальной Формы (СКНФ) в области дискретной математики. Пользователь может ввести количество литераллов, задать двоичную функцию, после чего программа автоматически определит и выведет соответствующие нормальные формы. Результаты также сохраняются в текстовом файле для дальнейшего анализа.

Приложение реализует алгоритмы для определения СКНФ и СДНФ на основе введенных данных, используя проверку логических условий и таблицу истинности. Результаты выражаются в логических операциях и символах логики. Проект предоставляет возможность автоматизированного анализа логических выражений и удобное сохранение результатов для последующих исследований.

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