TWO PAPERS ON THE THEORY OF BOOLEAN FORMULAS: MINIMAL INCLUDING SUMS, I AND II
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1961
- Accession Number
- AD0257480
Entities
People
- E.w. Samson
- L. Calabi