ON THE THEORY OF BOOLEAN FORMULAS: SUBFORMULAS AND SUBSTITUTION OPERATORS.
Abstract
Substitution operators for subformulas of Boolean formulas are introduced and investigated. This requires preliminary definition and study of subformulas, mediators (for a formal treatment of 'appearances', and various related notions. Of particular importance for applications are the results concerning relations between substitutions, the Boolean operations, and the inclusion relation. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1965
- Accession Number
- AD0616122
Entities
People
- E. W. Samson
- L. Calabi
Organizations
- Air Force Cambridge Research Laboratories