Accession Number : AD0702736

Title :   AN EXTENSION OF GHAZALA'S METHOD TO INCOMPLETELY SPECIFIED MULTIPLE-OUTPUT FUNCTIONS,

Corporate Author : NAVAL RESEARCH LAB WASHINGTON D C

Personal Author(s) : Miller,John R.

Report Date : 19 FEB 1970

Pagination or Media Count : 32

Abstract : A method for computing the presence function for an incompletely specified multiple-output Boolean function has been derived. This method, which is a generalization of Ghazala's algorithm for computing the presence function for a completely specified single-output Boolean function, does not require the use of a table of combinations (unless the function is originally specified by a table of combinations) and does not involve the construction of a basic cell matrix. Thus the use of this method in computer programs which determine minimal (or at least irredundant) covers for incompletely specified Boolean functions may in some cases result in a saving of execution time and memory space required. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, ALGEBRAS), (*SPECIAL FUNCTIONS(MATHEMATICAL), ALGORITHMS), COMPUTER LOGIC, SET THEORY, THEOREMS

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE