General-purpose Boolean functions and synthesis of Boolean functions by means of general-purpose modules.
Václav DvorákPublished in: Kybernetika (1968)
Keyphrases
- boolean functions
- general purpose
- uniform distribution
- functional decomposition
- threshold functions
- relevant variables
- programming language
- prime implicants
- membership queries
- functional properties
- truth table
- dnf formulae
- linear threshold
- linear functions
- bi decomposition
- binary decision diagrams
- disjunctive normal form
- polynomial size
- decision trees