Boolean Algebra

Simplify with complement, absorption, idempotence, and De Morgan.

The idea

Boolean algebra is the algebra of the two values $0$ and $1$ — the two states of a wire in a digital circuit — and we use it to simplify logical expressions. Its operations come from logic: AND, written as a product $x \cdot y$, is $1$ only when both inputs are $1$; OR, written as a sum $x + y$, is $1$ when at least one input is; NOT, written with a prime $x'$, exchanges $0$ and $1$.

Much of ordinary algebra carries over: both operations are commutative and associative, products distribute over sums, and $x \cdot 1 = x$, $x + 0 = x$. So we can factor and expand Boolean expressions by the familiar rules.

Some laws are new, because the only values are $0$ and $1$:

$x + x = x, \qquad x + 1 = 1, \qquad x \cdot x' = 0, \qquad x + x' = 1.$

Each of these replaces an expression with a shorter one, and that is the purpose of the algebra: a shorter expression describes a smaller circuit that computes the same thing.

Ways to work on it

Not sure where to start? Take the ten-question placement test.