Corpus ID: 119030767

ON THE THEORY OF BOOLEAN FORMULAS: SHORTEST AND PRIME FORMULAS.

@inproceedings{Samson1966ONTT,
  title={ON THE THEORY OF BOOLEAN FORMULAS: SHORTEST AND PRIME FORMULAS.},
  author={E. W. Samson and Lorenzo Calabi},
  year={1966}
}
  • E. W. Samson, Lorenzo Calabi
  • Published 1966
  • Mathematics
  • Abstract : The notion of prime implicant is defined and studied at a high level of generality. All the usual results are preserved and deepened and some new ones obtained. Paramount are those relating prime implicants and shortest sums. This theoretical development may be applied to the minimization of Boolean formulas built from formulas of an arbitrarily given set S (for example, the set of formulas realized by devices of a particular kind) and representing a given incomplete switching… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv