Which python library should be used to work with boolean algebra?

Question

Python

I had a need to carry out some calculations related to discrete mathematics.
In particular:
1. Construction of minimal CNFs from Zhegalkin polynomials or simply their truth tables.
2. Operations on Zhegalkin polynomials, such as substitution of variables of other polynomials with subsequent expansion of brackets.
The logic module from sympy seemed to me insufficient for these tasks. What libraries are worth paying attention to? Or is it only left to write your bike in numpy?