8/17/2019 Apunte 5_1 Lcs Cft 2016

1/64

 Álgebra de Boole

8/17/2019 Apunte 5_1 Lcs Cft 2016

2/64

¿Qué sabrás al final del capítulo?

• Leyes y propiedades del Algebra de Boole• Simplificar funciones utiliando el Algebra de

Boole

•  Analiar circuitos mediante Algebra de Booley simplificarlos

• !asar de una tabla de "erdad a Suma de!roductos y !roducto de Sumas

• #tiliar $apas de %arnaug& para simplificarfunciones l'gicas

8/17/2019 Apunte 5_1 Lcs Cft 2016

3/64

 Algebra de Boole binaria

(n )*+, -eorge Boole desarroll' un Algebra en la .ue los"alores de A y B s'lo podían ser /"erdadero0 o /falso0 1) ' ,23Se llama Algebra de Boole y se utilia en (lectr'nica 4igital

(lementos5 6,7)8

9peradores5

Suma Booleana5 es la funci'n l'gica 9:

;4

; < AB 

8/17/2019 Apunte 5_1 Lcs Cft 2016

4/64

 Aioma5 !ropiedad @onmutati"a

 A=B < B=A(l orden en la 9: no importa

AB = BA

El orden en la AND no importa

8/17/2019 Apunte 5_1 Lcs Cft 2016

5/64

 Aioma5 !ropiedad asociati"a

 A = 1B = @2 < 1A = B2 = @ Agrupar "ariables en la 9: no importa

A (B C) = (A B) C

Agrupar variables en la AND no importa

8/17/2019 Apunte 5_1 Lcs Cft 2016

6/64

 Aioma5 !ropiedad distributi"a

 A1B = @2 < AB = A@

A

BC

X

YX=Y

8/17/2019 Apunte 5_1 Lcs Cft 2016

7/64

A

B

C

X

Y

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

 Aioma5 !ropiedad distributi"a

8/17/2019 Apunte 5_1 Lcs Cft 2016

8/64

 Aioma5 (lemento identidad 1, para =2

A+0=A

acer una operaci'n 9: con , no cambia nada3

A

X X=A

8/17/2019 Apunte 5_1 Lcs Cft 2016

9/64

A·1=A

acer una operaci'n A>4 con ) no cambia nada

A

XX=A

Axioma: Elemento identidad ( para ·)

8/17/2019 Apunte 5_1 Lcs Cft 2016

10/64

A+A = 19 bien A o A serán )7 luego la salida será )

A

A

XX=

Axioma: Elemento !omplemento

8/17/2019 Apunte 5_1 Lcs Cft 2016

11/64

A·A=0

Bien A o A son , luego la salida será ,3

A

A

XX="

Axioma: Elemento !omplemento

8/17/2019 Apunte 5_1 Lcs Cft 2016

12/64

8/17/2019 Apunte 5_1 Lcs Cft 2016

13/64

Ceorema5 A•,4 con , siempre da ,

A

X X="

8/17/2019 Apunte 5_1 Lcs Cft 2016

14/64

Ceorema5 A=A < A 1C3 dempotencia2

acer una operaci'n 9: consigo mismo da elmismo resultado

A

A

XX=A

8/17/2019 Apunte 5_1 Lcs Cft 2016

15/64

Ceorema5 A•A < A 1C3 dempotencia2

acer una operaci'n A>4 consigo mismo da elmismo resultado

A

A

X X=A

8/17/2019 Apunte 5_1 Lcs Cft 2016

16/64

Ceorema5 A < A 1C3 n"oluci'n2

Si negamos algo dos "eces "ol"emos al principio 

A

X X=A

8/17/2019 Apunte 5_1 Lcs Cft 2016

17/64

Ceorema5 A = AB < A 1C3 Absorci'n 2

A

B

X

8/17/2019 Apunte 5_1 Lcs Cft 2016

18/64

Ceorema A = AB < A = B 1C3 Absorci'n 2

Si A es ) la salida es ) Si A es , la salida es B

A

B

XY

X=Y

8/17/2019 Apunte 5_1 Lcs Cft 2016

19/64

Leyes de 4e $organ 1D "ariables2

4e $organ ayuda a simplificar circuitos digitales usando>9:s y >A>4s3

 A • B < A = B

 A = B < A • B

#gual para n variables

8/17/2019 Apunte 5_1 Lcs Cft 2016

20/64

  A +B +C + D = A $ B $ C $ D

Leyes de 4e $organ 1más de D "ariables2

8/17/2019 Apunte 5_1 Lcs Cft 2016

21/64

 Análisis Booleano de

Eunciones L'gicas • (l prop'sito de este apartado es obtener

epresiones booleanas simplificadas a partirde un circuito

• Se eamina puerta a puerta a partir de susentradas

• Se simplifica usando las leyes y propiedadesbooleanas3

8/17/2019 Apunte 5_1 Lcs Cft 2016

22/64

@álculo de la epresi'n algebraica de salida

1eFemplo )2

8/17/2019 Apunte 5_1 Lcs Cft 2016

23/64

(A + B) (CD) = (A + B) + (CD) = A + B + CD

X e Y soniguales

8/17/2019 Apunte 5_1 Lcs Cft 2016

24/64

X = (A+B) C + CD + B

  = (A+B) C % CD + B

  = (A+B) C % (CD + B)

  = A B C % (C +D +B)

  = A B C C + A B C D +A B C B

  = A B C D

@álculo de la epresi'n algebraica de salida

1eFemplo D2

8/17/2019 Apunte 5_1 Lcs Cft 2016

25/64

&os

!ir!uitossoniguales

8/17/2019 Apunte 5_1 Lcs Cft 2016

26/64

!uerta a puerta a partir de sus entradas

X= AB+(C+D)

X= AB + C+ D

E'emplo

8/17/2019 Apunte 5_1 Lcs Cft 2016

27/64

X = (AB)(CD)X = ABCD

E'emplo

8/17/2019 Apunte 5_1 Lcs Cft 2016

28/64

E'emplo *

8/17/2019 Apunte 5_1 Lcs Cft 2016

29/64

X = ABCD +A

impli,i!ando:

X = A + BCD

8/17/2019 Apunte 5_1 Lcs Cft 2016

30/64

E'emplo -

8/17/2019 Apunte 5_1 Lcs Cft 2016

31/64

X = (AB+B)BC

.sando la propiedaddistributiva:

X = ABBC +BBC

X = ABC + BBC

X = ABC + "$C

X = ABC + "

X = ABC

En la siguientetransparen!ia se ve!/mo las dos !osas sonlo mismo

8/17/2019 Apunte 5_1 Lcs Cft 2016

32/64

8/17/2019 Apunte 5_1 Lcs Cft 2016

33/64

E'emplo 0

8/17/2019 Apunte 5_1 Lcs Cft 2016

34/64

8/17/2019 Apunte 5_1 Lcs Cft 2016

35/64

X = (A +AB) +(B(C+D))

X = (A + B) + (B(C + D))

X = (A + B) + (BC + BD)

X = A + B + BC + BD

X = A + B + C + BD

X = A + B + C + D

8/17/2019 Apunte 5_1 Lcs Cft 2016

36/64

(presiones booleanas desde tablas de

"erdadSuma de productos

G< AHBH@=BH@H4=AH@H4 o directamenteG< AB@=B@4=A@4

Producto de sumas

G

8/17/2019 Apunte 5_1 Lcs Cft 2016

37/64

Sumas de !roductos 1S!2

1= ABCD + ABCD + ABCD+ ABCD ⇒  1 es suma de produ!tos

ea una ,un!i/n 1(ABCD) 2ue s/lo es para los !asos:0011, 1011, 1110, 1111

Cuando ABCD=""3 4ni!amente laexpresi/n produ!to ABCD es 5

Cuando ABCD="3 4ni!amente laexpresi/n produ!to ABCD es

67 as8 su!esivamente6 resultando 2ue

8/17/2019 Apunte 5_1 Lcs Cft 2016

38/64

9rodu!tos de umas (9)

1=ABCD+ABCD+ABCD+ABCD+ABCD

Cuando ABCD="""3 s/lo la

suma A+B+C+D es "5

Cuando ABCD="""3 s/lo lasuma A+B+C+D es "3 6

67 as8 su!esivamente6

&a ,un!i/n 1 es " (o bien 1 es )

!uando ABCD="""

o !uando ABCD="""

o !uando ABCD="

o !uando ABCD=""

o !uando ABCD="

7 en ning4n otro !aso ms5

1=(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)

⇒  1 es produ!to de sumas

De ;organ

ea una ,un!i/n 1(ABCD) 2ue

s/lo es " para los !asos:0010, 0100, 0111,

1010, 1101

8/17/2019 Apunte 5_1 Lcs Cft 2016

39/64

• e usa para minimi !ontiene en la misma tabla de verdad de la ,un!i/n pero dispuesta endos dimensiones5

• Celdas ad7a!entes: En dire!!iones 73 dependiendo del tama?o del;>3 la ad7a!en!ia puede existir doblando el mapa sobre s8 mismo o mediantere,lexi/n en e'es verti!ales 7 @ori

8/17/2019 Apunte 5_1 Lcs Cft 2016

40/64

$apas de %arnaug& de I "ariables

"" " "

"

A

A

B C B C B C B CC/digo ra7

"

* 0 -

"

""

$ .na !elda a impli!a a variables

$ Dos !eldas ad7a!entes a impli!an a variables

$ Cuatro !eldas ad7a!entes a impli!an a variable

$ !@o !eldas ad7a!entes a !onstitu7en ,un!i/n de valor

1 = C + AB

8/17/2019 Apunte 5_1 Lcs Cft 2016

41/64

$apa de %arnaug& de J "ariables

C/digo ra7

  A B

  A B

  A B

  A B

C D C D C D C D

""

"

"

"" " "

$.na !elda a impli!a a variables

$Dos !eldas ad7a!entes a impli!an a variables

$Cuatro !eldas ad7a!entes a impli!an a variables

$!@o !eldas ad7a!entes a impli!an a variable

$Die!isis !eldas ad7a!entes a !onstitu7en ,un!i/n de valor

8/17/2019 Apunte 5_1 Lcs Cft 2016

42/64

(Femplo )3 ; < A B @ 4 = A B @ 4 = A B @ 4 = A B @ 4 =

  A B @ 4 = A B @ 4

"" " "

C D C D C D C D

X = ABD + ABC + CD

#ntentar !onredu!!iones

 booleanas

""

"

"

C/digo ra7

  A B

  A B

  A B

  A B

"" " "

8/17/2019 Apunte 5_1 Lcs Cft 2016

43/64

 K < B @ 4 = B @ 4 = @ 4 = B @ 4 = A B @

A BA B

A B

A B

C D C D C D C D

X = C + A B + B D

""

"

"

"" " "

(Femplo D3

8/17/2019 Apunte 5_1 Lcs Cft 2016

44/64

(Femplo I3 4ado un circuito encontrar otro mássencillo usando $apas de %arnaug&

9rimero lo pasamos a uma de 9rodu!tos

8/17/2019 Apunte 5_1 Lcs Cft 2016

45/64

Y= A + B + B C + ( A + B ) ( C + D)

Y = A B + B C + A B ( C + D )

Y = A B + B C + A B C + A B D

Y = A B + B C + A B C A B D

Y = A B + B C + (A + B + C ) ( A + B + D)Y = A B + B C + A + AB + A D + AB + B + BD + AC + BC + CDa!ando ,a!tor !om4n A (en ro'o) 7 B (en a

8/17/2019 Apunte 5_1 Lcs Cft 2016

46/64

A B

A B

A B

A B

C D C D C D C D

=

"" " "

""

"

"

8/17/2019 Apunte 5_1 Lcs Cft 2016

47/64

$apa de %arnaug& de "ariables

$.na !elda a impli!a a * variables$Dos !eldas ad7a!entes a impli!an a variables

$Cuatro !eldas ad7a!entes a impli!an a variables

$!@o !eldas ad7a!entes a impli!an a variables

$Die!isis !eldas ad7a!entes a impli!an a variable

8/17/2019 Apunte 5_1 Lcs Cft 2016

48/64

8/17/2019 Apunte 5_1 Lcs Cft 2016

49/64

SIMPLIFICACIÓN POR KARNAUGH

• )2 :ealiar agrupaciones de )Ms7 con sus adyacentes7 lo mayorposibles7 pero siempre en cantidades potencias de D3

• D2 >o deFar ningNn ) sin agrupar3 !uede ocurrir .ue un )perteneca a más de una agrupaci'n3 >o se pueden cogeragrupaciones totalmente contenidas en otras3

• I2 !or cada agrupaci'n de )Ms resulta un producto de "ariables3@uanto más )Ms se agrupen7 más sencilla resultará la epresi'n de esaagrupaci'n3

• J2 (n cada agrupaci'n7 cada una de las "ariables puede apareceren alguno de los siguientes casos5

• a2 Si siempre "ale ) OOOOOP Se pone afirmada3

• b2 Si siempre "ale , OOOOOP Se pone negada3• c2 Si cambia de "alor 1, de los casos un "alor y el otro ,otro "alor2 OOOOOP >o se pone3

• 2 La epresi'n de la funci'n booleana será la suma l'gica detodos los productos .ue &ayan salido 1epresi'n como Suma de!roductos2

8/17/2019 Apunte 5_1 Lcs Cft 2016

50/64

4iseRar un sistema de alarma

Sensores disponibles

5 F = Fentana (F=" CEGGADA3 F= AB#EGHA)

5 9 = 9uerta (9=" CEGGADA3 9= AB#EGHA)

5 C = Cale,a!!i/n (C=" A9AADA3 C= ENCEND#DA)5 A = Aire a!ondi!ionado (A=" A9AAD3 A= ENCEND#D)

*5 # = Alarma de proximidad de intruso (#=" N IAY #NHG.3

#= J IAY #NHG.)

8/17/2019 Apunte 5_1 Lcs Cft 2016

51/64

El sistema de alarma debe a!tivarse !uando:

5 &a puerta est abierta 7 la !ale,a!!i/n en!endida (9=3 C=)5 &a puerta est abierta 7 el aire a!ondi!ionado en!endido (9=3 A=)

5 &a puerta est abierta !on una alarma de proximidad de intruso (9=3 #=)

5 &a ventana est abierta 7 la !ale,a!!i/n en!endida5 (F=3 C=)

*5 &a ventana est abierta 7 el aire a!ondi!ionado en!endido (F=3 A=)

-5 &a ventana est abierta !on una alarma de proximidad de intruso (F=3#=)

1un!i/n sistema de alarma 1 de variables F3 93 C3 A3 #

8/17/2019 Apunte 5_1 Lcs Cft 2016

52/64

1 1 1 1

1 1 1 1

:ellenando el mapa1!

8/17/2019 Apunte 5_1 Lcs Cft 2016

53/64

:ellenando el mapa1!

8/17/2019 Apunte 5_1 Lcs Cft 2016

54/64

:ellenando el mapa1!

8/17/2019 Apunte 5_1 Lcs Cft 2016

55/64

:ellenando el mapa1T

8/17/2019 Apunte 5_1 Lcs Cft 2016

56/64

:ellenando el mapa1T

8/17/2019 Apunte 5_1 Lcs Cft 2016

57/64

:ellenando el mapa1T

8/17/2019 Apunte 5_1 Lcs Cft 2016

58/64

F 9

F 9F 9

F 9

 

 

 

 

   

!odemos agrupar así

1 = 9 C+ 9 A + 9 # + FC + FA + F #

KCuntos !@ips ne!esito para estoL

""

"

"

""" "" " "" " " ""C A # C A # C A # C A # C A # C A # C A # C A #

8/17/2019 Apunte 5_1 Lcs Cft 2016

59/64

9 usando los ceros

1 = C A # + F 9/lo dos !@ips

 

 

 

   

""" "" " "" " " ""

""

"

"

" " " " ""

"

"

"

""F 9

F 9

F 9

F 9

C A # C A # C A # C A # C A # C A # C A # C A #

1 = C A # + F 9

8/17/2019 Apunte 5_1 Lcs Cft 2016

60/64

!atillaFe de los circuitos UJ,J y

UJJUJ,J UJJ

8/17/2019 Apunte 5_1 Lcs Cft 2016

61/64

@oneionado físico

1

8/17/2019 Apunte 5_1 Lcs Cft 2016

62/64

@ircuito diseRado

1

8/17/2019 Apunte 5_1 Lcs Cft 2016

63/64

Ga sabes

• Leyes y propiedades del Algebra de Boole• Simplificar funciones utiliando el Algebra de

Boole

•  Analiar circuitos mediante Algebra de Booley simplificarlos

• !asar de una tabla de "erdad a Suma de!roductos y !roducto de Sumas

• #tiliar $apas de %arnaug& para simplificarfunciones l'gicas

8/17/2019 Apunte 5_1 Lcs Cft 2016

64/64

Einal del Cema