Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes (Q2387440)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes |
scientific article |
Statements
Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes (English)
0 references
2 September 2005
0 references
The Post classes are characterized in terms of forbidden subfunctions and, based on these results, a short proof of Post's theorem (a class of Boolean functions is closed iff it is a Post class) is given.
0 references
hereditary classes of Boolean functions
0 references
closed classes
0 references
Post theorem
0 references
