
Accession Number : AD0257480
Title : TWO PAPERS ON THE THEORY OF BOOLEAN FORMULAS: MINIMAL INCLUDING SUMS, I AND II
Corporate Author : PARKE MATHEMATICAL LABS INC CARLISLE MASS
Personal Author(s) : SAMSON,E.W. ; CALABI,L.
Report Date : MAR 1961
Pagination or Media Count : 1
Abstract : This report consists of two papers on the theory of minimal including sums of boolean formulas. The first paper establishes some theorems covering the general question: when, and for what formulas G, is a given boolean sum minimal Gincluding. Some of the results are applied to the study of star formulas and will be used later on in study minimization theory. The second paper develops the theory of alternative and including sets. This theory is used to solve the problem of determining the minimal Gincluding sums for a given formula G. (Author)
Descriptors : *ALGEBRAS, OPERATORS (MATHEMATICS)
Distribution Statement : APPROVED FOR PUBLIC RELEASE