Single axioms for Boolean algebra.
Explicit single axioms are presented for Boolean algebra in terms of (1) the Sheffer stroke; (2) disjunction and negation; (3) disjunction, conjunction, and negation; and (4) disjunction, conjunction, negation, 0, and 1. It was previously known that single axioms exist for these systems, but the procedures to generate them are exponential, producing huge equations. Automated deduction techniques were applied to find axioms of lengths 105, 131, 111, and 127, respectively, each with six variables.
- Research Organization:
- Argonne National Lab., IL (US)
- Sponsoring Organization:
- US Department of Energy (US)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 764208
- Report Number(s):
- ANL/MCS-TM-243
- Country of Publication:
- United States
- Language:
- English
Similar Records
Short single axioms for boolean algebra.
A Short Sheffer axiom for Boolean algebra.
Application of automated deduction to the search for single axioms for exponent groups
Journal Article
·
Mon Dec 31 23:00:00 EST 2001
· J. Automat. Reason.
·
OSTI ID:943109
A Short Sheffer axiom for Boolean algebra.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:764209
Application of automated deduction to the search for single axioms for exponent groups
Conference
·
Mon Feb 10 23:00:00 EST 1992
·
OSTI ID:10150745