Accession Number:

AD0662324

Title:

ON THE THEORY OF BOOLEAN FORMULAS: SUBSTITUTION, REPLACEMENTS AND PRIME FORMULAS,

Descriptive Note:

Corporate Author:

PARKE MATHEMATICAL LABS INC CARLISLE MASS

Personal Author(s):

Report Date:

1967-09-01

Pagination or Media Count:

25.0

Abstract:

Discursive presentation of central notions and results developed in a study of Boolean formulas. The definition of formula used here is more general than that of function, less general than that of word. Discussed are subformulas, substitution of subformulas, replacements with constraints and a very broad concept of prime implicant. Author

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE