Программирование булевой алгебры (логический калькулятор), python

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