LEYES DE ALGEBRA DE CONJUNTO

1.-

Asociatividad:
C C)
(AC = AC)

2.- Conmutatividad:

AB = BA
3.- Distributividad:
ACC)
AC) = (C)
4.- Absorcin:
A
AA
5.- Idempotencia:
A
B

6.- Identidad:

AUU

U A
A =

7.-Complemento:
AcU

Ac =

A. , = U
8.- Ley de Morgan:
(AB)c = Acc

(Ac = Acc

A B = Ac

EJERCICIOS RESUELTOS
Demuestre:
1.

- B)
(A Bc) B =

A(Bc B) =

- C)
(A c) Cc =
A (Bc Cc =

A (B C)

A (B C)
A (B C)

(A ) c Cc) = A (B C)
A Cc
A (B C)

1.

A (B C)

=
=

A (B C)

n[A B C n + n + n(C) - n(A B) - n(AC) - n(BC) + n[A(C)]

n[A B C = n(A) + n(BC) - n[A(BC)]

= n(A) + n(B) + n(C) - n(BC) - n[(AB)(AC)]
= n(A) + n(B) + n(C) - n(B C) - n(A B) - n(A C) +
[ n(A B) (AC)]
= n + n + n(C) - n(A B) - n(AC) - n(BC) + n[A(C)]

1.

(A A) (A Bc) = A

A (A Bc )
A
A
1.

A
=
A (B C)

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

( A B) (A C) = (B A) (C A)
(BA)(CA)

= (BA)(CA)

Simplificar:
1.

A [ (B (A B) ) (A (A B) ) ]

A [ (B A) (B B) ] (A A) (AB)
A [ (B A) (B B) ] A (A B)
A [B A] B= B
(A B) (A A)
(A B) (A)
A

LEYES DE ALGEBRA DE CONJUNTO

1.-

Asociatividad:
C C)
(AC = AC)

2.- Conmutatividad:

AB = BA
3.- Distributividad:
ACC)
AC) = (C)
4.- Absorcin:
A
AA
5.- Idempotencia:
A
B

6.- Identidad:

AUU

U A
A =

7.-Complemento:
AcU
A. , = U
8.- Ley de Morgan:

Ac =

(AB)c = Acc

(Ac = Acc

A B = Ac

EJERCICIOS RESUELTOS
Demuestre:
- B)

1.

(A Bc) B =

A(Bc B) =

- C)
(A c) Cc =
A (Bc Cc =

A (B C)

A (B C)
A (B C)

(A ) c Cc) = A (B C)
A Cc
A (B C)

1.

A (B C)

=
=

A (B C)

n[A B C n + n + n(C) - n(A B) - n(AC) - n(BC) + n[A(C)]

n[A B C = n(A) + n(BC) - n[A(BC)]

= n(A) + n(B) + n(C) - n(BC) - n[(AB)(AC)]
= n(A) + n(B) + n(C) - n(B C) - n(A B) - n(A C) +
[ n(A B) (AC)]
= n + n + n(C) - n(A B) - n(AC) - n(BC) + n[A(C)]

1.

(A A) (A Bc) = A

A (A Bc )
A
A

=A
=A
=A

1.

A
=
A (B C)

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

( A B) (A C) = (B A) (C A)
(BA)(CA)

= (BA)(CA)

Simplificar:
1.

A [ (B (A B) ) (A (A B) ) ]

A [ (B A) (B B) ] (A A) (AB)
A [ (B A) (B B) ] A (A B)
A [B A] B= B
(A B) (A A)
(A B) (A)
A