Generation of Prime Implicants by Direct Multiplication.

Jon G. Bredeson Paul T. Hulina

Published in: IEEE Trans. Computers (1971)

Keyphrases

prime implicants
prime implicates
boolean functions
abductive reasoning
automated reasoning
normal form
propositional formulas
logic programs
belief change
search algorithm
relational databases
modal logic