1

LGEBRA BOOLEANA.
1.1 INTRODUCCIN AL LGEBRA BOOLEANA. En 1854 George Boole present un tratamiento sistemtico de la lgica, y desarroll para este propsito un sistema algebraico que ahora se conoce como lgebra booleana. Se trata de una estructura algebraica definida en un con unto de elementos unto con dos operadores binarios !"# $suma% y !.# $multiplicacin%. El s&mbolo !"# representa la operacin lgica !o# $en ingl's !()#%, el s&mbolo !.# representa la operacin lgica !y# $en ingl's !*+,#%. En 1-.8 C. E. Shannon present un lgebra booleana de dos /alores denominada lgebra de interruptores, en la cual demostr que las propiedades de los circuitos el'ctricos y estables con interruptores, pueden mane arse con esta lgebra. 0ara la definicin formal del lgebra booleana, se emplean los postulados formulados por E. V. Hungtington en 1-14. Estos postulados o a2iomas no son 3nicos para definir el lgebra booleana. Se han usado otros con untos de postulados. El lgebra booleana se parece en algunos aspectos al lgebra ordinaria. 4a eleccin de los s&mbolos !"# y !.# es intencional para facilitar las manipulaciones algebraicas booleanas por las personas que ya estn familiari5adas con el lgebra ordinaria. *unque puede utili5arse cierto conocimiento del lgebra ordinaria para tratar con el lgebra booleana, el principiante debe tener cuidado de no sustituir las reglas del lgebra ordinaria cuando no son aplicables.

.! TABLAS DE VERDAD " CO#$UERTAS LGICAS BSICAS.

6na tabla de /erdad sir/e para enumerar todas las combinaciones posibles de una operacin lgica tanto de entrada con sus respecti/as salidas. 0or e emplo la operacin lgica !7# $*+,% para dos entradas se muestra a continuacin8

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

E+:)*,*S * 1 1 1 1 @ 1 1 1 1

S*49,* A 1 1 1 1

En esta tabla obser/amos que la salida slo es !1# cuando ambas entradas son !1# 4a operacin lgica *+, se simboli5a mediante la compuerta.

4a compuerta *+, es una de las compuertas bsicas con la que se construyen funciones lgicas. 6na compuerta *+, puede tener dos o ms entradas y reali5a la operacin que se conoce como multiplicacin lgica. (tra compuerta bsica es la que reali5a la funcin lgica !(# $en ingl's ()% la cual puede tener dos o ms entradas y reali5a la operacin que se conoce como suma lgica. Su tabla de /erdad es8 E+:)*,*S * 1 1 1 1 @ 1 1 1 1 S*49,* A 1 1 1 1

En esta tabla anterior obser/amos que la salida es !1# cuando cualquiera de las entradas es !1#. 4a operacin lgica () se simboli5a mediante la compuerta

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

6na tercera tabla de /erdad y compuerta lgica bsica presenta la operacin negacin $en ingl's +(:%. E+:)*,* * 1 1 S*49,* A 1 1

4a operacin negacin est simboli5ada por la compuerta8

.% $OSTULADOS " A&IO#AS.

4as reglas del lgebra de @oole estn compuestas por postulados y teoremas. 4os postulados son a2iomas bsicos de la estructura algebraica y no necesitan prueba. 4os teoremas deben probarse mediante los postulados. 0(S:64*,(S @CS9<(S8 1% 1D1 E1 B% 1D1E 1 .% 1D1 E1 4% 1D1 E 1 5% 1 " 1 E 1

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

F% 1 " 1 E 1 G% 1 " 1 E 1 8% 1 " 1 E 1 -% 1 E 1 11% 1 E 1 unto con las e2presiones anteriores, tambi'n podemos enunciar los siguientes postulados8 11% 2 " 1 E 2 1B% 2 D 1 E 2 1.% 2 " y E y " 2 14% 2y E y2 15% 2$y " 5% E 2y " 25 1F% 2 " y5 E $2 " y%$2 " 5% 1G% 2 " 2 E 1 18% 2D2 E 1 postulado conmutati/o postulado conmutati/o postulado distributi/o postulado distributi/o

.' TEORE#AS DEL LGEBRA BOOLEANA.

4os teoremas deben probarse mediante los postulados. * continuacin se deducen algunos teoremas del lgebra de @oole con el conocimiento de los postulados /istos anteriormente. TEORE#A ( ,E,6<<9H+8 2"2E 2 2 " 2 E $2 " 2%D1 E $2 " 2 %$2 " 2% E 2 " 2D2 E2"1 E2 E)ERCICIOS8 ,educir los teoremas que se indican a continuacin8 por el postulado 1B 1G 18 11

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

TEORE#A !( 2D2 E 2 ,E,6<<9H+8

$sugerencia8 sumar 1 al t'rmino 2D2%

TEORE#A %( 2 " 1 E 1 $sugerencia8 multiplicar por 1 al binomio 2 " 1 % ,E,6<<9H+8

TEORE#A '( 2 " 2y E 2 $sugerencia multiplicar 2 por 1% ,E,6<<9H+8

,e una manera similar, se pueden deducir los siguientes teoremas8 F% 2 D 1 E 1 G% 2 E 2 8% 2 " $y " 5 % E $2 " y% " 5 -% 2$y5% E $2y%5 in/olucin asociati/o asociati/o 11% 2$2 " y% E 2$1 " y% E 2 redundancia 11% 2 " 2 y E 2 " y 1B% 2 y " y 5 " y 5 E 2 y " 5 1.% 2 $2 " y% E 2 y

TEORE#AS DE DE#ORGAN

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

1% $2 " y% E 2 D y B% 2Dy E 2 " y

$RO$IEDADES DEL LGEBRA DE BOOLE INTER$RETADAS #EDIANTE INTERRU$TORES.

4os postulados y teoremas del lgebra de @oole los podemos agrupar como propiedades de ese sistema algebraico, y otra manera muy prctica de entender cada uno de ellos es mediante circuitos con interruptores el'ctricos. E)ERCICIO( ,educe la e2presin del segundo miembro en cada ecuacin o regla del lgebra booleana mediante interruptores reali5ando un circuito el'ctrico equi/alente. +ota el operador multiplicacin est representado con asterisco $D%. 0)(09E,*, 2 " 1 E KKKKKKKKK <9)<69:( EI69J*4E+:E

2 " 1 E KKKKKKKKK

2 " 2 E KKKKKKKK

2 " 2 E KKKKKKK 2 D 1 E KKKKK

2 D 1 E KKKKK

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

2 D 2 E KKKK

4ey de identidad

2 D 2 E KKKK

9n/olucin 2 E KKKKK 2 " y E KKKKKK 4ey conmutati/a

2Dy E KKKKKKK

4ey asociati/a

2 " $y " 5 % E KKKKKKKKK

4ey asociati/a

2$y5% E KKKKKKKKK

4ey asociati/a

2$y " 5% E KKKKKKKKKK

4ey distributi/a.

2 " 25 E KKKKKKK

)edundancia

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

2$2 " y% E KKKKKKKK

*bsorcin, redundancia

$2 " y%$2 " 5%EKKKKKKKK

2 " 2 y E KKKKKKKKK

2y"y5"y5E2y"5

2 " $y D 5% E $2 " y %D$2 " 5%

2 $2 " y% E 2 y

1.5 (0E)*<9(+ES @CS9<*S

9.L Simplifica las siguientes e2presiones booleanas a un n3mero m&nimo de literales8

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

1.L 2 " 2 y E B.L 2$ 2 " y % E ..L 2 y 5 " 2 y 5 " 2 y E 99.L 6tili5ando los teoremas de ,E;()>*+ reali5a lo que se indica en cada punto8 1.L E2presa como suma de productos, negando M8 M E $* " <%D$@ " ,% B.L E2presa como suma de productos, negando M8 M E * " @D< ..L E2presa como productos de sumas, negando f8 f E abc " bcd

@9@49(>)*NO*8 P ,E;0SE7, Q(R+ *. Electrnica digital bsica con aplicaciones ;S9. ;'2ico 1-8G. Nondo Educati/o 9nteramericano. P N4(7,, :. 4. Nundamentos de sistemas digitales. Se2ta edicin ;adrid1--G. Editorial 0rentice Rall. P ;*+(, ;()9S. ,iseSo digital. ;'2ico, 1-8G. Editorial 0rentice Rall.

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2

11

9nstituto :ecnolgico de Sonora. Sistemas ,igitales 9. ;. <. (s=aldo >arc&a Snche5. os=agar?yahoo.com.m2