RESEARCH ON ALGEBRAIC AND STATISTICAL THEORY.

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)

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1964
Accession Number
AD0436275

Tags

Fields of Study

  • Mathematics

Readers

  • Approximation Theory.
  • Graph Algorithms and Convex Optimization.
  • Systems Analysis and Design