The Relation of Equivalence for Post Algebras and Its Application to Hazard-Free Implementations of Boolean Functions,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1973
- Accession Number
- AD0774371
Entities
People
- Edgar George Ducasse
Organizations
- University of Illinois Urbana–Champaign