Generation of Representative Functions of the NPN Equivalence Classes of Unate Boolean Functions.
Charles R. BaughPublished in: IEEE Trans. Computers (1972)
Keyphrases
- boolean functions
- equivalence classes
- bi decomposition
- equivalence class
- functional properties
- uniform distribution
- disjunctive normal form
- monotone boolean functions
- linear functions
- bayesian network structures
- multi valued
- membership queries
- prime implicants
- dnf formulae
- directed acyclic graph
- statistical queries
- threshold functions
- linear threshold
- polynomial size
- relevant variables
- dnf formulas
- lower bound