Boolean Algebra

Variables can have only one of two values. They are either 0 (zero) or 1 (one), true or false.

Basic Operations

Commutation rules

A + B = B + A
AB = BA

Association rules

A + (B + C) = (A + B) + C
A (BC) = (AB) C

Absorption rules

A + (AB) = A
A (A + B) = A

Distribution rules

A (B + C) = AB + AC
A + BC = (A + B)(A + C)

DeMorgan's theorem