Set Identities*

Identity laws:
Domination laws:
Idempotent laws:
Complement laws:

A
A
p
p

=
=
=
=

A
A
U

A A = A
A A = A
A A = U
A A =

Absorption laws:

Double complement law:

Commutative laws:
Associative laws:
Distributive laws:
De Morgans laws:

A (A B) = A
A (A B) = A
A

= A

A B =
A B =
(A B)
(A B)

B
B

C
C

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

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

from Rosen, p. 124