ALGEBRA DE BOOLE

En1854GeorgeBooleintrodujounanotacinsimblicaparaeltratamientodevariablescuyovalorpodraserverdaderoofalso(variablesbinarias) AsellgebradeBoolenospermitemanipularrelacionesproposicionalesycantidadesbinarias.Aplicadaalastcnicasdigitalesseutilizaparala descripcinydiseodecircuitosmaseconmicos.Lasexpresionesbooleanassernunarepresentacindelafuncinquerealizauncircuito digital.Enestasexpresionesbooleanasseutilizarnlastresoperacionesbsicas(AND,ORNOT)paraconstruirexpresionesmatemticasenlas cualesestosoperadoresmanejanvariablesbooleanas(loquequieredecirvariablesbinarias).

ElementosdellgebradeBoole
NoesobjetodeestecursounanlisisprofundoyformaldelospostuladosyteoremasdelAlgebradeBoole. Lossmboloselementalesson: 0:representativodeFALSO 1:representativodeVERDADERO Lasoperacionesfundamentalesson: ConjuncinuoperacinAND(serepresentacon ) DisyuncinuoperacinOR(serepresentacon+) Complementacin,NegacinuoperacinNOT(serepresentaconunabarrasobrelavariable, ) Lasvariablessonlasproposiciones,queserepresentanosimbolizanporletras

Postulados:
Lospostuladosparalastresoperacionesbsicas,AND,ORYNOT,sonsuficientesparadeducircualquierrelacinbolean. OR 0+0=0 0+1=1 1+0=1 1+1=1 AND 00=0 01=0 10=0 11=1 NOT

Teoremas:
1.Regladelceroylaunidad a)X+0=X b)X+1=1 2.Idempotenciaopotenciasiguales a)X+X=X 3.Complementacin a)X+ =1 4.Involucin b)X =0 c)X1=X d)X0=0

b)XX=X

5.Conmutatividad a)conmutatividaddel+ X+Y=Y+X 6.Asociatividad a)asociatividaddel+ X+(Y+Z)=(X+Y)+Z 7.Distribuitividad a)distribuitividaddel+ X+(YZ)=(X+Y)(X+Z) 8.Leyesdeabsorcin a)X(X+Y)=X b)X( +Y)=XY c) (X+Y)= Y b)distribuitividaddel X(Y+Z)=(XY)+(XZ) b)asociatividaddel X(YZ)=(XY)Z b)conmutatividaddel XY=YX

e)X+XY=X f)X+ Y=X+Y g) +XY= +Y

a)distribuitividaddel+ X+(YZ)=(X+Y)(X+Z) 8.Leyesdeabsorcin a)X(X+Y)=X b)X( +Y)=XY c) (X+Y)= Y d)(X+Y)(X+ )=X 9.TeoremasdeDeMorgan a) b) 10.TeoremasgeneralizadosdeDeMorgan a)

b)distribuitividaddel X(Y+Z)=(XY)+(XZ)

e)X+XY=X f)X+ Y=X+Y g) +XY= +Y h)XY+X =X

c) d)

b)

Dualidad Lospostuladosyteoremaspresentadosanteriormenteestnrepresentadosenpares.Laraznesquecadateoremaposeeloquellamamosun dual.EldualdeunaexpresinseobtieneintercambiandolasocurrenciasdeORporAND,0por1yviceversa..Siunteoremaesvalido,tambin losersudual,Enefectosiguiendoeldualdelademostracindelteorema,seobtienelademostracindeldualdelteorema. Porejemplodadoelpostulado0+0=0seobtieneeldualhaciendo11=1 Problemas 1.Demuestrelas8leyesdeabsorcinutilizandoalgebradeBoole 2.Demuestrelos4TeoremasdeDeMorganutilizandotablasdeverdad EnclaseseutilizaranlospostuladosyteoremasdellgebradeBooleparaminimizarfuncionesbooleanas.Lasimplificacindeestasfunciones conelusodelgebradeBooleesun"arte".Noexisteunalgoritmoqueunopuedaseguirparagarantizarqueelresultadollegueadarlaformamas simpledeexpresinmnima.Comoeneljuegodelajedrez,conlapracticasevaaprendiendoareconocerpatronesquenosguanhacialasolucin. Unapreguntaimportantequetenemosquehacernosesladequeessimplificacin?Unaexpresinconmenosliterales?unaexpresincon menosoperaciones?Larespuestadependedeloquedeseamosoptimizar,velocidad?numerodeinterconexionesentrecompuertas?numero decomponentes? Antesdeprocederadetallarlaformademinimizarexpresionesestudiaremoslasdiferentesrepresentacionesdelasfuncionesbooleanas.
verrespuesta verrespuesta

Representacindefuncionesbooleanas
Existeninfinitasmanerasderepresentarunafuncinbooleana.AsporejemplolafuncinG=X+YZpuedetambinrepresentarsecomoG=X+ X+YZ. Otrasvecessesueleutilizarlaformanegadaoelcomplementodelafuncin.ParaestoessenieganlosliteralesyseintercambianlosANDyOR. _ A+BC _ _ A( B+ C)

Porejemplo,elcomplementode: es:

Elcomplementodeunafuncinnoeslamismafuncin,eslaformanegadadelafuncin. EnellgebradeBooleesfundamentallaexistenciadeunaformaalgebraicaqueproporcioneexplcitamenteelvalordeunafuncinparatodaslas combinacionesdelosvaloresdelasvariables.Esestalaformacannicadelafuncin. Veamosantesalgunosconceptos. Definiciones: Literal:serefiereaunavariableoasucomplemento(porej.A,X, ) terminoproducto:esungrupodeliteralesqueseencuentranrelacionadosentresiporunAND (porej.AB,CA, YZ) terminosuma:esungrupodeliteralesqueseencuentranrelacionadosentresiporunOR (porej.A+B,C+A, +Y+Z) terminonormal:terminoproductooterminosumaenelqueunliteralnoaparecemasdeunavez terminocannico:terminoenelqueseencuentraexactamenteunodecadaunodelosliteralesdelafuncin.Sielterminocannicoesunproducto, sedenominarmintermino.Siesunasumasedenominarmaxtermino, formanormaldeunafuncin:eslaqueest constituidaportrminosnormales.Puedeestarenlaformasumadetrminosproductoso

terminonormal:terminoproductooterminosumaenelqueunliteralnoaparecemasdeunavez terminocannico:terminoenelqueseencuentraexactamenteunodecadaunodelosliteralesdelafuncin.Sielterminocannicoesunproducto, sedenominarmintermino.Siesunasumasedenominarmaxtermino, formanormaldeunafuncin:eslaqueest constituidaportrminosnormales.Puedeestarenlaformasumadetrminosproductoso productosdetrminossumas. formacannicadeunafuncin:esaquellaconstituidaexclusivamenteportrminoscannicosqueaparecenunasolavez. Formacannicadefuncionesbooleanas LaimportanciadelaformacannicaestribaenelhechodeserUNICA.Comovimosanteriormenteunafuncinpuedetenerinfinidadde representaciones,perosolounarepresentacinenformacannica. Existendosformascannicasdeunafuncin:SumaDeProductosoProductodeSumas.(TambindeunamaneramasformalSumade minterminosoProductodemaxterminos) Paraobteneralgebraicamentelaformacannicadeunafuncinpodemosutilizarlosteoremasdeexpansincannica: Teorema1:Paraobtenerlaformacannicadeunafuncinsumadeproductossemultiplicarporunterminodelaforma(X+ )dondefalteun literalparaqueelterminoseacannico. Teorema2:ParaobtenerlaformacannicadeunafuncinproductodesumassesumarunterminodelaformaX dondefalteunliteralpara queelterminoseacannico. Formacannicasumadeproductos: Esaquellaconstituidaexclusivamenteportrminoscannicosproductos(minterminos)sumadosqueaparecenunasolavez. __ __ _ _ Porejemplo:F(X,Y,Z)=XYZ+XYZ+XYZ + X YZ + X YZ Parasimplificarlaescrituraenformadesumacannicadeproductos,seutilizaunanotacinespecial.Acadaminterminoseleasociaunnumero binariodenbitsresultantedeconsiderarcomo0lasvariablescomplementadasycomo1lasvariablesnocomplementadas.Asporejemploel mintermino ZcorrespondeacombinacinX=0,Y=0,Z=1querepresentaelnumerobinario001,cuyovalordecimales1.Aesteminterminolo identificaremosentoncescomom 1. __ __ _ _ Deestaforma,lafuncin:F(X,Y,Z) =XYZ+X YZ+X YZ + X Y Z + X Y Z sepuedeexpresarcomo:F(X,YZ)= Formacannicaproductodesumas: Esaquellaconstituidaexclusivamenteportrminoscannicossumas(maxterminos)multiplicadosqueaparecenunasolavez. PorejemploF(X,Y,Z) _ _ _ = ( X + Y + Z ) ( X + Y + Z ) ( X + Y+ Z ) m(1,4,5,6,7)quequieredecirlasumatoriadelosminterminos1,4,5,6,7

Anlogamentealcasoanterior,podemossimplificarlaexpresindelafuncin,indicandolosmaxterminos.Sinembargo,enestecasosehaceal contrariodeantes.Acadamaxterminoseleasociaunnumerobinariodenbitsresultantedeconsiderarcomo1lasvariablescomplementadasy como0lasvariablesnocomplementadas.Asporejemploelmaxtermino '+Y+ZcorrespondeacombinacinX=1,Y=0,Z=0querepresentael numerobinario100,cuyovalordecimales4.AestemaxterminoloidentificaremosentoncescomoM 4. _ _ _ F(X,Y,Z) = ( X + Y+ Z) ( X + Y+ Z) ( X + Y+ Z) M(0,2,3)quequieredecirelproductodelosmaxterminos0,2,3

Valor XYZ Mintermino decimal 0 1 2 3 4 5 000 001 010 011 100 101 XY Z= m XY Z= m XY Z= m XY Z= m XY Z= m XY Z= m
0 1 2 3 4

Deestaforma,lafuncin:

sepuedeexpresarcomo:F(X,YZ)=

Enresumen,cadaminterminoseasociaconlacombinacindeentrada paralaquelafunci nproduciraun1,ycadamaxt rminoconla combinacinparalaqueproduciraun0. Enlatabladeladerechasemuestranlosminterminosylosmaxterminos asociadosconcadacombinacinenunatabladeverdadde3variables. Deacuerdoconestatablaparadeterminarelterminoproductoosumase hacelosiguiente:paralosminterminoscadavariablenocomplementada seasociaconun1ycadavariablecomplementadaseasociacon0.Para losmaxtrminoslareglaeslainversa.

Maxtermino X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M
0

1 2 3 4

Enlatabladeladerechasemuestranlosminterminosylosmaxterminos asociadosconcadacombinacinenunatabladeverdadde3variables. Deacuerdoconestatablaparadeterminarelterminoproductoosumase hacelosiguiente:paralosminterminoscadavariablenocomplementada seasociaconun1ycadavariablecomplementadaseasociacon0.Para losmaxtrminoslareglaeslainversa.

2 3 4 5 6 7

010 011 100 101 110 111

XY Z= m XY Z= m XY Z= m XY Z= m XY Z= m XY Z= m

2 3 4 5 6 7

X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M X+ Y + Z= M

2 3 4 5 6 7

Ejemplo1.Expreselasiguientefuncincomounasumademinterminos: _ F = X +YZ Haydosformasderesolveresteproblema. Forma1.Sepuedeobtenerlatabladeverdaddelaexpresinyentoncestomarlosminterminos. X Y Z F=X+YZ

0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 minterminos

XY Z

Seevalalafuncinparatodaslascombinacionesysetomanlos minterminosdelatablaparaloscualeslafuncinvale1. __ __ _ _ Larespuestaes:F=XYZ+XYZ+XYZ+ X YZ + X Y Z Otranotacinquepodemosutilizares: F= m(1,4,5,6,7)

XY Z XYZ XYZ XYZ

quequieredecirlasumatoriadelosminterminos1,4,5,6,7

Forma2.Aplicandolosteoremasdeexpansincannicaparalasvariablesfaltantes. _ X + YZ _ _ _ _ X ( Y+ Y ) ( Z + Z ) + YZ ( X + X ) _ _ _ _ _ ( X Y+ X Y ) ( Z + Z ) + YZX + YZX _ _ __ _ __ X YZ+ X YZ+ X YZ+ X YZ + X YZ + X YZ __ __ _ _ X YZ+ X YZ+ X YZ+ X YZ + X YZ Ejemplo2.Expreselasiguientefuncincomounproductodemaxterminos: _ F = X +YZ Denuevo,sepuederesolverconstruyendounatabladeverdadoconmanipulacinalgebraica. Forma1.Seobtienelatabladeverdaddelafuncin.Tomandolosmaxterminosdesdelatabladeverdad,larespuestaes: X Y Z F=X+YZ maxterminos
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 (X+Y+Z)

Seevalalafuncinparatodaslascombinacionesysetomanlos maxterminodelatablaparaloscualeslafuncinvale0. _ _ _ Larespuestaes:F= ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z ) Otranotacinquepodemosutilizares: F= M(0,2,3)

(X+Y+Z) (X+Y+Z)

quequieredecirelproductodelosmaxterminos0,2,3

Forma2.Aplicandoelteoremadeexpansincannica. _ X + YZ _ ( X +Y ) ( X + Z ) _ _ _ ( X + Y+ Z Z ) (X + Z+ YY) _ _ _ _ ( X + Y+ Z ) ( X + Y+ Z ) ( X + Z+ Y) ( X + Z+ Y) _ _ _ _ ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z )

_ ( X +Y ) ( X + Z ) _ _ _ ( X + Y+ Z Z ) (X + Z+ YY) _ _ _ _ ( X + Y+ Z ) ( X + Y+ Z ) ( X + Z+ Y) ( X + Z+ Y) _ _ _ _ ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z ) _ _ _ ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z ) _ _ _ ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z ) Notelasimetraqueexisteentrelasumadeproductosyelproductodesumasdeunaexpresin.Sim ieselminterminoparalacombinacini,yMi eselmaxtermino. mi=Mi Paraconvertirdeunaformacannicaaotraseintercambianlossignos noincluidasellaformaoriginal.Porejemplo: M(2,4,6)= Formanormaldefuncionesbooleanas Otramaneraimportantedeexpresarexpresionesbooleanaseslaformanormal.Tienelamismaestructurabsicasumadeproductosoproducto desumas,peronoserequierequelostrminosseanminterminosomaxterminos. Porejemplo: Lasiguienteesunaformanormalsumadeproductos: __ XY+XYZ Lasiguienteesunaformanormalproductodesumas: _ (Y+X)(X+Z)(Y) Alolargodeestecursolaformaqueseutilizarconpreferenciaserladesumadeproductos. y ysereemplazanlosnmeroscorrespondientesalascombinaciones

m(0,1,3,5,7)

Problemas
1.Dibujelatabladeverdadparacadaunadelassiguientesfunciones: _ __ _ _ _ _ __ 2.F=XY+XZ+XYZ 1.F=ABC+ABD+A+B+CD _ _ _ _ __ _ _ 4.F=AB(C+D)+ABC+CD 5. F = ( X + Y + Z ) ( Y + Z ) 2.Obtengalasformascannicassumadeproductosyproductosdesumaparalasexpresionesanteriores a)utilizandolastablasdeverdad b)utilizandolosteoremasdeexpansincannica. _ _ _ 3.F=(X+Y)(X+Z)(X+Z)

Home Contenido Bibliograf a Evaluaci n Clases Guia Laboratorio Problemarios Notas 2001SandroCostantini