W. V. Quine. On cores and prime implicants of truth functions. Selected logic papers, Random House, New York1966, pp. 164–171. (Reprinted from The American mathematical monthly, vol. 66 (1959), pp. 755–760.)

Subjects

Subjects :

Discrete mathematics
Philosophy
Logic
business.industry
Implicant
Quine
Artificial intelligence
business
Truth function

Details

ISSN :

19435886 and 00224812

Volume :

35

Database :

OpenAIRE

Journal :

Journal of Symbolic Logic

Accession number :

edsair.doi...........809dcd8ea661ac8c7c96c93fe0e5de33