Useless prime implicants of incompletely specified multiple-output switching functions.
Robert Brian CutlerSaburo MurogaPublished in: Int. J. Parallel Program. (1980)
Keyphrases
- multiple output
- prime implicants
- prime implicates
- boolean functions
- abductive reasoning
- automated reasoning
- multiple input
- normal form
- desirable properties
- disjunctive normal form
- modal logic
- belief change
- knowledge compilation
- propositional formulas
- nonmonotonic reasoning
- probabilistic reasoning
- default logic
- theorem proving
- randomly generated
- computational complexity