The completeness and closed classes of functions of Boolean algebra with direct and iterative variables (Q5947814)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The completeness and closed classes of functions of Boolean algebra with direct and iterative variables |
scientific article; zbMATH DE number 1666012
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The completeness and closed classes of functions of Boolean algebra with direct and iterative variables |
scientific article; zbMATH DE number 1666012 |
Statements
The completeness and closed classes of functions of Boolean algebra with direct and iterative variables (English)
0 references
28 October 2001
0 references
Some properties and singularities of logic functions are discussed. An effective criterion for the complexity of finite sets of logic functions is stated. Several theorems on completeness of finite closed classes of logic functions are proved.
0 references
Boolean functions
0 references
closed classes
0 references