курсовая на языке питон

Какая то база у меня есть но довольно шаткая. 

Мне нужно разработать программу применяя библиотеки Tkinter, SymPy - вот тут как раз и возникают сложности…

Саму курсовую я готова написать сама.

Тема курсовой звучит следующим образом:

Разработать программу, позволяющую вводить логическое выражение (до 6 логических переменных) с использованием следующих логических операций: отрицание, конъюкция, дизъюнкция иключающее или, импликация, обратная импликация, эквивалентность. А затем строить таблицу истинности с функций фильтрации результатов (см. задачу 2 демонстративнного варианта ЕГЭ по информатике 2025г.). Предусмотреть возможность сохранения и загрузки. Также предусмотреть выдачу необходимого теоретического материала по данной теме.

Не нужно делать все за меня, я тоже хочу принимать участие в разработки программы, чтобы позже могла ответить на вопросы экспертов и в целом понимала какая переменная к чему относится