The Idempotent Laws

AA = A

A+A = A

Simplification Rules

Here is the list of rules used for the boolean expression
simplifications.
This is a fairly standard list you could find most anywhere, but
we thought you needed an extra copy.
The Idempotent Laws

AA = A

A+A = A

The Associative Laws

(AB)C = A(BC)

(A+B)+C = A+(B+C)

The Commutative Laws

AB = BA

A+B = B+A

The Distributive Laws

A(B+C) = AB+AC

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

The Identity Laws

A*F* = *F*

A*T* = A

A+*F* = A

A+*T* = *T*

The Complement Laws

AA = *F*

A+A = *T*

The Involution Law

A = A

DeMorgan's Law

AB = A+B

A+B = A B

'Browser note: The Involution law is “not not A equals A;” there should be two lines above the first A. It renders reasonably in Firefox and IE 7, and hopefully in whatever you're using. I found four different ways that work in Firefox, but only the most complicated one also works in IE. (I haven't tried in IE 6 and don't want to fool with it.)