An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions,
Abstract
The fundamentals of Post algebras are presented and Post and Boolean functions are examined. A functional representation is developed that facilitates the comparison of Post and Boolean algebras. Based on this representation, relationships between finite, higher-order (that is, more than 2-valued) Boolean algebras and functions in these algebras and finite, higher-order Post algebras and their corresponding functions are developed. This functional representation is also applied to the problem of minimizing functions on higher-order Boolean algebras. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1971
- Accession Number
- AD0737150
Entities
People
- Anthony S. Wojcik
- Gernot Metze
Organizations
- University of Illinois Urbana–Champaign