On the theory of boolean formulas :
allowable replacements for subformulas /
E.W. Samson, L. Calabi.

Description

Main Author

Samson, E. W.

Related Names

Calabi, L., author.
Air Force Cambridge Research Laboratories (U.S.)
United States. Air Force.

Language(s)

English

Published

L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1965.

Subjects

Set theory.
Algebra, Boolean.

Summary

The theory of substitutions for Boolean formulas developed in a previous report is applied here to the determination of those s-tuples of formulas that may be allowable replacements for s -tuples of sub-formulas of given Boolean formulas. The criteria of allowability are very general and flexible, yet may be expressed with great precision and ease. The results formalize and extend various known isolated instances. They may be used for the study of a large number of problems in the theory and application of Boolean formulas and functions.

Note

"Received for publication 13 April 1965."
"Solid State Sciences Laboratories, Project 4608."
"August 1965."

Physical Description

23 pages : illustrations ; 28 cm.

Locate a Print Version

Find in a library

Viewability