DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
ESTIMATING THE COMPLEXITY OF ALGORITHMS FOR THE CONSTRUCTION OF MINIMAL DISJUNCTIVE NORMAL FORMS OF THE FUNCTIONS OF THE ALGEBRA OF LOGIC,
FOREIGN TECHNOLOGY DIV WRIGHT-PATTERSON AFB OHIO
Pagination or Media Count:
A definition was formulated in previous papers of a local information computing algorithm, and a study was made of the basic properties of such algorithms. The purpose of the present paper is to introduce the concept of calculability into the class of local algorithms, and to study the calculability of predicates which arise in the solution of problems involved in the construction of minimal disjunctive normal forms for functions of the algebra of logic. Author
APPROVED FOR PUBLIC RELEASE