Accession Number : AD0694769

Title :   ESTIMATING THE COMPLEXITY OF ALGORITHMS FOR THE CONSTRUCTION OF MINIMAL DISJUNCTIVE NORMAL FORMS OF THE FUNCTIONS OF THE ALGEBRA OF LOGIC,

Corporate Author : FOREIGN TECHNOLOGY DIV WRIGHT-PATTERSON AFB OHIO

Personal Author(s) : Zhuravlev,Yu. I.

Report Date : 03 FEB 1969

Pagination or Media Count : 43

Abstract : 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)

Descriptors :   (*MATHEMATICAL LOGIC, THEOREMS), SET THEORY, ALGORITHMS, USSR

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE