# Single Axioms for Boolean Algebra

William McCune
June 2000

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
Otter
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.
*

# 1. Introduction

# 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