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