Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655189 | Discrete Applied Mathematics | 2005 | 19 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Igor' E. Zverovich,