Papers Published
Abstract:
We present short single equational axioms for
Boolean
algebra in terms of disjunction and negation
and in terms of
the Sheffer stroke. Previously
known single axioms for these theories are
much longer than
the ones we present. We show that there is no
shorter axiom
in terms of the Sheffer
stroke. Automated deduction techniques were
used in several
parts of the work.