ITInformticadeGestin: EstructurayTecnologadeComputadores

Tema3. lgebradeConmutacin lgebra de Conmutacin

JoaqunOlivaresBueno.2010

Contenidos
1. 1 2. 3. 3 4. 5. 5

lgebradeBoole lgebra de Boole Funcionesbooleanas Puertaslgicas Puertas lgicas Adyacencias Funcionesincompletamenteespecificadas Funciones incompletamente especificadas

Bibliografadeltema

Diseo lgico,LlorisPrieto Diseolgico Lloris Prieto PrincipiosdeDiseodigital,Gajski

2

AxiomasdellgebradeBoole Axiomas del lgebra de Boole

Lospostuladosoaxiomassonlashiptesisdepartidaparadeducir

teoremasypropiedadesdeunaestructuramatemtica. SepuedeconstruirunlgebradeBooleconunconjuntoBdeelementosy dosoperacionesbinariasllamadassumalgica(+)yproductolgico()sise cumplenlossiguientespostulados(Huntington,1904): l l i i t t l d (H ti t 1904 )

Leyesdecomposicininterna. x,y B x+y B;xy B x,y x y ;xy Conmutatividaddelasleyesdecomposicininterna. x,y B x+y=y+x;xy=yx Elementosneutros. 0,1 B/x B,x+0=x;x1=x Distributividaddelasleyesdecomposicininterna. x,y,z B;x+(yz)=(x+y)(x+z) x,y,z B;x(y+z)=(xy)+(xz) Elementoopuestoocomplementario. x B; B/x+=1;x=0 x x

B={0,1}sedicequeellgebradeBooleesbinaria,msconocidacomo 3 lgebradeConmutacin

Principiodedualidad,lgebrayoperaciones Principio de dualidad, lgebra y operaciones

Principiodedualidad:Unaigualdadsemantendrsisecambian p g

todoslos0por1ytodaslas+por,laviceversatambinse cumple Operaciones: p Sumalgica Suma lgica Productolgico Producto lgico Negacin
x 0 0 1 1 y 0 1 0 1 x+y 0 1 1 1 x 0 0 1 1 y 0 1 0 1 xy 0 0 0 1 x 0 1 1 0

DiferenciasentreellgebradeBooleyunlgebracorriente:
1. 2. 3. 4.

Enunlgebracorriente,+noesdistributivasobre x+(yz)(x+y)(x+z) +( ) ( + ) ( + ) Ellgebrabooleananotieneinverso. Ellgebrabooleanaseaplicaaunnmerofinitodeelementos. Enellgebrabooleananoseincluyelaasociativa,yaquese puedededucirapartirdelosaxiomas.

TeoremasdellgebradeBoole Teoremas del lgebra de Boole

Teorema1. Elelementoneutroparalasuma,0,esnico. Elelementoneutroparaelproducto,1,esnico. Teorema2. x B;x+1 1 ; x 0 0 Teorema 2. x B; x + 1 =1;x0=0 Teorema3.01; 0 = 1;1 = 0 Teorema4.xB;x+x=x;xx=x(idempotencia) Teorema5.Elcomplementodecadaelementoesnico. T 5 El l__ t d d l t i Teorema6. x B; x = x Teorema7.x,yB;x+xy=x;x(x+y)=x(absorcin) ,y ; y ; ( y) ( ) Teorema8.x,y,zB;x+[(xy)z]=x;x[(x+y)+z]=x Teorema9.x,y,zB;x+(y+z)=(x+y)+z;x(yz)=(xy)z(asociativa) Teorema10. Teorema 10 x, y B; x + xy = x + y; x( x + y ) = xy ( Teorema11. LeyesdeMorgan: ______ ______

x, y B; x + y = xy; xy = x + y

Funcionesbooleanas Funciones booleanas

Lasfuncionesbooleanasseformanapartirdevariablesbinarias ylosoperadoresbooleanosAND,ORyNOT Sepuedenrepresentardelassiguientesformas: Algebraica Tabladeverdad T bl d d d Numrica Grfica

Funcionesbooleanas:Representacin algebraica l b
Lasfuncionesbooleanasseformanapartirdevariablesbinarias ylosoperadoresbooleanosAND,ORyNOT Seevalaprimerolasexpresionesentreparntesis.NOTse evalaantesqueAND,yANDantesqueOR. Formasderepresentarlanegacin:

F 1 = xy + xyz + x yz F 1 = xy + xy ' z + x' yz

Elnmerodeliteralesytrminosseutilizaparamedirla complejidaddelaexpresionesalgebraicasyelcostedesu implementacin. implementacin Tambinsepuededefinirunafuncinbooleanamedianteuna tabladeverdad,quelistaelvalordelafuncinparacada combinacindesusvariables. combinacin de sus variables

Funcionesbooleanas:Representacin algebraica l b
ObtencindeF1apartirdeF1

F 1 = xy + xyz + x yz

Seniegaenambosladosdelaigualdadysecomienzaa Se niega en ambos lados de la igualdad y se comienza a manipularalgebraicamente:

F 1 = xy + xyz + xyz = xy xyz xyz = ( x + y )( x + y + z )( x + y + z ) = y z + x y + x z

porMorgan porMorgan aplicamosdistributivaydesarrollamos

___

___________________

____ _____ _____

= ( x + x ) y z + x y( z + z ) + x ( y + y) z = x y z + x y z + x y z + x y z
elementoopuesto distributivaeidempotencia

Funcionesbooleanas:Representacin algebraica l b
AdemspodemossimplificarlafuncinF1

F 1 = xy + xyz + x yz

xy + xyz + x yz = xy + xyz + xyz + x yz Absorcin = xy + x( y + y ) z + x yz Distributiva y st but = xy + x1z + x yz Complemento = xy + xz + x yz Identidad = xy + xyz + xz + x yz Absorcin = xy + xz + ( x + x ) yz Distributiva = xy + xz + 1yz Complemento = xy + xz + yz
9

Funcionesbooleanas:Tablasdeverdad Funciones booleanas: Tablas de verdad

TabladeverdaddelafuncinF1ysucomplementada Cuandoelliteralvalga0se negarlavariable,ycuando valga1secolocarlavariable valga 1 se colocar la variable sinnegar.Entoncespodemos construirlafuncincomosuma deproductosdeliterales. Cuandoelliteralvalga1se negarlavariable,ycuando valga0secolocarlavariable sinnegar.Entoncespodemos construirlafuncincomo productodesumasdeliterales.
sumadeproductos

n fila 0 1 2 3 4 5 6 7

x y z 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1

F1 0 0 0 1 0 1 1 1

F1 1 1 1 0 1 0 0 0

F 1 = x yz + xyz + xyz + xyz => F 1 = ( x + y + z )( x + y + z )( x + y + z )( x + y + z )

productodesumas

10

Funcionesbooleanas:Representacin numrica
Trminocannico(TC):trminodeunafuncinenelqueaparecen Trmino cannico (TC): trmino de una funcin en el que aparecen todaslasvariables,negadasosinnegar Minterm:TCenelquelasvariablesseunenmediantelaoperacin p productolgico,cadavariablesecomplementasielvalorasignadoa g p g dichavariablees0,ynosecomplementasielvalorasignadoes1. Laexpresinalgebraicaparacualquierfuncinbooleanasepuede obtenerapartirdesutabladeverdadusandooperadoresORpara combinartodoslosmintrminosparalosquelafuncinvale1. combinar todos los mintrminos para los que la funcin vale 1 Maxterm:TCenelquelasvariablesseunenmediantelaoperacin sumalgica,cadavariablesecomplementasielvalorasignadoadicha variablees1,ynosecomplementasielvalorasignadoes0. variable es 1, y no se complementa si el valor asignado es 0. Laexpresinalgebraicaparacualquierfuncinbooleanasepuede obtenerapartirdesutabladeverdadusandooperadoresANDpara combinartodoslosmaxtrminosparalosquelafuncinvale0.
Cadamaxtrminoeselcomplementodesucorrespondiente ___ ___ mintrmino: mi = Mi ; Mi = mi
11

Funcionesbooleanas:Representacin numrica:mintrminos
Cualquierfuncinboobleanasepuedeexpresarcomosumadesus mintrminos Notacin xyz xyz Mintrminos F1 F1
F1 (x,y,z)= m(3,5,6,7)
m0 m1 m2 m3 m4 m5 m6 m7 000 001 010 011 100 101 110 111 x y z x y z x x y z z x y z x y z x y z y x y z x y z 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0

= x yz + xyz + xyz + xyz

F1(x,y,z)= m(0,1,2,4)

= x y z+x y z+x y z+x y z

Cualquierfuncinbooleanasepuedetransformarensumade mintrminos F 1( x, y, z ) = x + yz = x( y + y )( z + z ) + yz ( x + x ) = xyz + xyz + xyz + x y z + xyz + x yz = x yz + x y z + xyz + xyz + xyz = m3 + m 4 + m5 + m 6 + m 7 = m(3,4,5,6,7)

12

Funcionesbooleanas:Representacin numrica:Maxtrminos
Cualquierfuncinboobleanasepuedeexpresarcomoproductode susmaxtrminos Notacin x y z Maxtrminos F1 F1 F1 (x,y,z)= M(0,1,2,4) M0 000 x+y+z 0 1
= ( x + y + z )( x + y + z )( x + y + z )( x + y + z )
M1 M2 M3 M4 M5 M6 M7 001 010 011 100 101 110 111 x+y+z x y z x+y+z x+y+z x+y+z x+y+z y x+y+z x+y+z 0 0 1 0 1 1 1 1 1 0 1 0 0 0

F1(x,y,z)= M(3,5,6,7)

= ( x + y + z )( x + y + z )( x + y + z )( x + y + z )

Cualquierfuncinbooleanase puedetransformarenproducto demaxtrminos F ( x, y, z ) = x y + xz = (x y + x)(x y + z) distributiva = ( x + x)( y + x)( x + z )( y + z ) = ( x + y )( x + z )( y + z ) = ( x + y + zz )( x + yy + z )( xx + 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 )( x + y + z ) 13 = M 2 M 3 M 4 M 6 = M (2,3,4,6)

Funcionesbooleanas:TeoremadeShanony formanormalizada f l d
TeoremadeShanon:
Todafuncindeconmutacinpuedeexpresarsecomosuma deminterms(paralosquelafuncinvale1)ocomoproducto demaxterms(paralosquelafuncinvale0)

Formanormalizada.
Sumadeproductosoproductodesumas Cadatrminocontienealgunaotodaslasvariablesdelafuncin
F1 = x y z + x y z + x y z + x y z = xy + xz + yz
___

Forma normalizada Forma normalizada mnima F li d i

Cuandountrminonosepuedesimplificarmssedenomina implicanteprimo implicante primo Cuandounmintrminoestincluidoenunsoloimplicanteprimo,se denominaimplicanteprimoesencial p p

14

Funcionesbooleanas:Operadoreslgicos Funciones booleanas: Operadores lgicos

Funcionesbooleanas:
xy 00 01 01 10 11 F0 =0 F1 =xy F2 =xy F3 =x F4 =xy F5 = y =y F6 =xy+xy F7 =x+y F0 0 0 0 0 F1 0 0 0 1 F2 0 0 1 0 F3 0 0 1 1 F4 0 1 0 0 F5 0 1 0 1 F6 0 1 1 0 F7 0 1 1 1 F8 1 0 0 0 F9 1 0 0 1 F10 1 0 1 0 F11 1 0 1 1 F12 1 1 0 0 F13 1 1 0 1 F14 1 1 1 0 F15 1 1 1 1

constantebinaria0 AND(xy) Inhibicin(xperonoy) I hibi i ( ) Transferenciadex Inhibicin(yperonox) Transferenciadey Transferencia de y XOR(xy)(xyperonoambos) OR(xy)

F8 =(x+y) F9 =xy+xy F10 =y F11 =x+y F12 =x F13 = x+y =x +y F14 =(xy) F15 =1

NOR,negadodelaOR XNORoequivalencia(x y) Complementodey C l t d Implicacin(siy,entoncesx) Complementodex Implicacin(six,entoncesy) Implicacin (si x entonces y) NAND,negadodelaAND Constantebianria1

15

Puertaslgicas Puertas lgicas

Larepresentacingrficadefuncionesbooleanasserealiza mediantepuertaslgicas p g

Puertasbsicas:AND,ORyNOT
1 2

Apartirdelaspuertasbsicassepuedeobtenerotrasfunciones:
NAND: NOR: XOR:

XNOR:

16

Puertaslgicas Puertas lgicas

Recordemosnuestraecuacindelapgina9:

F 1 = xy + xyz + x yz = xy + xz + yz
x y z 1 3 2 1 74LS08 2 74LS32 3

1 2 13 74LS11

12 1 3 2 74LS32 F1(1)

74LS04

1 2 13 74LS11

12

74LS04

1 3 2 1 74LS08 2 1 3 2 1 74LS08 2 1 3 2 74LS08 74LS32 3 F1(2) 74LS32 3

17

ConceptodeAdyacencia Concepto de Adyacencia

Dosmintrminosconlasmismasvariablesformanunaadyacenciade1er ordensiambostienenlamismaexpresinsalvoenunavariable,queen d i b ti l i i l i bl unmintrminoaparecercomplementadayenelotrosincomplementar. Unaadyacenciade1erordendenvariables sepuederepresentarincluyendolasn1 variablesquecoincidenenlosdos mintrminos.

x yzu x yzu + x yz u = x yu x yz u 0110 01 0 0100

x yu x yu + x yu = x u x yu 0110 01 0 0100 0 0 00 0
18

Dosadyacenciasde1erordenpueden D d i d 1 d d formarunade2orden

Apartirdeadyacenciasde2ordense puedenconstruiradyacenciasde3er ordeny asenadelante

ConceptodeAdyacencia Concepto de Adyacencia

Manipulacinalgebraicaparasimplificarlafuncinporelmtodode bsquedadeadyacencias

G ( x, y, z , u ) = m(0,2,4,6,9,13,15) = x y zu +x y zu +x y zu +x y zu +x y zu+x y zu+x y zu = xu +x zu+x yu

x y z u x y z u + x y z u = x y u x y zu x y u + x y u = x u x y z u x y z u + x y z u = x y u x y zu x y z u x y z u + x y z u = x z u x y z u x y z u x y z u + x y z u = x y u x y z u
Sepuedehacerundesarrolloparalelopartiendodemaxtrminos
19

Funcionesincompletamenteespecificadas Funciones incompletamente especificadas

xyzu 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0000 0000 0001 0010 0011 0100 0101 0110 0111 1000 1000 1001 1010 1011 1011 1100 1101 1110 1111 F 0 1 1 1 0 0 1 1 0 0 0 1 1 Aquellasenquehayresultadosdelafuncin Aquellas en que hay resultados de la funcin sinespecificar,enesecasoelresultadoes vlidotantosies1comosies0 Especificacincomosumademintrminoso productodemaxtrminos:seaadelalista deindiferencias: F(x,y,z,u)=m(2,3,4,7,8,12,14)+d(0,13,15) F(x,y,z,u)=M(1,5,6,9,10,11)d(0,13,15) Unafuncinconpindiferenciasrepresenta enrealidadunconjuntode2pfunciones f diferentescompletamenteespecificadas. Cualquieradeellassepuedeusarcomo p g expresinalgebraica.
20

Advertencia
Lasdiapositivasdelaasignaturaseconcibencomomaterialdocentepara elprofesor,nocomomaterialdeestudioparaelalumno. Serobjetodeexamentodoaquelconceptodelaasignaturaqueest incluidoenelprogramayquehayasidoexplicadoenclase. incluido en el programa y que haya sido explicado en clase Elhechodequeunconceptonofigureenlasdiapositivasnoeximeal q p fg p alumnodesudeberdeconocerlo,siemprequedichoconceptofigure enelprogramadelaasignaturayhayasidoexplicadoenclase.

21