Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

A Short Sheffer axiom for Boolean algebra.

Technical Report ·
DOI:https://doi.org/10.2172/764209· OSTI ID:764209
;

A short Sheffer stroke identity is shown to be a single axiom for Boolean algebra. The axiom has length 15 and 3 variables. The proof shows that it is equivalent to Sheffer's original 3-basis for the theory. Automated deduction techniques were used to find the proof. The shortest single axiom previously known to us has length 105 and 6 variables.

Research Organization:
Argonne National Lab., IL (US)
Sponsoring Organization:
US Department of Energy (US)
DOE Contract Number:
W-31109-ENG-38
OSTI ID:
764209
Report Number(s):
ANL/MCS-TM-244
Country of Publication:
United States
Language:
English

Similar Records

Single axioms for Boolean algebra.
Technical Report · Fri Jun 30 00:00:00 EDT 2000 · OSTI ID:764208
Short single axioms for boolean algebra.
Journal Article · Mon Dec 31 23:00:00 EST 2001 · J. Automat. Reason. · OSTI ID:943109
Short equational bases for ortholattices : proofs and countermodels.
Technical Report · Thu Jan 08 23:00:00 EST 2004 · OSTI ID:822575

Related Subjects

99 GENERAL AND MISCELLANEOUS
ALGEBRA
EQUATIONS
MATHEMATICAL LOGIC