Accession Number : AD0737044

Title :   Some Results on Computing Function Values in Finite Post Algebras,

Corporate Author : ILLINOIS UNIV URBANA COORDINATED SCIENCE LAB

Personal Author(s) : DuCasse,Ed ; Metze,Gernot

Report Date : DEC 1971

Pagination or Media Count : 28

Abstract : Several results on Post lattices are presented which generalize theorems found by Epstein, and characterizations are given, in the case where the lattice is finite, for two sequences occuring in his definition of Post algebra. These characteristics yield a striking simplification in the computational complexity of an example given by Wojcik. (Author)

Descriptors :   (*ALGEBRAS, THEOREMS), (*LOGIC CIRCUITS, DESIGN), MATHEMATICAL LOGIC, TRANSFORMATIONS(MATHEMATICS), COMPUTER LOGIC, SWITCHING CIRCUITS

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE