Accession Number:

AD0257480

Title:

TWO PAPERS ON THE THEORY OF BOOLEAN FORMULAS: MINIMAL INCLUDING SUMS, I AND II

Descriptive Note:

Corporate Author:

PARKE MATHEMATICAL LABS INC CARLISLE MASS

Personal Author(s):

Report Date:

1961-03-01

Pagination or Media Count:

1.0

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

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE