A semigroup approach to the four functions theorem on the discrete hypercube

In this paper, we prove a semigroup version of the Ahlswede–Daykin four functions theorem on the discrete hypercube, and of its generalization to 2n functions