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

摘要

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. (c) 2005 Elsevier B.V All rights reserved.