Возможно, эта библиотека может помочь: pyeda
здесь - это способ превращения выражения в DNF: to_dnf()
to_dnf()
Конечно, вы должны превратить свою строку в действительное выражение pyeda ...