Vous êtes sur la page 1sur 46

AlgebradeBooleysimplificacinde

funcioneslgicas

Captulo4
Contenido
1
1. ExpresionesyoperacionesBooleanas
Expresiones y operaciones Booleanas
2. PropiedadesyReglasdelAlgebradeBoole
3. TeoremasdeDeMorgan
4. Anlisisbooleanodecircuitoslgicos
5. SimplificacinmedianteellgebradeBoole
6
6. FFormasestndardelasexpresiones
t d d l i b l
booleanas
7. MapasdeKarnaugh
8
8. Simplificacin de una SOPs mediante el mapa de
SimplificacindeunaSOPsmedianteelmapade
Karnaugh
9. SimplificacindeunPOSsmedianteelmapade
Karnaugh
ExpresionesyoperacionesBooleanas

Variable:Smboloquerepresenta
magnitudeslgicas.(01).
i d l i ( ) A
Complemento:
Complemento:Inversodelavariable.Se
Inverso de la variable Se
representa A A
Literal:Esunavariableoelcomplemento
de una variable
deunavariable.
Expresiones y operaciones Booleanas
ExpresionesyoperacionesBooleanas
Sumabooleana Multiplicacinbooleana
OR AND
0+0=0 00=0
0+1=1 01=0
1+0=1 10=0
1+1=1 11=1
Propiedades del Algebra de oole
PropiedadesdelAlgebradeBoole

Conmutativa
Asociativa
Distributiva
Di t ib ti
Propiedades del Algebra de Boole
PropiedadesdelAlgebradeBoole
Propiedadconmutativadelasuma:
Propiedad conmutativa de la suma:
A+B=B+A
Propiedades del Algebra de Boole
PropiedadesdelAlgebradeBoole
Propiedadconmutativadelproducto:
A B
A BA
B =B
Propiedades del Algebra de Boole
PropiedadesdelAlgebradeBoole
Asociativadelasuma:
A+(B+C)=(A+B)+C
( ) ( )
Propiedades del Algebra de Boole
PropiedadesdelAlgebradeBoole
Asociativadelproducto:
A(B
( C)=(A
) ( B)
) C
Propiedades del Algebra de Boole
PropiedadesdelAlgebradeBoole
Distributiva:
A(B+C)=AB+AC
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla1

ORTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla2

ORTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla3

ANDTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla4

ANDTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla5

ORTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla6

ORTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla7

ANDTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla8

ANDTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla9
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla 10:A+AB=A
10: A + AB A

A+AB =A(1+B)Leydistributiva
=A1
=A1 Regla2:(1+B)=1
=A Regla4:A1=A AND Truth Table
ANDTruthTable OR Truth Table
ORTruthTable
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla11: A AB A B

A AB (A AB) AB R10 : A A AB
(AA AB) AB R7 : A A.A
AA AB AA AB R8 : Sumar A.A 0
(A A )(A B) Factor comn
1.(A B) R6 : A A 1 AND Truth Table
ANDTruthTable OR Truth Table
ORTruthTable

A B R4 : A.1 A
Reglas del Algebra de Boole
ReglasdelAlgebradeBoole
Regla12:(A+B)(A+C)=A+BC

(A B).( A C) AA AC AB BC distributiva
A AC AB BC R7 : A.A A
A(1 C) AB BC factor comn
A.1 AB BC R2 : 1 C 1
A(1 B) BC factor comn AND Truth Table
ANDTruthTable OR Truth Table
ORTruthTable

A.1 BC R2 : 1 B 1
A BC R4 : A.1 A
Teoremas de DeMorgan
TeoremasdeDeMorgan
Teorema1

XY X Y

Teorema2
X Y XY
Recuerda:
Partelabarra,
cambialaoperacin
Analisis booleano de Circuitos
AnalisisbooleanodeCircuitos
Expresionbooleanaytabladeverdadde
g
uncircuitolgico
ABCD A(B+CD)
00000
00010
00100
..
10100
10111
11001
1 1 0 1
11011
1
11101
11111
Ejemplo
Ejemplo:ConstruccindelaTablade
Verdad a partir de la expresin
Verdadapartirdelaexpresin
i i l i d d
booleana
Uncircuitolgicopuededescribirsemedianteunatabladeverdad.
ibi di bl d d d
Evaluarlaexpresinbooleanaparatodaslasposiblescombinacionesdevaloresde
lasvariablesdeentrada

X
X + Y
Y
Y
(X + Y ) Z
Z
F = ((X + Y)
Y ) Z) + (X
(X Y Z)
Z)
X

X Y Z

Z
Ejemplo
Formasestndardelasexpresiones
Sumadeproductos(SOP) booleanas
Productodesumas(POS)
Ejemplo: X =AB+BCD+AC
Ejemplo:X AB + BCD + AC Ejemplo:X=(A+B)(B+C+D)(A+C)

Para
Para cualquier expresin lgica existe una forma
Paracualquier forma estndar SOPyPOS
formaestndar SOP y POS
equivalente
Se
Sedenominan
denominan formas cannica oestndar
oestndar a
alas
las SOPyPOSen
SOPyPOSenlas
las que
todas las variables
variablesaparecen
aparecen encada
encada uno delos
delosterminos
terminos::
Ejemplo::
Ejemplo
A B CD AB CD ABC D
ConversinSOPsyPOS Tablasde
Verdad
SumadeProductos
S d P d Productodesumas
P d d

ABCXProducto
A B C X Producto ABCXSuma
0000 0000(A+B+C)
0011ABC 0011
0100 0100(A+B+C)
0 1 1 0 (A+B+C)
0110(A+B +C )
0110 1001
1001ABC 1010(A+B+C)
1010 ( )
1100(A+B+C)
1100 1111
1111ABC
X=(A+B+C)(A+B+C)(A+B+C)
X=ABC+ABC+ABC (A+B+C)
(A +B+C )(A
(A+B+C)
+B +C)
Forma estndar o cannica
Formaestndarocannica
Cualquier funcin Booleana se puede expresar como suma de miniterminos
(minterms) o como producto de maxiterminos (maxterms) y a estas formas se les dice
que estn en forma estndar o cannica (el conjunto completo de variables del
dominio est representado en cada trmino ).

F=A,B,C (1, 4, 7) = ABC + ABC + ABC F= A,B,C (0, 2, 3, 5, 6) = (A+B+C)(A+B+C)(A+B+C)(A+B+C)(A+B+C)



Forma cannica y normalizada
Formacannicaynormalizada
Sellamatrminocannicodeunafuncinlgicaatodoproductoosumadeliteralesenloscuales
aparecentodaslavariablesensuformadirectaocomplementada.

Lostrminoscannicosproductorecibenelnombredeminitrminos

Lostrminoscannicossumarecibenelnombredemaxitrminos

UnafuncindeBOOLEestenformacannicacuandoseexpresacomosumademinitrminoso
productodemaxotrminos.

Dosfuncioneslgicassonequivalentessi,ysolosi,susformascannicassonidnticas.

Laexpresinalgebraicaensumadeproductosoproductosdesumasenlaquenotodoslostrminosson
p g p p q
cannicosrecibeelnombredenormalizada
Formacannicadelasumade
productos
d
Lametodologaempleadaenlatransformacin deunasumadeproductosasuforma
cannica se basa en la regla 6, que establece que una variable sumada con su
cannicasebasaenlaregla6,queestablecequeunavariablesumadaconsu
complementoessiempreiguala1;A+A'=1.Lospasossonlossiguientes:
Lostrminosproductoquenocontenganla(s)variable(s)deldominio,multiplicarlosporun
trminoformadopordichavariablemselcomplementodelamisma(regla6).
Repetirelpaso1paratodoslostrminosdelaexpresinquenocontengantodaslasvariables
Repetir el paso 1 para todos los trminos de la expresin que no contengan todas las variables
(osuscomplementos)deldominio.Resolverlostrminosintervenidos.
Ejemplo
ConvertirlaexpresinbooleanaABC'+BC+A' asuformacannica.
El dominio de la expresin es el conjunto de variables A B y C Se observa la falta de formato estndar
EldominiodelaexpresineselconjuntodevariablesA,ByC.Seobservalafaltadeformatoestndar
paraelsegundoytercertrminoproducto.Sobreellosseaplicarelprocedimiento,paraluegovolver
aagrupartodalaexpresin:
TrminoBC
BC=BC(A+A')=ABC+A'BC
TrminoA
A'=A'(C+C')=A'C+A'C';laexpresinannotieneelformatocannico,entoncesmultiplicamoscada
trminopor(B+B')
A'C(B+B')+A'C'(B+B')=A'BC+A'B'C+A'BC'+A'B'C'

ABC'+BC+A' =ABC+A'BC+A'BC+A'B'C+A'BC'+A'B'C
Formacannicadelproductode
sumasdeunproductodesumasasuforma
Lametodologaempleadaenlatransformacin
cannicasebasaenlaregla8,queestablecequeunavariablemultiplicadaporsu
complementoessiempreiguala0;AA'=0.Lospasossonlossiguientes:
l t i i l 0 AA' 0 L l i i t
Lostrminossumaquenocontenganla(s)variable(s)deldominio,sumarlosuntrmino
formadopordichavariableysucomplementosegnregla8.
Aplicarlaregla12:A+BC=(A+B)(A+C)
Repetirelpaso1paratodoslostrminosdelaexpresinquenocontengantodaslasvariables
(osuscomplementos)deldominio.
Ejemplo
Convertirlaexpresinbooleana(A+B+C)(B+C+D)(A+B+C+D)
p ( )( )( ) asuformacannica.
TrminoA+B+C
A+B+C=A+B+C+DD=(A+B+C+D)(A+B+C+D)
TrminoB+C+D
B+C+D=B+C+D+AA=(A+B+C+D)(A+B+C+D)
( )( )

(A+B+C)(B+C+D)(A+B+C+D)=
=(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)
Simplificacinmediantealgebrade
Boole
AB+A(B+C)+B(B+C) Lasimplificacinconsisteen
AB+AB+AC+BB+BC implementarunafuncinconel
AB+AC+B+BC
AB+AC+B menornmerodepuertasposible
B+AC
Mapas deKarnaugh
de Karnaugh

ProporcionanunMtodosistemticodeminimizacinde
expresionesbooleanas
Adecuadamenteaplicadoproporcionaexpresiones
mnimasSOPoPOS
Esunaformaderepresentacinequivalentealatablade
verdad
Eslarecetaqueemplearemoshabitualmente
MtododetrabajoMapas de
Karnaugh
Proporciona un mtodo sistemtico de simplificacin de sentencias booleanas generando
expresiones mnimas (receta de simplificacin)
CARACTERSTICAS
tiles para expresiones de dos, tres, cuatro y cinco variables
Es una matriz de 2n celdas en la que cada una representa un valor binario de las variables de entrada.
entrada
El orden de los valores en filas y columnas es tal que celdas adyacentes difieren nicamente en una varible
La simplificacin de una determinada expresin consiste en agrupar adecuadamente las celdas
Un nmero mayor de variables exige el uso de un mtodo llamado QuineMcClusky

PASOS A SEGUIR
Obtener la funcin lgica en suma de productos cannica
Representar en el mapa de Karnaugh la funcin algebraica o tabla de verdad que se desee
representar
Agrupar
g p unos ((maximizar el tamao de los g grupos
p minimizando el nmero es estos):
)
Un grupo tiene que contener 1, 2, 4, 8 o 16 celdas
Cada celda del grupo tiene que ser adyacente a una o mas celdas del grupo sin necesidad de que todas las
celdas del grupo sean adyacentes entre s.
Incluir siempre en cada grupo el mayor nmero posible de 1s
Cada 1 del mapa tiene que estar incluido en al menos un grupo. Los 1s que ya pertenezcan a un grupo pueden
estar incluidos en otro, siempre que los grupos que se solapen contengan 1s no comunes.
Simplificar:
Eliminar variables que aparecen complementadas y sin complementar dentro del mismo grupo
Mapas de Karnaugh
MapasdeKarnaugh

MapadeKarnaughcon3variables
Ejemplocon3variables
Mapas de Karnaugh
MapasdeKarnaugh

MapadeKarnaughde4variables

Con4variables
Mapas de Karnaugh
MapasdeKarnaugh

MapasdeKarnaughconcincovariables
Mapas de Karnaugh para SOPs no estandares
MapasdeKarnaughparaSOPsnoestandares

A +AB
A + AB+ABC
+ ABC
000100110
001 101
001101
010
011
Simplificacindesumadeproductos
mediantemapasdeKarnaugh(I)
Simplificacindesumadeproductos
mediantemapasdeKarnaugh(II)
Cadagrupodalugarauntermino
Eneltrminonoaparecenlasvariablesqueenlatablaaparecen
l l bl l bl
complementadasynocomplementadas

a)AB+BC+ABC
b)B+AC+AC
c)AB+AC+ABD
d)D+ABC++BC
d)D+ABC
Simplificacindeproductodesumas
mediantemapasdeKarnaugh(I)
Simplificacindeproductodesumas
mediantemapasdeKarnaugh(II)

ConversinentreSOPsyPOSsmedianteelmapadeKarnaugh
Simplificacindesumadeproductos
mediantemapasdeKarnaughconcondicionesindiferentes