Clause-Column Table Approach for Generating All the Prime Implicants of Switching Functions.
Sunil R. DasNarinder Singh KhabraPublished in: IEEE Trans. Computers (1972)
Keyphrases
- prime implicants
- prime implicates
- boolean functions
- abductive reasoning
- automated reasoning
- disjunctive normal form
- normal form
- belief change
- modal logic
- desirable properties
- randomly generated
- knowledge compilation
- database
- uniform distribution
- propositional logic
- databases
- belief revision
- propositional formulas
- logic programs
- knowledge base