Single Axioms for Boolean Algebra
This page is a supplement to a report of the same name.
Here is the current draft of the report.
The report has pseudo links to
input files and other data
files, and this web page, which echoes the structure
of the paper, has the corresponding real links.
This paper probably won't be submitted for formal publication,
because short single axioms have been found.
2. Single Axioms via Pixley Terms
3. A Single Axiom for Sheffer Stroke
4. Shorter Single Axioms for Sheffer Stroke
4.1. Using Different Bases
4.2. A Schema for Two Absorption Equations
4.3. Taking Advantage of the Pixley Properties
5. Single Axioms with Standard Operators
5.1. Disjunction and Negation
5.2. Disjunction, Conjunction, and Negation
5.3. Disjunction, Conjunction, Negation, 0, and 1
6. Related Work
7. Further Work