
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 WRIGHTPATTERSON 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