lgebra de Boole

De Wikipedia, la enciclopedia libre

(Redirigido desde Algebra booleana) Saltar a navegacin, bsqueda lgebra de Boole (tambin llamada Retculas booleanas) en informtica y matemtica, son estructuras algebraicas que rigorizan las o eraciones lgicas !, " y #", as$ como el con%unto de o eraciones unin, interseccin y com lemento& Se denomina as$ en 'onor a (eorge )oole, matemtico ingls que fue el rimero en definirla como arte de un sistema lgico a mediados del siglo *+*& ,s ec$ficamente, el lgebra de )oole fue un intento de utilizar las tcnicas algebraicas ara tratar e- resiones de la lgica ro osicional& ,n la actualidad, el lgebra de )oole se a lica de forma generalizada en el mbito del dise.o electrnico& /laude S'annon fue el rimero en a licarla en el dise.o de circuitos de conmutacin elctrica biestables, en 0123&

Tabla de contenidos
4ocultar5 0 6efinicin o 0&0 /omo ret$culo o 0&7 /omo anillo 0&7&0 (ru o abeliano res ecto a (8) 0&7&7 (ru o abeliano res ecto a (9) 0&7&2 6istributivo 7 " eraciones o 7&0 " eracin suma o 7&7 " eracin roducto o 7&2 " eracin negacin 2 :eyes fundamentales o 2&0 ;rinci io de dualidad < "tras formas de notacin del lgebra de )oole

= >lgebra de )oole a licada a la informtica o =&0 ,l ? lgico o =&7 ,l 0 lgico @ Aase tambin B ,nlaces e-ternos 3 )ibliograf$a

Definicin [editar]
,l >lgebra de )oole es una estructura algebraica que uede ser considerada desde distintos untos de vista matemticosC

Como retculo [editar]

,l lgebra de )oole es un ret$culo (A, , 8), donde el con%unto A esta formado or dos elementos ADE?, 0F, como ret$culo resenta las siguientes ro iedadesC 0& :ey de +dem otenciaC

7& :ey de AsociatividadC

2& :ey de /onmutatividadC

<& :ey de /ancelativo

Como anillo [editar]

,l >lgebra de )oole tiene ,structura algebraica de AnilloC rupo abeliano respecto a !"# [editar] ,l con%unto ADE?,0F es un (ru o abeliano res ecto a (8)C 0& (8) es una o eracin interna en AC

7& ,s asociativaC

2& Giene elemento neutro

<& Giene elemento simtricoC

=& es conmutativaC

rupo abeliano respecto a !$# [editar] ,l con%unto ADE?,0F es un (ru o abeliano res ecto a ( )C @& ( ) es una o eracin interna en AC

B& ,s asociativaC

3& Giene elemento neutro

1& Giene elemento simtricoC

0?& es conmutativaC

Distributi%o [editar] ,l con%unto ADE?,0F es un (ru o abeliano res ecto a (8) y ( ) y es distributivaC 00& :a o eracin (8) es distributiva res ecto a ( )C

07& :a o eracin ( ) es distributiva res ecto a (8)C

/omo resultado odemos decir que el >lgebra de )oole tiene ,structura algebraica de anillo conmutativo y con elemento neutro res ecto a las dos o eraciones (8) y ( )&

&peraciones [editar]
a ? ? 0 0 b ? 0 ? 0 a8b ? 0 0 0

Hemos definido el con%unto A D E?,0F como el con%unto universal sobre el que se a lica el lgebra de )oole, sobre estos elementos se definen varias o eraciones, veamos las mas fundamentalesC

&peracin suma [editar]

:a o eracin suma (8) asigna a cada ar de valores a, b de ' un valor c de 'C

Su equivalencia en lgica de interru tores es un circuito de dos interru tores en aralelo&

Si uno de los valores de a o b es 0, el resultado ser 0, es necesario que los dos sumandos sean ?, ara que el resultado sea ?&

a ? ? 0 0

b ? 0 ? 0

a b ? ? ? 0

&peracin producto [editar]

:a o eracin roducto ( ) asigna a cada ar de valores a, b de ' un valor c de 'C

,sta o eracin en lgica de interru tores es un circuito en serie de dos interru tores

solo si los dos valores a y b son 0, el resultado ser 0, si uno solo de ellos es ? el resultado ser ?&

&peracin negacin [editar]

:a o eracin negacin resenta el o uesto del valor de aC

? 0

0 ?

In interru tor inverso equivale a esta o eracinC

(e)es fundamentales [editar]

,l resultado de a licar cualquiera de las tres o eraciones definidas a variables del sistema booleano resulta en otra variable del sistema, y este resultado es nico& 0& :ey de idem otenciaC

7& :ey de involucinC

2& :ey conmutativaC

<& :ey asociativaC

=& :ey distributivaC

@& :ey de cancelacinC

B& :eyes de 6e JorganC

*rincipio de dualidad [editar]

,l conce to de dualidad ermite formalizar este 'ec'oC a toda relacin o ley lgica le corres onder su dual, formada mediante el intercambio de los o eradores unin (suma lgica) con los de interseccin ( roducto lgico), y de los 0 con los ?& Adems 'ay que cambiar cada variable or su negada& ,sto causa confusin al a licarlo en los teoremas bsicos, ero es totalmente necesario ara la correcta a licacin del rinci io de dualidad& Aase que esto no modifica la tabla ad%unta&
'dicin 0 7 2 < = @ B 3 1 *roducto

&tras formas de notacin del +lgebra de Boole [editar]

,n matemtica se em lea la notacin em leada 'asta a'ora (E?,0F, 8 , ) siendo la forma ms usual y la ms cmoda de re resentar& ;or e%em lo las leyes de 6e Jorgan se re resentan as$C

/uando el lgebra de )oole se em lea en electrnica, suele em learse la misma denominacin que ara las uerta lgica A#6 (!), "R (") y #"G (#"), am lindose en ocasiones con *K"R (" e-clusiva) y su negadas #A#6 (#" !), #"R (#" ") y *K #"R (equivalencia)& las variables ueden re resentarse con letras maysculas o minsculas, y ueden tomar los valores E?, 0F ,m leando esta notacin las leyes de 6e Jorgan se re resentanC

,n su a licacin a la lgica se em lea la notacin y las variables ueden tomar los valores EL, AF, falso o verdadero, equivalentes a E?, 0F /on la notacin lgica las leyes de 6e Jorgan serian as$C

6esde el unto de vista ractico e-iste una forma sim lificada de re resentar e- resiones booleanas& Se em lean a strofes (M) ara indicar la negacin, la o eracin suma (8) se re resenta de la forma normal en lgebra, y ara el roducto no se em lea ningn signo, las variables se re resentan, normalmente con una letra mayscula, la sucesin de dos variables indica el roducto entre ellas, no una variable nombrada con dos letras& :a re resentacin de las leyes de 6e Jorgan con este sistema quedar$a as$, con letra minsculas ara las variablesC

y as$, em leando letras maysculas ara re resentar las variablesC

Godas estas formas de re resentacin son correctas, se utilizan de 'ec'o, y ueden verse al consultar bibliograf$a& :a utilizacin de una u otra notacin no modifica el lgebra de )oole, solo su as ecto, y de ende de la rama de las matemticas o la tecnolog$a en la que se este utilizando ara em lear una u otra notacin&

lgebra de Boole aplicada a la inform+tica [editar]

Se dice que una variable tiene %alor booleano cuando, en general, la variable contiene un ? lgico o un 0 lgico& ,sto, en la mayor$a de los lengua%es de rogramacin, se traduce en false (falso) o true (verdadero), res ectivamente& Ina variable uede no ser de ti o booleano, y guardar valores que, en rinci io, no son booleanosN ya que, globalmente, los com iladores traba%an con esos otros valores, numricos normalmente aunque tambin algunos ermiten cambios desde, incluso, caracteres, finalizando en valor booleano& &&

,l - lgico [editar]

,l valor booleano de negacin suele ser re resentado como false, aunque tambin ermite y equivale al valor natural, entero y decimal (e-acto) ?, as$ como la cadena OfalseO, e incluso la cadena O?O&

,l . lgico [editar]

,n cambio, el resto de valores a untan al valor booleano de afirmacin, re resentado normalmente como true, ya que, or definicin, el valor 0 se tiene cuando no es ?& /ualquier nmero distinto de cero se com orta como un 0 lgico, y lo mismo asa con casi cualquier cadena (menos la OfalseO, en caso de ser sta la corres ondiente al ? lgico)&
.1. INTRODUCCIN George Boole cre el lgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretenda explicar las leyes fundamentales de aquellas operaciones de la mente umana por las que se rigen los ra!onamientos. "n esa #poca nadie pudo prever la utili!acin de este lgebra en el dise$o de circuitos digitales.

%omo veremos las operaciones se reali!arn mediante relaciones lgicas& lo que en el lgebra convencional son las sumas y multiplicaciones. 'as variables con las que opera son las binarias ( y ) *verdadero o falso+. 'os signos ( y ) no expresan cantidades& sino estados de las variables. Podemos decir& que el sistema de numeracin binario y el lgebra de Boole constituyen la base matemtica para el dise$o y construccin de sistemas digitales. ,e define -uncin 'gica a toda variable binaria cuyo valor depende de una expresin formada por otras variables binarias relacionadas mediante los signos . y x. Por e/emplo0 ,1*a.b+.b.c. ,iendo , la funcin& mientras que a& b y c son las variables. "sta funcin la leeramos de la siguiente forma0 si a y b o b y c son verdaderas*(+ la funcin lgica , es verdadera*(+. 2ediante contactos podramos explicar o aclarar la funcin lgica.

Tablas de verdad.- 3 trav#s de las tablas de verdad se puede conocer tericamente el comportamiento de las funciones lgicas& en funcin de los niveles que se aplican a la entrada. 2s adelante veremos como adems nos van a servir para dise$ar circuitos digitales. .1. INTRODUCCIN George Boole cre el lgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretenda explicar las leyes fundamentales de aquellas operaciones de la mente umana por las que se rigen los ra!onamientos. "n esa #poca nadie pudo prever la utili!acin de este lgebra en el dise$o de circuitos digitales. %omo veremos las operaciones se reali!arn mediante relaciones lgicas& lo que en el lgebra convencional son las sumas y multiplicaciones. 'as variables con las que opera son las binarias ( y ) *verdadero o falso+. 'os signos ( y ) no expresan cantidades& sino estados de las variables. Podemos decir& que el sistema de numeracin binario y el lgebra de Boole constituyen la base matemtica para el dise$o y construccin de sistemas digitales. ,e define -uncin 'gica a toda variable binaria cuyo valor depende de una expresin formada por otras variables binarias relacionadas mediante los signos . y x. Por e/emplo0 ,1*a.b+.b.c. ,iendo , la funcin& mientras que a& b y c son las variables. "sta funcin la leeramos de la siguiente forma0 si a y b o b y c son verdaderas*(+ la funcin lgica , es verdadera*(+. 2ediante contactos podramos explicar o aclarar la funcin lgica.

Tablas de verdad.- 3 trav#s de las tablas de verdad se puede conocer tericamente el comportamiento de las funciones lgicas& en funcin de los niveles que se aplican a la entrada. 2s adelante veremos como adems nos van a servir para dise$ar circuitos digitales. Cuando se trabaja con circuitos digitales es muy comn que al final de un diseo se tenga un circuito con un nmero de partes (compuertas y otros) mayor al necesario.

Para lograr que el circuito tenga la cantidad de partes correcta (la menor posible) hay que optimizarlo (reducirlo). Un diseo ptimo causar! que" # $l circuito sea m!s simple # $l nmero de componentes sea el menor # $l precio de proyecto sea el m!s bajo # %a demanda de potencia del circuito sea menor # $l mantenimiento del circuito sea m!s f!cil. # $s espacio necesario (en el circuito impreso) para la implementaci n del circuito ser! menor. $n en consecuencia que el diseo sea el m!s econ mico posible Una herramienta para reducir las e&presiones l gicas de circuitos digitales es la matem!ticas de e&presiones l gicas' que fue presentada por George Boole en ()*+' herramienta que desde entonces se conoce como !lgebra de ,oole.

Las reglas del lgebra Booleana son:

-ota" # (punto)" significa producto l gico # + (signo de suma)" significa suma l gica

La operacin AND o Y . . ( ( ./. (/. ./. (/( . . 0 0 . /. 0/0 ./ . 0/0

La operacin OR o O .1./. .1(/( (1./( (1(/( 01. /0 01(/( 010/0 010/(

La operacin NOT o No ./( (/. 022 / 0 Nota: 02 / 0

Ley Distributi a 0 (,1C) / (0 ,) 1 (0 C) 01(, C) / (01,) (01C) Ley Asociati a (0 ,) C / 0 (, C) / 0 , C (01,)1C / 01(,1C) / 01,1C Ley !on"utati a 0 ,/, 0 01,/,10 #recedencia 0 ,/0 , 0 1 , C / 0 1 (, C) 0 , 1 C / (0 ,) 1 C Teore"a De$organ (0%,) / 0 1 , (-0-3) (01,) / 0 , (-45) Para asegurarse de que la reducci n fue e&itosa' se puede utilizar la tabla de 6erdad que debe dar el mismo resultado para el circuito simplificado y el original. co"puerta AND o Y lgica es una de las compuertas m!s simples dentro de la $lectr nica 3igital. 7u representaci n es la que se muestra en las siguientes figuras.

%a compuerta Y lgica tiene dos entradas 0 y ,' aunque puede tener muchas m!s (0','C' etc.) y s lo tiene una salida 8. $n el gr!fico anterior se muestran una compuerta 0-3 de 9 y una de : entradas %a compuerta 0-3 de 9 entradas tiene la siguiente tabla de 6erdad

&

. . ( (

. ( . (

. . . (

7e puede 6er claramente que la salida 8 solamente es ;(; (( l gico' ni6el alto) cuando la entrada 0 como la entrada , est!n en ;(;. $n otras palabras La salida & es igual a ' cuando la entrada A y la entrada B son ' $sta situaci n se representa en el !lgebra booleana como" & ( A)B o & ( AB* Una compuerta 0-3 de : entradas se puede implementar con interruptores' como se muestra en el siguiente diagrama. %a tabla de 6erdad se muestra al lado derecho donde" A / 0bierto y ! / Cerrado.

B !

L"para

A 0 0 0 0 C C C C 0 0 0 C C 0 C C 0 0 0 C C 0 0pagada 0pagada 0pagada 0pagada 0pagada 0pagada 0pagada

C C +ncendida

Una compuerta 0-3 puede tener muchas entradas. Una 0-3 de mltiples entradas puede ser creada conectando compuertas simples en serie. 7i

se necesita una 0-3 de : entradas y no una hay disponible' es f!cil crearla con dos compuertas 0-3 en serie o cascada como se muestra en el siguiente diagrama.

Tabla de erdad A . . . . ( ( ( ( B . . ( ( . . ( ( ! . ( . ( . ( . ( & . . . . . . . (

3e igual manera' se puede implementar circuitos 0-3 de + o m!s entradas ompuerta NOR ,No O- se puede implementar con la concatenaci n de una compuerta 45 con una compuerta -4<' como se muestra en la siguiente figura

0l igual que en el caso de la compuerta 45' =sta se puede encontrar en 6ersiones de 9' : o m!s entradas. %as tablas de 6erdad de estos tipos de compuertas son las siguientes"
<abla de 6erdad de una compuerta -45 de 9 entrada

A . . ( (

B . ( . (

&(A+B ( . . .

<abla de 6erdad de una compuerta -45 de : entradas

A . . . . ( ( ( (

B . . ( ( . . ( (

! . ( . ( . ( . (

&(A+B+! ( . . . . . . .

Como se puede 6er la salida 8 s lo ser! ;(; cuando todas las entradas sean ;.;.

!o"puerta NOT creada con co"puerta NOR

Un caso interesante de este tipo de compuerta' al igual que la compuerta -0-3' es que cuando =stas (las entradas 0 y , o 0' , y C) se unen para formar una sola entrada' la salida (8) es e&actamente lo opuesto a la entrada' en la primera y la ltima l>nea de la tabla de 6erdad. $n otras palabras" Con una compuerta -45 se puede implementar el comportamiento de una compuerta -4<
<abla de 6erdad

. . (

&(. ( .

co"puerta O lgica o co"puerta OR es una de las compuertas mas simples dentro de la $lectr nica 3igital. %a salida 8 de esta compuerta ser! ;(; cuando la entrada ;0; este en ;(;. 4 e&pres!ndolo en otras palabras"

o la entrada ;,;

+n una co"puerta OR/ la salida ser 0'0/ cuando en cual1uiera de sus entradas 2aya un 0'0* %a representaci n de la compuerta ;45; de 9 entradas y tabla de 6erdad se muestran a continuaci n"

B A . . ( ( . ( . (

&

. ( ( ( o & ( B+A

? se representa con la siguiente funci n booleana" & ( A+B

$sta misma compuerta se puede implementar con interruptores como se muestra en la figura de la derecha' en donde se puede 6er que" cerrando el interruptor 0 ;4; el interruptor , se encender! la luz ;(; / cerrado ' ;.; / abierto' ;(; / luz encendida $n las siguientes figuras se muestran la representaci n de la compuerta ;45; de tres entradas con su tabla de 6erdad y la implementaci n con interruptores 5epresentaci n de una compuerta 45 de : entradas con su tabla de 6erdad

B!&

A . . . . ( ( ( ( . . . . ( ( ( . ( ( ( ( . . ( . ( ( ( . ( ( ( (

!o"puerta 0OR0 de 3 entradas i"ple"entada con interruptores

%a l!mpara incandescente se iluminar! cuando cualquiera de los interruptores (0 o , o C) se cierre. 7e puede 6er que cuando cualquiera de ellos est= cerrado la lampara estar! alimentada y se encender!. %a funci n booleana es & ( A + B + !

:(,)RA )"":,A#A&
Circuitos combinatorios& :os circuitos combinatorios son maquinas que contienen uno o mas dis ositivos de entrada y e-actamente un dis ositivo de salida& ! nos ermiten regular el volta%e ara inter retarlo como un sistema binario& A tales dis ositivos los llamamos C&/*0,RT'1, de las cuales e-isten 2 bsicas a saberC 0& A#6(y)& 7& "R(o)& 2& #"G(no)& /om uerta A#6& GA):AS 6, A,R6A6

*0 ? ? 0 0

*7 ? 0 ? 0

! ? ? ? 0

*0 ? ? 0 0

*7 ? 0 ? 0

! ? 0 0 0

/om uerta "R&

/om uerta #"G&

* ? 0 ! 0 ?

2otacin3

,4emplos5 0& ,value con *0D0, *7D? y *2D0&

*0 *7 *2 *0*7 *2P (*0*7)8*2P 0 ? 0 ? ? ? 7& Realizar la notacin del circuitoC

2& Que valor se obtiene a la salida con *0D0, *7D? y *2D0&

2& 1, *0,D, *&R 60, (' C&/*0,RT' 2&T 1&(& T7,2, 02' ,2TR'D'3 <& Que valor obtenemos a la salida si *0D0, *7D? y *2D0&

*0 *7 *2 *0*7*2 (*0*7*2)8*2 *7P 4(*0*7*2)8*258*7P 0 ? 0 ? 0 0 0 =& (rafica y evalua la e- resin ara *0D0,*7D0 y *2D?&

*0 *7 *2 *2P *0P *0*7*2P *0*7 *0P*2 *0*7*2P8*0*78*0P*2 0 0 ? 0 ? 0 0 ? 0 @& (rafica y evalua la e- resin

*0 ? ? 0 0

*7 *7P *0P *0P*7 *0P*7P *0*7P *0P*78*08*78*0P*7P8*0*7P ? 0 0 ? 0 ? 0 0 ? 0 0 ? ? 0 ? 0 ? ? ? 0 0 0 ? ? ? ? ? 0

2otacin3

,4emplo5 "btener la salida del circuito ara todas las combinaciones&

* *7 *2 *0P (*0P*7)P (*78*2)P *08*2 (*08*2)(*08*2)P (4(*08*2)(*08*2)P58(*0P*7)P)P 0 ? ? ? 0 0 0 ? ? ? ? ? 0 0 0 ? 0 ? ? ? 0 ? 0 ? ? ? ? 0 ? 0 0 0 ? ? 0 ? 0 0 ? ? ? 0 0 0 0 ? 0 ? 0 ? 0 ? 0 ? ? 0 0 ? ? 0 ? 0 ? ? 0 0 0 ? 0 ? 0 ? ?

>lgebra )ooleana&
Sea ) un con%unto donde se definen tres o eraciones, llamadas 10/', *R&D0CT& y C&/*(,/,2T&, denotadas or a) /onmutatividad&

b) 6istributividad&

c) +dntico&

d) /om lemento&

Comparando con Con4untos3 Sea A un con%unto&

,ntonces D Inin& D +nterseccin& R D /om lemento& a& /onmutatividad&

forman un >lgebra )ooleana&

b& 6istributividad&

c&

+dntico&

d& /om lemento&

*ropiedades del lgebra Booleana3

,4emplos5 Reduce la ecuacin a una mas sim le&

ReduceC

/apas de 8arnaug9
2:meros 2aturales3

2:meros ,nteros3

2:meros Racionales3

2:meros 7rracionales3

2:meros Reales3

2:meros Comple4os3

*R&B(,/'1 ) ,;,RC7C7&1 R,10,(T&1 de '( ,BR' de B&&(, ) ( ,BR' de *R&*&17C7&

Enunciado 1 4eorema lB *principio de dualidad+. 5emostrar que cada asercin o identidad algebraica deducible de los postulados del lgebra de Boole sigue siendo vlida si las operaciones 6 . 6 y 6 . 6 y los elementos identidad *( y )+ se intercambian entre si. Ver Solucin. Enunciado 2

5emostrar que para todos los elementos a& b& c de un lgebra de Boole se verifican los siguien Idempotencia0 "lemento unidad0 3bsorcin 0 3sociatividad0 %omplemento 8nico0 Involucin0 "n cualquier lgebra booleana0 'eyes de 2organ :elacin de orden0 ,obre con/untos0 a.a1a 7 a.a1a a.(1( 7 a.)1) a . *a . b+ 1 a 7 a . *a . b+ 1 a a . *b . c+ 1 *a . b+ . c 7 a . *b . c+ 1 *a . b+ . c "l elemento a9 asociado al a es 8nico *a9+9 1 a )9 1 ( 7 (9 1 )

*a . b+9 1 a9 . b9 7 *a . b+9 1 a9 . b9 si a b a9 . b 1 ( 7 si a b a9 . b 1 ) %ada lgebra booleana que pueda formarse es isomorfa al lgebra de con/untos. Ver Solucin. Enunciado 3

5emostrar que si P es un n8mero entero primo& el anillo de los enteros mdulo p forma un campo& denominado campo de Galois G-*P+ Ver Solucin. Enunciado 4 5e las siguientes sentencias o frases& ;cuales representan proposiciones< a+ = es un n8mero primo b+ cuando se a$ade > a ?& la suma es (@ c+ "xisten seres vivos en Aenus d+ "sta sentencia que Ad est leyendo es falsa e+ ;"s primo el n8mero ll< ,i la sentencia p es 6el buen tiempo es agradable6 escribir p9 de varias formas. Ver Solucin. Enunciado 5

%onsideremos un poltico que declara en la prensa 0 Pl 0 6,i los impuestos suben& la inflacin ba/ar si y solo si el euro no se deval8a6 PB 0 6,i la inflacin ba/a o si el euro no se deval8a& los impuestos no subirn6 P= 0 6C bien ba/a la inflacin y se deval8a el euro& o bien los impuestos deben subir6 5ic o poltico reali!a un informe en el que concluye 0 % 0 6'os impuestos deben subir& pero la inflacin ba/ar y el euro no se devaluar6 3nali!ar la valide! de la conclusin. Respuesta 7 %onsideremos las siguientes proposiciones0 6'os impuestos suben6 1 p 6'a inflacin ba/ar6 1 q 6'a peseta DC se devaluar6 1 r %on este simbolismo tenemos 0 p *q r+ 0 premisa ( 1 5 0 premisa B 1 " 0 premisa = 1 0 %onclusin 1 G 'a conclusin ser. vlida si la proposicin 0

es una tautologa. Para construir la tabla de verdad acemos 0

y a partir de eso 0 p q r s t v 5 ( ( ( ( ( ) ) ( " ( ( ( ( ( ) ) ) ) ) ( ) ( ( ( ( G ) ) ) ) ) ) ) ( E ) ) ( ) ( ) ) ) E ( ( ) ( ) ( ( ( G

) ) ) ( ) ) ) ) ( ) ( ) ) ( ) ) ( ( ) ( ( ( ( ) ( ) ) ( ) ) ( ) ( ) ( ) ( ( ) ) ( ( ( ( ( ( ( )

y la conclusin a que llega el poltico no es lgicamente vlida.

<3.3 Teoremas ) *ostulados del 'lgebra de Boole !*ostulados D=/&R '2#

*ropiedades del algebra de Boole3 .3 *ropiedad de cierre3 ;ara un con%unto s se dice que es cerrado ara un o erador binario si ara cada elemento de S el o erador binario es ecifica una regla ara obtener un elemento nico de S& ;ara el con%unto # D E0,7,2,<,F es cerrado con res ecto al o erador binario (8) or las reglas de la adicin aritmtica, ya que ara que cualquier elemento a,b ertenecientes a # or la o eracin a 8 b D c el con%unto de los nmeros naturales no esta cerrado con res ecto al o erador binario (K) or la regla de la resta aritmtica, debido a que 7K2 D K0 y 7,2 ertenecen a # ero K0 no ertenece a #& <3 (e) asociati%a3 ,l o erador binario (S) es un con%unto S es asociativo siem re que -SySz D -S(ySz) ara toda -, y ertenecientes a S& >3 (e) conmutati%a3 In o erador binario (S) ara un con%unto S es conmutativo siem re queC -Sy D yS- ara toda -,y ertenecientes a S& ?3 ,lemento identidad3 ,l con%unto S tendr un elemento identidad multi licativo identidad (S) en S si e-iste un e erteneciente a S con la ro iedad eS- D -Se De ara cada ertenecientes a S& @3 7n%ersa3 ,l con%unto S tiene un elemento identidad (e) con res ecto al o erador (S) siem re que ara cada - erteneciente a S e-ista un elemento y erteneciente a S tal que -SyDe& A3 (e) distributi%a3 Si el o erador (S) y el o erador (&), son o eradores binarios de S, (S) se dice que es distributivo sobre (&)&

Siem re queC -S(y & z) D (-Sy) & (-Sz) K ,l o erador binario (8) define la adicin& K +dentidad aditiva es el cero& K :a inversa aditiva define la sustraccin& K ,l o erador binario (&) define la multi licacin& K +dentidad multi licativa es 0& K +nversa multi licativa de A es igual a 0TA define la divisin esto es A S 0TA D0 K :a nica ley distributiva a licable es la de o erador (&) sobre el o erador 8 (&) sobre (8) a(b8c)D(a&b) 8(a&c) ;ara definir formalmente el lgebra de )oole se em lean ostulados de Huntington& 0& a) /ierre con res ecto al o erador (8) b) /ierre con res ecto al o erador (&) 7& a) In elemento identidad con res ecto al o erador (8), designado or el cero -8? D?8-Db) In elemento identidad con res ecto al o erador (&) designado or el uno -S0D0S-D2& a) /onmutativo con res ecto al o erador (8) C -8y D y8b) /onmutativo con res ecto al o erador (&) C -Sy DyS<& a) ,l o erador (&) es distributivo sobre el o erador (8) C -&(y8z) D (-&y) 8 (y&z) b) ,l o erador (8) es distributivo sobre el o erador (&) C -8(-&z) D (-8y) & (-8z) =& ;ara cada elemento de - ertenencia a ) e-iste un elemento - com lemento erteneciente a ) denominado com lemento de - tal queC a) -8- D 0 b) - D ? @& ,-isten cuando menos dos elementos -,y ertenecientes a ) tal que diferente de y& ;or lo tanto tenemos que el lgebra de )oole difiere de la aritmtica y del lgebra ordinaria en la sigC a) :os ostulados HuntingtonC no incluyen al ley asociativa, no obstante esta ley es valida ara el lgebra booleana ( ara ambos o eradores)

b) :a ley distributiva del o erador (8) sobre el o erador (&) esto esC -8(y&z) D (-8y)&(-8z), la cual es valida ara el lgebra de boole ero no ara el lgebra ordinaria& c) ,l lgebra booleana no tiene inversa aditiva a multi licativa, or lo tanto no 'ay o eraciones de sustracciones o divisin& d) ,l ostulado = define un o erador llamado com leto que no se encuentra en el lgebra ordinaria& e) ,n el algebra de )oole se define un con%unto ) de dos elementos (? y 0) y el lgebra ordinaria trata con el con%unto de los nmeros reales& ;ostulado 7 a) - 8 ? D ;ostulado = a) - 8 - D 0 Georema 0 a) - 8 - D Georema 7 a) - 8 0 D 0 Georema 2 involucin (-) D Georema 2 conmutativo a) - 8 y D y 8 Georema < asociativo a) - 8 (y 8 z) D (- 8 y) 8z ;ostulado < distributivo a) - (y 8 z) D -y 8-z (- 8z) Georema = morgan a) ( - 8 y) D - y y Georema @ absorcin a) - 8 -y D ,4emplosC -8-D- 8 - D (- 8 -) & 0 - 8 - D (- 8 -) (- 8 -) - 8 - D - 8 -- -8-D-8? -8-D- 8 -y D - & 0 8 -y D - (0 8 y) D - (y 8 0) D - (0) D -Db) - & 0 D b) - & - D ? b) - & - D b) - & ? D ? b) -y D yb) - (yz) D (-y) z b) - 8 yz D (- 8 y) b) (-y) D - 8 b) - (- 8 y) D -

:as variables booleanas ueden tomar varios valores de 0 ?& Ina funcin booleana es una e- resin formada or variables binarias& ,4emploC L0 D -yz ;ara L0 considerar que es igual a 0 siC

- D 0N y D 0 N z D 0N de otra manera L0 D ?& ;or lo tanto tendremos que una funcin booleana tambin uede re resentarse en una tabla de verdad& ;ara re resentar una funcin booleana en una tabla de verdad se necesita una lsit de 7ncombinaciones de 0 y ? de las n variables binarias, y una columna que muestra combinaciones ara las cuales f es igual a 0 ?& -yz ??? ??0 ?0? ?00 0?? 0?0 00? 000 L0 L7 L2 L< ? ? 0 ? ? 0 ? ? 0 ? ? ? 0 0 0 0 0 ? ? 0 ? ? 0 0 0 0 0 0 ? 0 ? 0

L0 D -yz 8 -yz 8 -yz 8 -yz D -y (z8z) 8 -z (y8y) D -y 8 -z L7 D -yz 8 -yz 8 -yz 8 -yz D -z (y8y) 8 -y (z8z) D -z 8 -y L2 D -yz 8 -yz 8 -yz 8 -yz L< D -yz 8 -yz 8 -yz 8 -yz 8 -yz D -y (z8z) 8 -y (z8z) 8 -yz D -y 8 -y 8 -yz D - (y8y) 8 -yz D - 8 -yz

<3<3 Bunciones (ogicas

/anipulacin algebraica /uando una funcin se incrementa con com uertas lgicas, cada literal en la funcin denota una entrada a una com uerta& 0& /ada literal denota la entrada a una com uerta& 7& /ada termino se im lanta con una com uerta& ;or el momento nos limitaremos a la minimizacin or literales& ;or lo cual debe quedar muy claro que en la mani ulacin algebraica no 'ay reglas es ecificas a seguir a que garanticen la res uesta final& ,4emplo5 Reducir las siguientes funciones booleanas& 0& - (-8y) D -- 8 -y D -y 7& -yz 8 -yz 8 -y D -z (y8y) 8 -y D -z 8 -y 2& - 8 -y D (-8-)(-8y) D -8y Complemento de una funcin3 ,l com lemento de una funcin L es L obteniendose or el intercambio de 0s y ?s y de ?s y 0s& ,4emplo5 (A8)8/) D (A8*) ara * D )8/ A & * U A & ()8/) U A & ) &/ (A8)8/868,8L8&&+) (A&)&/&6&,&L&+) :a forma generalizada de 6Jorgan enuncia que el com lemento de una funcin se obtiene del intercambio de los o eradores A#6 y "R y com lementando cada literal&

L0 D (-yz 8 -yz) D (-8y8z & -8y8z) L7 D U - (yz8yz)U D - 8 U - (y8z)&(y8z)U "tra forma ms sim le ara derivar el com lemento de una funcin es tomar el dual de la funcin y com lementar cada literal& Hay que recordar que el cual de una funcin se obtiene or el intercambio de los o eradores A#6 y "R y los 0s y los ?s& ,4emplo5 L0 D -yz 8 -yz el dual5 L0 D (-8y8z) & (-8y8z) :as variables ueden ser normales (-) com lemento (- )& /uando tenemos un con%unto de n variables nosotros odemos formar 7n miniterminos de acuerdo a la siguiente tablaC ;ara nD2 7nK0 combinaciones iniciando a artir de cero&

/ada minitrmino lo obtenemos de un trmino A#6 de las n variables y com lementado cada variable si el nmero binario que re resenta es un ? y no com lementando si es un 0& /ada minitermino se re resenta or m% donde % re resenta el equivalente decimal del nmero binario del minitermino de la misma forma odemos tener los ma-iterminos con las n variables formando un trmino "R ara cada ma-itermino& ,n estas se 'ace la consideracin de que cada variable no com lementada corres onde al bit ? y com lementada al bit 0&

L0D -yz 8 -yz 8 -yz D m08m<8mB L7D -yz 8 -yz 8 -yz 8 -yz D m28m=8m@8mB L0D -yz 8 -yz 8 -yz 8 -yz 8 -yz (L0) D (-8y8z) & (-8y8z) & (-8y8z) & (-8y8z) & (-8y8z) D J? & J7 & J2 & J= & J@ ,l com lemento de una funcin booleana lo odemos obtener al formar miniterminos ara cada combinacin que roduce un cero en la funcin y a licando el o erador "R a esos trminos& :as funciones booleanas e- resadas como una suma de miniterminos o roductos de ma-iterminos se dice que esta en forma cannica&