A Short Sheffer axiom for Boolean algebra.

Veroff, R. ; McCune, W.

Argonne National Laboratory

关键词: Algebra;    Equations;    Mathematical Logic;    99 General And Miscellaneous//Mathematics, Computing, And Information Science;   

DOI  :  10.2172/764209
RP-ID  :  ANL/MCS-TM-244
RP-ID  :  W-31109-ENG-38
RP-ID  :  764209

美国|英语

来源: UNT Digital Library

【 摘 要 】

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.