Accession Number : AD0616122
Title : ON THE THEORY OF BOOLEAN FORMULAS: SUBFORMULAS AND SUBSTITUTION OPERATORS.
Descriptive Note : Physical and mathematical sciences research papers,
Corporate Author : AIR FORCE CAMBRIDGE RESEARCH LABS L G HANSCOM FIELD MASS
Personal Author(s) : Calabi,L. ; Samson,E. W.
Report Date : MAY 1965
Pagination or Media Count : 44
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)
Descriptors : (*ALGEBRAS, THEORY), OPERATORS (MATHEMATICS), MAPPING(TRANSFORMATIONS), MATHEMATICAL LOGIC
Distribution Statement : APPROVED FOR PUBLIC RELEASE