ON THE THEORY OF BOOLEAN FORMULAS: SUBSTITUTION, REPLACEMENTS AND PRIME FORMULAS,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1967
- Accession Number
- AD0662324
Entities
People
- E. W. Samson
- L. Calabi