New method for obtaining the optimal Taylor expansions of a Boolean function

To each Boolean function is associated a pseudo-Boolean function whose value at any vertex is the weight (number of cubes) of the Boolean-function Taylor expansion at the same vertex. Some well known theorems of differential analysis allow us to obtain easily a formal expression of this pseudo-Boolean function. Any pseudo-Boolean minimising method may then be used to derive the optimal Taylor expansion.