Accession Number : AD0774371

Title :   The Relation of Equivalence for Post Algebras and Its Application to Hazard-Free Implementations of Boolean Functions,

Corporate Author : ILLINOIS UNIV URBANA COORDINATED SCIENCE LAB

Personal Author(s) : Ducasse,Edgar George

Report Date : AUG 1973

Pagination or Media Count : 160

Abstract : The investigation encompasses the study of elementary properties of Post algebras, as well as the development of a useful theory of equivalence for elements of an arbitrary Post algebra. The characteristics of finite Post algebras are detailed, and an application to the computation of function values in these lattices is presented. Several known theorems concerning particular classes of Post functions are extended, and new results are established. (Modified author abstract)

Descriptors :   *MATHEMATICAL LOGIC, *BOOLEAN ALGEBRA, SET THEORY, SWITCHING CIRCUITS, DIGITAL SYSTEMS, THEOREMS, THESES

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE