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 G-including. 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 G--including sums for a given formula G. (Author)

Descriptors :   *ALGEBRAS, OPERATORS (MATHEMATICS)

Distribution Statement : APPROVED FOR PUBLIC RELEASE