Professional Documents
Culture Documents
Set Operations: The University of Texas at Dallas WWW - Utdallas.edu
Set Operations: The University of Texas at Dallas WWW - Utdallas.edu
Set Operations: The University of Texas at Dallas WWW - Utdallas.edu
Chapter 2
Can you express symmetric difference using only union, intersection, and complement?
A A Identity Laws
A U A
Domination Laws
A
A U U
Idempotent Laws
A A A
A A A
( A) A Complement Laws
A B B A Commutative Laws
A B B A
A ( B C ) ( A B) C Associative laws
A ( B C ) ( A B) C
A ( B C ) ( A B) ( A C ) Distributive laws
A ( B C ) ( A B) ( A C )
A B A B DeMorgan’s laws
A B A B
A ( A B) A Absorption laws
A ( A B) A
A A U Complement laws
A A
15
The University of Texas at Dallas www.utdallas.edu
How to prove set identities?
• Several methods:
– Use basic definition of sets, and apply logic
A A B De Morgan’s laws
= A ( A B) Distributive Rule
= ( A A ) ( A B) Complement Law
= ( A B) Identity Law
= ( A B) Definition of difference
= A B
20
The University of Texas at Dallas www.utdallas.edu
Membership Table
A B A B A B A B AB
1 1 1 0 0 0 0
1 0 1 0 1 0 0
0 1 1 1 0 0 0
0 0 0 1 1 1 1