Login / Signup
Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime Implicants.
Thomas H. Mott Jr.
Published in:
IRE Trans. Electron. Comput. (1960)
Keyphrases
</>
prime implicates
prime implicants
normal form
belief change
desirable properties
modal logic
knowledge compilation
database design
multi valued
functional dependencies
abductive reasoning
propositional logic
relational databases
belief revision
database
nested relations
boolean functions