Documente Academic
Documente Profesional
Documente Cultură
Algebia Booleana
2013
TransversaldeProgramacinBsica
ProyectoCurriculardeIngenieradeSistemas
2 Algebra Booleana
Introduccin
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
AcontinuacinsepresentanlospostuladosfundamentalesdellgebradeBoole
Postulado1.Definicin.Ellgebrabooleanaesunsistemaalgebraicodefinidoenun
conjuntoB,elcualcontienedosomselementosyentreloscualessedefinendos
operacionesdenominadas"sumauoperacinOR"(+)y"productoomultiplicacinu
operacinAND"(),lascualescumplenconlassiguientespropiedades:
a.a=aa+a=a
x+O=x(b)x.1=x
3 Algebra Booleana
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)
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
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.
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 Algebra Booleana
Acontinuacinsedetallanalgunaspropiedadesdelalgicadeconjuntos:
3.1.2DiagramasDeVenn
EnlasiguientefigurasemuestrandiagramasdeVennparalosconjuntosA,B,AUBy
AB
7 Algebra Booleana
AcontinuacinsemuestraelconjuntoAysucomplementoA
c
.
8 Algebra Booleana
3.2CIRCUITOSDECONMUTACIN
Sidosconmutadoresoperanentalformaqueseabrenysecierransimultneamente,
sedesignarnconlamismaletra.Sioperanentalformaquecuandounoestabierto
elotroestcerrado,yviceversaentoncessedesignarunodeellosconunaletrayel
otroporsucomplemento.
2.Existenciadeneutros.Elneutrodelasuma,esuncircuitoabierto(unswitchque
siempre est abierto), mientras que el neutro del producto es un corto circuito (un
switchquesiempreestcerrado)
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.
6.Existenciadecomplementos.SepuedefabricarunswitchAcomplementodeotro
switch A simplemente acoplando mecnicamente ambos, para que cuando uno se
abraelotrosecierreyviceversa.
3.3LGICAPROPOSICIONAL
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.
4.TeoremasDelAlgebraBooleana
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.
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)
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
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
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
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.
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
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.
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.
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:
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: