Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions.
Eiichi GotoH. TakahasiPublished in: IFIP Congress (1962)
Keyphrases
- boolean functions
- threshold functions
- multi valued
- truth table
- uniform distribution
- binary decision diagrams
- prime implicants
- relevant variables
- membership queries
- logic programming
- dnf formulae
- functional properties
- bi decomposition
- modal logic
- upper bound
- disjunctive normal form
- low degree
- probabilistic logic
- read once formulas
- pac learning