Vous êtes sur la page 1sur 22

1 Algebra Booleana

Algebia Booleana


2013
TransversaldeProgramacinBsica
ProyectoCurriculardeIngenieradeSistemas
2 Algebra Booleana

Introduccin

La herramienta fundamental para el anlisis y diseo de circuitos digitales es el


lgebra Booleana. Esta lgebra es un conjunto de reglas matemticas (similares en
algunosaspectosallgebraconvencional),peroquetienenlavirtuddecorresponder
al comportamiento de circuitos basados en dispositivos de conmutacin
(interruptores,relevadores,transistores,etc).

El Algebra Booleana, es considerada una herramienta que permite en anlisis y el


diseo de circuitos de forma digital. Aunque similar en muchos aspectos al algebra
que conocemos, es el conjunto de unas reglas matemticas que estn sumamente
ligadasalcomportamiento,usoyfuncionamientodecircuitosbasadosendispositivos
detodaclase.

Enestaguasepresentanlospostuladosquedefinenellgebrabooleana,expresando
en forma de teoremas los resultados ms importantes. De igual forma se presentan
tambinlostresejemplosclsicosdelgebrasboolenas(lgicaproposicional,lgebra
de conjuntos, lgebra de switches) y herramientas bsicas como tablas de verdad y
diagramasdeVenn.

1.PostuladosDellgebraBooleana

El lgebra de Boole, fue presentada originalmente por el ingls George Boole, en el


aode1854ensuartculo"AnInvestigationoftheLawsofThoght...",sinembargo,
lasprimerasaplicacionesacircuitosdeconmutacinfuerondesarrolladasporClaude
Shannon en su tesis doctoral "Anlisis simblico de los circuitos de conmutacin y
rels"hasta1938.

AcontinuacinsepresentanlospostuladosfundamentalesdellgebradeBoole


Postulado1.Definicin.Ellgebrabooleanaesunsistemaalgebraicodefinidoenun
conjuntoB,elcualcontienedosomselementosyentreloscualessedefinendos
operacionesdenominadas"sumauoperacinOR"(+)y"productoomultiplicacinu
operacinAND"(),lascualescumplenconlassiguientespropiedades:

a.a=aa+a=a

Postulado 2. Existencia de Neutros. Existen en B el elemento neutro de la suma,


denominado O y el neutro de la multiplicacin, denominado 1, tales que para
cualquierelementoxdes:

x+O=x(b)x.1=x
3 Algebra Booleana

Postulado3.Conmutatividad(la conmutatividad menciona que el orden de los


elementos no afecta el resultado).Paracadax,yenB:

x+y=y+x(b)xy=yx

Postulado4.Asociatividad.Paracadax,y,zenB:

x+(y+z)=(x+y)+z(b)x(yz)=(xy)z

Postulado5.Distributividad.Paracadax,y,zenB:

x+(yz)=(x+y)(x+z)(b)x(y+z)=(xy)+(xz)

Postulado 6. Existencia de Complementos. Para cada x en B existe un elemento


nicodenotadox(tambindenotadox),llamadocomplementodextalque:

x+x=1(b)xx=O

2.OperadoresdeUsoGeneral

EnlgebradeBoole,haycuatrooperadoresdeusogeneral:A(y),v(o),(exclusiva
o), y (negada , no, o complemento). El cuadro a continuacin, resume a los
operadoresboleanos.

Operador Nombre
Tablade
verdad
DiagramadeVenn Descripcin
A y
A B AAB
0 0 0
0 1 0
1 0 0
1 1 1

elA vuelve(1)verdaderosiambos
operandosson(1)verdadero,sino
vuelvefalso(0).Enlamayoradelos
lenguajesdeprogramacin,yse
representaporyo&&.El
operador^representala
exponenciacinenlamayoradelos
lenguajesdeprogramacin.
v o
A B AvB
0 0 0
0 1 1
1 0 1
1 1 1

Elvvuelve(1)verdaderosiuno
ambosoperandosson(1)verdadero,
sinovuelvefalso(0).Enlamayorade
loslenguajesdeprogramacin,ose
representapor|o||.
4 Algebra Booleana
no
A A
0 1
1 0

el vuelve(1)verdaderosiel
operandoesfalso(0),yfalso(0)siel
operandoes(1)verdadero.Enla
mayoradeloslenguajesde
programacinniegueonoes
representadoporlamarcade
exclamacin!.

exclusiva
o
A B AB
0 0 0
0 1 1
1 0 1
1 1 0

Elvuelve(1)verdaderosiunopero
noambosoperandoses(1)verdadero,
sinovuelvefalso(0).Enlamayorade
loslenguajesdeprogramacin,la
exclusivaoseejecutacomollamada
defuncin.


3.ClasesDelgebrasDeBoole

En un principio algunos de los postulados anteriores pueden parecer extraos,


especialmenteaquellosquesondiferentesallgebraconnmero,ypuedeserdifcil
encontrarsituacionesdeintersquecumplanalpiedelaletraconcadaunodeellos,
sin embargo, existen varios ejemplos, de los cuales se presentan los siguientes tres
clsicos, en los cuales se verifica que se trata de lgebras de Boole, es decir, que se
cumplepostuladoporpostulado.

3.1LGEBRADECONJUNTOS

Seencargadedefinirlasoperaciones,reglasypropiedadesquepodemosaplicaralos
conjuntos.Unconjuntoesunaagrupacin,variedad,claseocoleccindeobjetosque
se denominan elementos del conjunto. Por ejemplo, el smbolo S representa un
conjunto, un elemento a pertenece o est contenido en el conjunto S, o lo que es
igual, el conjunto S contendr al elemento a. Un conjunto S se define si dado un
objetoa,sesabeconseguridadqueoaSoa/S(estosignificaque,anopertenece
a S). Un conjunto se representa habitualmente mediante llaves que contienen sus
elementos, ya sea escribiendo todos y cada uno de los elementos, o dando una
frmula,reglaoproposicinquelosdescriba.

Losdiferentestiposdeconjuntos(nombradosconletrasmaysculas)quesepueden
encontrarsonlossiguientes:

ElConjuntouniversalesaquelquecontieneatodoslosconjuntosdelosque
estemosrelacionando.
El elemento de un conjunto, es un objeto Individual que forma parte de ese
conjunto.eA.
Dosconjuntossonigualessiestnformadosporlosmismoselementos.
5 Algebra Booleana
Elconjuntovacoesaquelque notieneningnelemento,yseidentificacon
el siguiente smbolo . Se tiene en cuenta que si no contiene ningn
elemento, no se tiene un conjunto, sin embargo la definicin de conjunto
vacoonulocomotalessumamentetil.
Dado un conjunto A, se llama complementario del mismo, y se representa
por Ac, al conjunto que se forma por los elementos del universo que no son
deA.
Se dice que B es subconjunto de A, y se representa B c A, si todos los
elementosdeBpertenecenaA.SediceentoncestambinqueBseincluyeen
A.
DadosdosconjuntosAyB,sellamaunindeambos,yserepresentaAUB,al
conjuntoformadoporloselementosquepertenecenaAoaB.
Se llama interseccin y se representa A B, al conjunto formado por los
elementosquepertenecenaAyaB.
Si dos conjuntos no tienen elementos comunes, se llaman disjuntos y su
interseccineselconjuntovaco.

3.1.1PropiedadesdelosConjuntos

Paraespecificarestaspropiedades,seconsideraqueelconjuntoBeselconjuntode
todoslosconjuntosatratar

1.Lasumaeslaunindeconjuntos(U)ylamultiplicacineslainterseccin()
deconjuntos.

2. Existencia de neutros. El neutro de la unin es el conjunto vaco F, mientras


queelneutrodelainterseccineselconjuntouniversoU,yaqueparacualquier
conjuntoarbitrarioA,AUF=AyAU=A.

3. Conmutatividad. La unin y la interseccin son conmutativas, ya que para


cualquierpardeconjuntosA,B:AUB=BUAyAB=BA

4.Asociatividad.Launinylainterseccindeconjuntossonasociativas,yaque
paracualesquieratresconjuntosA,B,C:AU(BUC)=(AUB)UCyA(BC)=
(AB)C

5.Distributividad.Launindeconjuntosesdistributivasobrelainterseccin,y
viceversa,lainterseccinesdistributivasobrelaunin,yaqueparacualesquiera
tresconjuntosA,B,C:AU(BC)=(AUB)(AUC)yA(BUC)=(AB)U(A
C)

6. Existencia de complementos. El conjunto complemento A


c
cumple con las
propiedadesdeseadas:
AUA
c
=UyAA
c
=F

6 Algebra Booleana
Acontinuacinsedetallanalgunaspropiedadesdelalgicadeconjuntos:

Algunos de los enunciados anteriores pueden ser difciles de obtener, o recordar,


especialmente la distributividad, por ello, es conveniente tener en cuenta una
herramienta grfica en la cual estos enunciados se vuelven evidentes casi a simple
vista:

3.1.2DiagramasDeVenn

EnlasiguientefigurasemuestrandiagramasdeVennparalosconjuntosA,B,AUBy
AB

7 Algebra Booleana

AcontinuacinsemuestraelconjuntoAysucomplementoA
c
.

Ejemplo. En el siguiente ejemplo se ilustra la manera como pueden usarse los


diagramasdeVennparailustrarcadaunodelospostuladosypropiedadesdellgebra
deconjuntos.Enestecasoseusanparailustrarlapropiedaddedistributividaddela
uninsobrelainterseccin

8 Algebra Booleana
3.2CIRCUITOSDECONMUTACIN

Una aplicacin importante del lgebra booleana es el lgebra de circuitos de


conmutacin. Un conmutador es un dispositivo con dos estados que son cerrado y
abierto y que se denotarn respectivamente 1 y 0. En esta forma, un lgebra de
circuitos de conmutacin no es ms que un lgebra booleana con dos elementos a
saber:0y1.

Para la descripcin de este apartado, el conjunto B es el conjunto de todos los
switchesointerruptores

1. La operacin suma de switches es la conexin en paralelo y la multiplicacin de


switcheseslaconexin enserie,comosemuestraenlasiguientefigura.Losvalores
quepuedentomarlosswitchessonslodos:{ON,OFF}obien,{1,0}.

Sidosconmutadoresoperanentalformaqueseabrenysecierransimultneamente,
sedesignarnconlamismaletra.Sioperanentalformaquecuandounoestabierto
elotroestcerrado,yviceversaentoncessedesignarunodeellosconunaletrayel
otroporsucomplemento.

Un circuito consistente de los conmutadores x e y conectados en paralelo, se


designarporx+y,silosconmutadoresestnconectadosenseriesedesignarnpor
xy. Para cada circuito serie paralelo corresponder una expresin algebraica y
viceversa,talesexpresionesinvolucranlasoperaciones(+),(.),().

2.Existenciadeneutros.Elneutrodelasuma,esuncircuitoabierto(unswitchque
siempre est abierto), mientras que el neutro del producto es un corto circuito (un
switchquesiempreestcerrado)

3. Conmutatividad. Evidentemente las conexiones en serie y en paralelo funcionan


de la misma manera independientemente del orden de colocacin de los switches
queinterconectan.

4. Asociatividad. Las conexiones en serie y en paralelo son asociativas, es decir, al


conectartresswitchesenparalelo,noimportacualparseconecteprimero.Enforma
similarpasaconlaconexindetresswitchesenserie.

9 Algebra Booleana
5.Distributividad.Laconexinserieesdistributivasobrelaconexinenparaleloyla
conexin paralelo es distributiva sobre la conexin en serie, en el sentido que se
ilustraenlafigurasiguiente

Observacin1:Ntesequeenlafiguraanteriorseestsuponiendoqueelswitch
A se puede usar en dos lugares diferentes, esto es posible fsicamente
simplemente construyendo dos switches acoplados mecnicamente de manera
quecuandounoestabiertoelotrotambinloestycuandounoestcerrado,
elotrotambinsecierre.

Observacin 2: Jerarqua de operaciones. En adelante, se utilizar la notacin


algebraicautilizadaenlafiguraanterior,enlacualsesuponequecuandoenuna
misma expresin aparecen sumas y productos sin usar parntesis se realiza
primero el producto y luego la suma. Cuando se quiere alterar este orden de
jerarqua de operaciones se usan parntesis para indicar que la operacin que
estentreparntesissedeberealizarprimero.

6.Existenciadecomplementos.SepuedefabricarunswitchAcomplementodeotro
switch A simplemente acoplando mecnicamente ambos, para que cuando uno se
abraelotrosecierreyviceversa.

3.3LGICAPROPOSICIONAL

Las proposiciones construyen conectividades, las cuales son capaces o tienen la


capacidaddecrearmayoresconectividadesydeformamscompleja.

Para este ejemplo de lgebra de Boole el conjunto B es el conjunto de todos los


enunciadosgramaticales.

10 Algebra Booleana
1.Laoperacinsuma(+)eslaconjuncingramaticalo(OR),lamultiplicacinesla
conjuncin gramatical y (AND) y los valores que puede tomar un enunciado
gramaticalson{falso,verdadero}={F,V}.

Enlasiguientefigurasemuestraunejemploendondeseaclarademaneraprecisa,el
sentidodelasoperacionesORyAND(yaquepuedeserdiferentedelainterpretacin
gramaticalcotidiana),paraelloseintroduceelconceptodetabladeverdad,lacuales
simplementeunatabulacindelosenunciadosytodaslasposiblescombinacionesde
suscorrespondientesvaloresdeverdadofalsedad

Ejemplo.Consideremoslossiguienteslosenunciados:
x="TodoingenieroelectricistadominalaTransformadadeFourier"
y="TodoingenieroelectricistaconocelasnormasISO9000"

Sumalgica:
x+y=xoy=TodoingenieroelectricistadominalaTransformadadeFouriero
conocelasnormasIS09000"

Productolgico:
x.y=xyy="TodoingenieroelectricistadominalatransformadadeFourieryconoce
lasnormasISO9000"

Complemento:
X=nox="notodoingenieroelectricistadominalatransformadadeFourier"
=existealmenosuningenieroelectricistaquenodominalatransformadade
FourierningningenieroelectricistadominalatransformadadeFourier

Tablasdeverdad:

EjemplodeunNeutrodelasuma:
F="Todoingenieroelectricistaespremionoveldeliteratura'

EjemplodeunNeutrodelamultiplicacin:
V="Todoingenieroelectricistaesmayordeedad"

2.Existenciadeneutros.Elneutrodelasuma,esunenunciadoqueevidentemente
siempreesfalso,(verejemplo).Enformasimilar,elneutrodelamultiplicacinesun
enunciadoqueevidentementesiempreesverdadero.

11 Algebra Booleana
3.Conmutatividad.Evidentementelasconjuncionesy,onoalteranelsentidodel
enunciadototal,independientementedelordenenquesontomados.

4.Asociatividad.Lasconjuncionesy,osonasociativas,esdecir,alconectartres
enunciados gramaticales con y o con o no importa cual par de enunciados
evaluemosprimeroparadeterminarsielenunciadototalesverdaderoofalso.

5. Distributividad. La conjuncin y es distributiva sobre la conjuncin o y


viceversa, esto es fcil de probar mediante tablas de verdad, como se muestra a
continuacin:

6. Existencia de complementos. El complemento de un enunciado dado x es


simplementeelenunciadonegadogramaticalmente:noxysedenotax.

Observacin: Es importante tener claro que cuando x es verdadero x es falso, y


viceversa, as, por ejemplo el complemento de todo no es ninguno, sino al
menosunono

4.TeoremasDelAlgebraBooleana

A continuacin se presenta un conjunto de resultados fundamentales; pero basados


enlospostuladosdel1al6presentadosanteriormenteyqueporlotantosonvlidos
para cualquier lgebra de Boole. Estos resultados son presentados a manera de
Teoremas y junto con los seis postulados representan las reglas del juego para
cualquieraquedeseetrabajarconellgebrabooleana.

La manera de demostrar los teoremas siguientes se puede basar en ideas intuitivas


producto de la familiaridad con algn lgebra booleana en particular, (en diagramas
de Venn, o bien, en circuitos con switches o en tablas de verdad) con la nica
condicin de que se respete al pie de la letra los 6 postulados fundamentales. En
estasnotassloseusanrazonamientosbasadosenlosseispostulados.

Antesdepresentarlosteoremasesconvenientemencionarelsiguienteprincipioque
se deriva directamente de la manera en que fueron presentados los seis postulados
fundamentales,esdecir,delhechodequecadapostuladotienedosincisosloscuales
12 Algebra Booleana
son duales uno del otro, o Principio de Dualidad. Si una expresin booleana es
verdadera,suexpresindualtambinloes.

Expresiones duales. Dos expresiones se dicen duales una de la otra, si una se puede
obtenerdelaotracambiandolasoperaciones(+)por(.)yviceversaycambiandolos
O'spor1'syviceversa.

Ejemplo.
La expresin A + B = 1 es dual de la expresin A B = O, Todas las expresiones de los
incisos(a)delospostuladosdellgebrabooleanasondualesdelasexpresionesdelos
incisos(b)correspondientes.

De aqu en adelante, de acuerdo al principio de dualidad


demostrar slo un inciso de los siguientes teoremas y
automticamenteelincisodualquedardemostrado

Teorema1.Multiplicacinporcero
a)A.0=0
b)A+1=1

Demostracindelinciso(a) Explicacin:
A.0=A.0+0 0eselneutrodelasuma
=A.0+A. Aelproductodeunavariableporsucomplementoda
0
=A.(0+A) distributividad
=A.(A) unavariablemselneutronosealtera
=0 unavariableporsucomplementoda0

Notacin.Deaquenadelante,elsmbolodemultiplicacin (.)
seomitirenocacionesporcomodidad,asporejemploA.Bse
escribirAB,obien,(A+B).(C+D)seescribir(A+B)(C+D)siendo
diferentedeA+B.C+D,locualseescribirA+BC+D.

Teorema2.Absorcin
a)A+AB=A
b)A(A+B)=A

Demostrandoelinciso(a) Explicacin:
A+AB=A.1+AB 1eselneutrodelproducto
=A(1+B) distributividad
=A(1) Teorema1
=A eselneutrodelproducto

13 Algebra Booleana
Este teorema se puede usar en diversos casos de simplificacin, basta con usar
identificarenunasuma,unaexpresinqueserepiteprimeroenformaaisladayluego
multiplicandoaotraexpresin

Ejemplos.
LaexpresinXY+XYZporabsorcinesigualaXY
LaexpresinA+ABporabsorcinesigualconA
Etc

Teorema3.Cancelacin
a)A+AB=A+B
b)A(A+B)=AB

Demostracindelinciso(a) Explicacin:
A+AB=(A+A)(A+B) distributividad
=1.(A+B) lasumadeunavariableconsucomplementoes1
=A+B 1eselneutrodelProducto

Esteteoremasepuedeusarenlasimplificacindeexpresionescuandoencontramos
una expresin sumada Con su complemento multiplicado por otra expresin (o el
dual).

Ejemplos:
LaexpresinA+ABCporcancelacinesigualaA+BC
LaexpresinA+ABporcancelacinesigualaA+B
LaexpresinXY+XYZporcancelacinesigualaXY+Z

Teorema4.Cancelacin
a)AB+AB=B
b)(A+B)(A+B)=B

Demostracindelinciso(a) Explicacin:
AB+AB=(A+A)B distributividad
=1.B lasumadeunavariableconsucomplementoes1
=B 1eselneutrodelproducto

Parausaresteresultadohayqueidentificardostrminosquetienenunfactorcomn
yeltrminoquenoescomnenunadeellaseselcomplementodeldelaotra.

Ejemplos:
LaexpresinABC+ABC,porcancelacinesigualaBC
LaexpresinXYZ+(XY)Z,porcancelacinesigualaZ

Teorema5.Idempotencia
a)A.A=A
b)A+A=A
14 Algebra Booleana
La demostracin del inciso (b) de este teorema es inmediata del teorema de
absorcin,yaqueA+A=A+A.1

Este teorema implica que cuando existen trminos semejantes en una expresin,
basta con escribir uno de ellos, o bien, que un trmino puede "desdoblarse" tantas
vecescomosequiera.ObsrvesequetambinestoimplicaqueA
n
=Aparacualquier
nmeronenteropositivo.

Ejemplos:
Laexpresin(X+Y)(X+Y)poridempotenciaesigualaX+Y
LaexpresinXYZXYXporidempotenciaesigualaXYZ
LaexpresinXY+Z+XYporidempotenciaesigualaXY+Z

Teorema6.Consenso
a)AB+AC+BC=AB+AC
b)(A+B)(A+C)(B+C)=(A+B)(A+C)

Demostracindelinciso(a) Explicacin:
AB+AC+BC=AB+AC+BC(A+A) A+Aeselneutrodelamultiplicacin
=AB+AC+ABC+ABC distributividad
=(AB+ABC)+AC+ABC) conmutatividadyasociatividad
=AB+AC absorcin
La clave para usar este teorema es encontrar dos trminos que contengan una
expresin en uno afirmada y en otro negada, anotar los trminos con los que estn
multiplicando uno y otro y buscar otro elemento que sea la multiplicacin de estos
ltimosdos,steltimoelementoeselquesepuedeeliminar.

Ejemplos:
LaexpresinAB+AC+BCporconsensoesigualaAB+AC
LaexpresinXYZ+(XY)W+ZWporconsensoesigualaXYZ+(XY)W

Teorema7.TeoremadeDeMorgan
a)(AB)=(A)+(B)
b)(A+B)=AB

Demostracin del inciso (a): Para demostrar este teorema hay que recordar las dos
propiedadesquecumpleelcomplementoXdeunaexpresinX,esdecir:
i)X+X=1(sumadosnosdauno)
ii)XX=0(multiplicadosnosdacero)

As, para demostrar el inciso (a) se demostrar que A+ B es el complemento de A.B,


paraelloseharendospartes:

i)sumando:
Explicacin:
AB+(A+B)=AB+B+A porconmutatividad
15 Algebra Booleana
=A+B+A porcancelacin
=1+B propiedaddelcomplemento
=1 porTeorema1

ii)multiplicando
Explicacin:
AB(A+B)=ABA+ABB Pordistributividad
=0+0 propiedaddelcomplemento
=0 idempotencia

El teorema de De Morgan se puede generalizar al caso de ms de dos variables


booleanas, por ejemplo, para 3 variables, tenemos que (A+B+C) = (A+B) C = ABC,
en forma similar, (A.B.C) = (A.B)+ C = A+ B+ C , y as sucesivamente para ms de
tresvariables.

Otrosteoremas:Acontinuacinsepresentandosteoremasmssindemostracin,es
unbuenejercicioelintentardichademostracin.

Teorema8.Involucin
a)A=A

Teorema9.Complementosdelosneutros
a)0=1
b)1=0

Elsiguientecuadroresumelosdiferentesteoremas

EquivalenciaLgica
XX Doblenegacin
XXX Idempotencia
X+XX Idempotencia
X+(Y+Z)(X+Y)+Z Leyasociativa
X(YZ)(XY)Z Leyasociativa
(X+Y)(Y+X) Leyconmutativa
(XY)(YX) Leyconmutativa
X+(YZ)(X+Y)(X+Z) Leydistributiva
X(Y+Z)(XY)+(XZ) Leydistributiva
(X+Y)XY LeydeDeMorgan
(XY)X+Y LeydeDeMorgan
X+0X Leydeidentidad
X1X Leydeidentidad
X+11 Leydedominacin
X00 Leydedominacin
16 Algebra Booleana
X+(XY)X Leydecobertura
X(X+Y)X Leydecobertura
XX0 Leydecontradiccin
X+X1 Leydecontradiccin

5.Ejemplosdesimplificacindeexpresionesbooleanas

Los 6 postulados fundamentales, junto con los teoremas anteriores conforman las
herramientas bsicas de simplificacin y manipulacin de expresiones booleanas, a
continuacinseilustrasuusoconalgunosejemplos.

Ejemplo.Simplificarlassiguientesexpresiones

1.A(BC+AC)+BCDistribuyendoelfactorAenelparntesis:
=ABC+AAC+BC,conmutandoyaplicandoidempotencia:
=ABC+BC+AC,usandoabsorcin:
=BC+AC

2.((XY)Z)+XZUsandoelTeoremadeDeMorgan:
=((XY)Z)(XZ),porDeMorgannuevamenteeinvolucin:
=(XY+Z)(X+Z),distribuyendo:
=XYX+XYZ+XZ+ZZ,comoXXescero,yporidempotencia:
=0+XYZ+XZ+Z,porabsorcin:
=Z

3.((X+Y)+YZW)(XY)PorelteoremadeDeMorgan:
=((X+Y).(YZW)).(XY),nuevamente:
=(X+Y).(Y+Z+W).(X+Y),distribuyendoelprimeroconeltercerfactor:
=(XY+XY).(Y+Z+W),distribuyendonuevamente
=(XY+XYZ+XYW+XYZ+XYW,porabsorcin:
=(XY+XYZ+XYW).

6.FuncionesBooleanas

En forma similar a como se define en los cursos de lgebra de nmeros reales, es


posible definir una relacin de dependencia de una variable booleana o variable
lgica con otras variables booleanas independientes. Es decir, es posible definir
funcionesbooleanasofuncioneslgicas.

Definicin.
Sean X1,X2,...,Xn, variables booleanas, es decir, variables que pueden tomar el valor
de0ode1,entonceslaexpresin
Y=f(X1,X2,...,Xn)
17 Algebra Booleana

denota una dependencia funcional de la variable dependiente Y respecto a las


variablesindependientesX1,X2,...,Xn,esdecir,elvalor(0o1)quetomalavariableY
depende de la combinacin de n valores (1s y 0s) que tomen las n variables
X1,X2,...,Xn.

Ejemplo:Lasiguienteesunafuncinbooleana

Y=f(A,B,C)=AB+AC+AC

Esta funcin se puede evaluar para diversos valores de sus variables independientes
A,B,C:

SiA=1,B=0,C=0entoncesY=f(1,0,0)=1.0+0.0+1.1=1,
SiA=1,B=1,C=0entoncesY=f(1,1,0)=1.1+0.0+1.1=1,
SiA=0,B=1,C=0entoncesY=f(0,1,0)=0.1+1.0+0.1=0,etc.

A diferencia de las funciones de variable real, las cuales no pueden representarse


completamente usando una tabla de valores, las funciones booleanas s quedan
totalmenteespecificadasporunatablaqueincluyatodaslasposiblescombinaciones
de valores que pueden tomar las variables independientes, dicha tabla se denomina
tabla de verdad y es completamente equivalente a la expresin booleana, ya que
incluyetodassusposibilidades.

Ejemplo.Lasiguienteeslatabladeverdadparalafuncindelejemploanterior

Engeneralparaunafuncindenvariables,puestoquehaynvariablesycadavariable
tiene dos posibles valores, hay 2
n
maneras de asignar estos valores a las n variables,
aslatabladeverdadtendr2
n
renglones.

Porejemploenelejemploanteriorf(A,B,C)esunafuncinde3variables,porloque
tenemos 2
3
= 8 diferentes combinaciones de las entradas y por lo tanto 8 renglones
delatabladeverdad

18 Algebra Booleana
6.1FuncionesBooleanasDeUnaYDosVariables

Enelcasodefuncionesdevariablerealseraimposibletratardemencionartodaslas
posibles funciones de una o ms variables, sin embargo, en el caso de funciones
booleanas se puede hacer un listado completo de todas y cada una de las funciones
para cierto nmero de variables. a continuacin se hace una lista de stas para los
casosde0,1y2variablesindependientes:

Funcionesdecerovariables.Estassonlasfuncionesconstantesyslohaydos:
f0=0Funcinconstantecero
f1=1Funcinconstanteuno

Funciones de una variable. Adems de las funciones constantes ahora se pueden


definirotrasdos:
f0(A)=0Funcinconstantecero
f1(A)=AFuncinidentidad
f2(A)=AFuncincomplemento,negacin
f3(A)=1Funcinconstanteuno

Funciones de dos variables. En este caso se pueden definir 16 funciones diferentes,


las cuales incluyen las cuatro anteriores y otras doce ms. En la siguiente tabla se
muestra un resumen de las diecisis funciones de dos variables, incluyendo su
nombre,sutabladeverdad,ysuexpresinlgica(booleana).

OBSERVACIN. Ciertamente, las expresiones lgicas que aparecen en la tabla


anterior no son nicas, ya que una misma funcin lgica puede tener diferentes
representacionesalgebraicas.

Ejemplo:Esfcilverque
A/B=AB+AB=(A+B)(A+B)
obien,tambinporejemplo
19 Algebra Booleana
AB=(AB)=AB+AB=(A+B)(A+B)
...etc.

Acontinuacinsepresentaunaalternativagrficaparatrabajarenelanlisisydiseo
defuncionesbooleanasapartirdebloquesfuncionalesqueserepresentanmediante
smboloslgicos.

6.2.SmbolosDePuertasLgicas
Unamanerageneralizadaderepresentarlasfuncioneslgicaseselusodesmboloso
bloqueslgicosdenominadospuertasocompuertaslgicas.Estaspuertasengeneral
representan bloques funcionales que reciben un conjunto de entradas (variables
independientes)yproducenunasalida(variabledependiente)comosemuestraenla
figurasiguiente

Unadelasventajadeusarstossmbolosesqueporserunarepresentacinentrada
/ salida permiten la interconexin de puertas (la salida de una con la entrada de
otra)pararepresentarfuncionesmscomplejasapartirdefuncionessencillas.

Otraventajaeselhechodequelosbloquessencillos(puertasconpocasentradas)se
encuentrandisponiblesencircuitosintegradoscomerciales,deaququeundiagrama
de puertas lgicas corresponde directamente a un diagrama de alambrado de
circuitolgico.

A continuacin se presentan los smbolos para las funciones lgicas ms sencillas,


especialmenteparalaspresentadasenlaseccinanterior.

PUERTAAND
La salida de una compuerta AND es 1 solamente si todas sus entradas son
simultneamente1,delocontrarioes0.

PUERTAOR
20 Algebra Booleana
La salida de una compuerta OR es 1 solamente si todas sus entradas son
simultneamente0,delocontrarioes1.

INVERSOROPUERTANOT
Un inversor es una puerta de solamente una entrada y su salida es el complemento
lgicodelaentrada.

Es decir, cuando a la entrada de una puerta NOT hay un 1 su salida ser 0, y de lo


contrariocuandosuentradaes0,susalidaser1

NAND
Estaesunafuncinlgicacompuesta.SepuedevisualizarcomounacompuertaAND
seguidapor unacompuertaNOTysusalidaes0slocuandotodassusentradasson
simultneamente1.

PUERTANOR
EstaCompuertaesunacombinacindelasfuncionesdeunoperadorORseguidopor
unINVERSOR.LasalidadeunapuertaNORsloser1cuandoambasentradasvalgan
0

21 Algebra Booleana

PUERTAEXOR(OREXCLUSIVO)
LaoperacinEXORsedenotaporelsmbolo,esdecir,AEXORB=AB.Adems,
como se vio antes, A B = A B + A B. La salida de una puerta EXOR ser 1 si sus
entradassondiferentesyser0sisoniguales.

PUERTANOEXOROEQUIVALENCIA(EQU)
La operacin EQU se denota por el smbolo , es decir, A EQU B = A B. Adems,
comosevi antes,A B =A/B =AB +ABLasalidadeuna puertaEQUser 1sisus
entradassonigualesyser0sisondiferentes.

6.3EquivalenciaEntrePuertasLgicas
UsandolgebradeBooleesposibleobtenerunagranvariedaddeequivalenciasentre
smbolos de puertas lgicas y diagramas de alambrado de circuitos lgicos. a
continuacinsemuestransloalgunasequivalenciassencillas:

En forma similar, dado un circuito lgico, empleando lgebra de Boole es posible


obtener la expresin lgica de la funcin que realiza, simplemente escribiendo a la
salidadecadapuertalgicalaexpresincorrespondienteentrminosdelasentradas

22 Algebra Booleana
Ejemplo:

LecturadeProfundizacin:
http://ocw.usal.es/eduCommons/ensenanzas
tecnicas/electronica/contenido/electronica/Tema6_AlgebraBOOLE.pdf
http://eisc.univalle.edu.co/materias/Matematicas_Discretas_1/notes/unidad2/ca
pitulo3/introbool.html

EjerciciosdeAlgebradeBoole

http://www.matematicasypoesia.com.es/ProbBoolePropo/ProbAlgByPPreg.htm
http://www.matematica1.com/2012/03/algebradebooleproblemasresueltos
y.html
http://algebradegeorgeboole.blogspot.com/2011/08/ejerciciosalgebra
boole.html
http://www.sepi.escom.ipn.mx/wps/wcm/connect/E0D84F804A556C5F8F1E8FBC
91D80B4/PROBLEMARIODIGITAL3BCD.PDF?MOD=AJPERES

Imgenes
Lasimgenesfuerontomadasdewww.google.com

Fuentes:

lgebra de Boole. 20090403. Enciclopedia de Todas las Palabras de la


Matemticas. Life is a Story Problem.org.
http://www.allmathwords.org/es/b/booleanalgebra.html.
http://www.virtual.unal.edu.co/cursos/ingenieria/2000477/docs_curso/cont
enido.html
http://www.fismat.umich.mx/~fhernandez/Cursos/Calculo07a/sets_cap3.pdf
http://www2.elo.utfsm.cl/~lsb/elo211/clases/ap4.pdf
http://www.fismat.umich.mx/~fhernandez/Cursos/Calculo07a/sets_cap3.pdf
http://profesores.elo.utfsm.cl/~tarredondo/info/digitalsystems/2
Funciones%20Booleanas.pdf