Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes Original Research Article

We characterize Post classes of Boolean functions (also known as clones) in terms of forbidden subfunctions that allows one to give a comparably short proof of the classical Post theorem.