Você está na página 1de 2

Conjuntos Demostrar las siguientes igualdades 1.

2.

3.

4.

5.

6.

7. ,*(A'UB)'UB'+ *(B')'U(A'UB)+- B'= (PUQ)'

{[(A'UB)'UB'] [(B')'U(A'UB)]} B'= (PUQ)' {[(AB')UB'] [BU(A'UB)]} B' {[ B'U (AB')] [A'U(BUB)]} B' {[ B'] [A'UB]} B' { (B' A')U(B'B)} B' { (B' A')U()} B' (B' A') B' (B' B') A' 8. B U A' =[(A' U B')' U B']' U B [(A' U B')' U B']' U B [(A B) U B']' U B [B' U (A B)]' U B [(B' U A) (B' U B)]' U B [(B U A) U]' U B [U (B U A)]' U B [B U A]' U B (B' A') U B B U (B' A') (B U B') (B U A') U (B U A') B U A' 9. *(A B) U (A B')+'= A' [(A B) U (A B')]'= A' [(A (B U B')]' [(A U )]' [A]' A'

Dato Ley de Morgan Leyes conmutativas, Ley asociativa Ley de absorcin Ley distributiva Ley de complemento Ley de identidad Ley asociativa

Dato Ley de Morgan Ley distributiva Ley de complemento Ley de idempotencia Ley de identidad Ley de Morgan Ley de idempotencia Ley distributiva Ley de complemento Ley de identidad

Dato Ley distributiva Ley de complemento Ley de identidad Ley de Morgan

Você também pode gostar