Accession Number : AD0662324

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

Corporate Author : PARKE MATHEMATICAL LABS INC CARLISLE MASS

Personal Author(s) : Samson,E. W. ; Calabi,L.

Report Date : SEP 1967

Pagination or Media Count : 25

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)

Descriptors :   (*ALGEBRAS, THEORY), MATHEMATICAL LOGIC, SET THEORY, SPECIAL FUNCTIONS(MATHEMATICAL), OPERATORS(MATHEMATICS)

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE