Accession Number : AD0436275

Title :   RESEARCH ON ALGEBRAIC AND STATISTICAL THEORY.

Descriptive Note : Final rept.

Corporate Author : PARKE MATHEMATICAL LABS INC CARLISLE MASS

Report Date : FEB 1964

Pagination or Media Count : 64

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

Distribution Statement : APPROVED FOR PUBLIC RELEASE