
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