# Accession Number:

## AD0436275

# Title:

## RESEARCH ON ALGEBRAIC AND STATISTICAL THEORY.

# Descriptive Note:

## Final rept.

# Corporate Author:

## PARKE MATHEMATICAL LABS INC CARLISLE MASS

# Personal Author(s):

# Report Date:

## 1964-02-01

# Pagination or Media Count:

## 64.0

# Abstract:

The results of experimental work done on the minimization problem for Boolean formulas are discussed. Special examples of minimality, lists of minimal formulas, and pertinent results from the general theory of Boolean formulas developed are collected here in concentrated form. A summary of results from the general theory of Boolean formulas needed for subsequent proofs of minimality is give. Author

# Descriptors:

- (*ALGEBRA
- THEORY)
- (*STATISTICAL ANALYSIS
- THEORY)
- (*METAMATHEMATICS
- ALGEBRAS)
- PROBABILITY
- OPTIMIZATION
- COMPUTER LOGIC
- MATHEMATICAL LOGIC
- NETWORKS
- COMPLEX VARIABLES
- PROGRAMMING (COMPUTERS)
- DYNAMIC PROGRAMMING
- MATRICES(MATHEMATICS)
- FUNCTIONAL ANALYSIS
- MAPPING (TRANSFORMATIONS)
- RECURSIVE FUNCTIONS
- PROGRAMMING LANGUAGES
- ERRORS
- BINARY ARITHMETIC
- COMPLEX VARIABLES