Boolean functions are one of the most studied objects in mathematics. In this paper, we use the covering method to compute the exact
2-divisibility of exponential sums of boolean functions with prescribed leading
monomials. As an application of our findings, we provide families of boolean functions that
are not balanced, and give sufficient conditions for the solvability of systems
of boolean equations.
