Данный исследовательский проект посвящен разработке и анализу алгоритма для автоматизированной проверки эквивалентности двух заданных логических выражений. Основной акцент делается на применении классического метода построения истинностных таблиц, который является фундаментальным инструментом в дискретной математике и теории логики. Программа должна уметь корректно обрабатывать выражения, содержащие основные булевы операции (И, ИЛИ, НЕ, импликация, эквивалентность), и строить соответствующие таблицы истинности. Результатом сравнения таблиц будет однозначный вывод о наличии или отсутствии эквивалентности между исходными выражениями. Проект направлен на создание надежного и понятного программного инструмента для студентов и специалистов, изучающих или применяющих методы формальной логики.
Идея проекта заключается в создании программного модуля, который способен автоматизировать процесс доказательства эквивалентности логических выражений путём генерации и сравнения их таблиц истинности. Это позволит значительно ускорить и упростить проверку правильности преобразований логических формул.
Конечным продуктом проекта станет консольное или графическое приложение, способное принимать на вход два логических выражения в строковом формате и выводить результат проверки их эквивалентности с подробным представлением построенных таблиц истинности. Приложение будет отличаться интуитивно понятным интерфейсом и высокой степенью точности.
Студентам и исследователям часто приходится вручную строить таблицы истинности для проверки эквивалентности логических выражений, что является трудоемким и подверженным ошибкам процессом, особенно при работе со сложными формулами. Отсутствие автоматизированных инструментов затрудняет обучение и снижает эффективность практической работы.
Актуальность проекта обусловлена растущей потребностью в формальных методах верификации и доказательства в различных областях информатики, таких как проектирование цифровых схем, разработка языков программирования и искусственный интеллект. Программа может служить учебным пособием и инструментом для проверки.
Основной целью проекта является разработка работоспособной программы, которая демонстрирует применение алгоритма построения таблиц истинности для решения задачи сравнения логических выражений. Также целью является предоставление пользователям понятного инструмента для самостоятельной проверки эквивалентности.
Целевой аудиторией проекта являются студенты технических вузов, изучающие дискретную математику, теорию алгоритмов и логику, а также преподаватели, использующие подобные примеры в учебном процессе. Проект будет полезен и начинающим разработчикам, интересующимся теоретическими основами.
Для реализации проекта потребуется персональный компьютер с установленной средой разработки (например, Python с библиотеками для работы со строками и, возможно, графическим интерфейсом), доступ к учебным материалам по дискретной математике и алгоритмам.
Отвечает за проектирование общей структуры программы, выбор подходящих алгоритмов и структур данных, а также за определение взаимодействия между различными модулями системы.
Занимается реализацией пользовательского интерфейса, включая парсинг входных данных, вывод таблиц истинности и сообщений о результатах проверки.
Отвечает за проверку корректности работы логических операций и алгоритма построения таблиц истинности на разнообразных тестовых наборах.
Курирует научную составляющую проекта, анализирует теоретические основы, формулирует критерии оценки и обеспечивает соответствие результата академическим требованиям.
Выполнил: ФИО
Руководитель: ФИО
