Maxterm Type Expressions of Switching Functions and Their Prime Implicants.

S. R. Das A. K. Choudhury

Published in: IEEE Trans. Electron. Comput. (1965)

Keyphrases

prime implicants
prime implicates
boolean functions
disjunctive normal form
abductive reasoning
decision rules
automated reasoning
database systems
desirable properties