Mdi 5

MatemticasDiscretas
UnidadI:LgicayAlgebraBooleana
lgebraBooleana
Ellgebradelasoperacioneslgicas,esconocidaenla
actualidadcomolgebradeBoole.
Ellgebrabooleanaesunsistemaalgebraicocerrado,
compuestopor:
unconjuntoK={0,1}
losoperadoresbinarios:sumabooleana(+oOR)
yelproductobooleano(.oAND)
yeloperadorunariocomplemento(o'oNOT)
MatemticaDiscretasSemestreB2006
lgebraBooleana
Lasumabooleana,sedefinedelasiguienteforma:
0+0=0,0+1=1,1+0=1y1+1=1
Elproductobooleano,sedefinecomo:
0.0=0,0.1=0,1.0=0y1.1=1
Elcomplementobooleano,sedefinepor:
_
_
0=1y1=0
Ordendeprecedencia:primerocomplementos,luego
productosyfinalmente,sumasbooleanas.
lgebraBooleana
Unliteralesunavariablebooleanaounavariable
booleanacomplementada.
Ejemplos:
x,y,z
x',y',z'
x,y,z
RepresentacindeFuncionesBooleanas
SumasdeProductos:
Seconstruyenalsumarproductosbooleanosde
variablesyvariablescomplementadas.
Porejemplo:F(x,y,z)=(x.y.z')+(x.z)+(x'.y.z')
ProductosdeSumas:
Seconstruyenalmultiplicarsumasbooleanasde
variablesyvariablescomplementadas.
Porejemplo:F(x,y,z)=(x+y+z').(x+z).(x'+y+z')
Minitrminos
Dadaslasvariablesbooleanasx1,x2,...,xn,un
minitrminoesunproductobooleanoy1,y2,...,yn,donde
_
cadayi=xioyi=xi.Porlotanto,unminitrminoesun
productodenliteralesconunliteralporcadavariable.
Porejemplo:
Elminitrminoquevale1six1=x4=0yx2=x3=x5=1.y
vale0encualquierotrocasoes:
__
x1x2x3x4x5
FormaNormalDisyuntiva
Siunafuncinbooleanaserepresentacomounasuma
deminitrminos,esunaFormaNormalDisyuntiva
(f.n.d)ounaSumaCannicadeProductos.
Porejemplo:
_
_ _
__ _
F(x,y,z)=(x.yz)+(xyz)+(xyz)+(xyz)
TransformacindeFuncionesBooleanas
aF.N.D
Tcnica1:Usandotablasdeverdad
Seconstruyelatabladeverdadparalafuncin
dada.
Seevalalostrminosenlosquelafuncintiene
valordeverdad1.
Seexpresalafuncincomosumasdeproductos,
usandotodaslasvariablesycomplementandolas
quevalen0.
aF.N.D
Porejemplo:Dadaf(x,y,z)=(x+y)z'hallarlaf.n.d.
x
y
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
(x+y) z'
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
(x+y)z'
1
0
1
0
1
0
1
0
0
0
1
0
1
0
1
0
x'yz'
xy'z'
xyz'
Ahora,f(x,y,z)=x'yz'+xy'z'+xyz'
aF.N.D
Tcnica2:Introduciendotodaslasvariablesfaltantes
Sedesarrollalafuncindada.
Semultiplicacadaproductodevariables,porla
sumadela(s)variablesfaltantescomplementadas
ysincomplementar,paranoalterarlafuncin.
Sesimplificanlostrminos,siesposibleyse
ordenan.
10
aF.N.D
Porejemplo:Dadaf(x,y,z)=(x+y)z'hallarlaf.n.d.
f(x,y,z)=xz'+yz'
=x(y+y')z'+(x+x')yz'
=xyz'+xy'z'+xyz'+x'yz'
=xyz'+xy'z+x'yz'
Ahora,f(x,y,z)=x'yz'+xy'z'+xyz'
11
RepresentacinCompactaparalaF.N.D
Dada una suma de productos de minitrminos, la
representacincompactaconsisteenexpresarf(x,y,z)
como una sumatoria de nmeros decimales, donde
cadanmerodecimalsecalculausandolassiguientes
reglas:
Silavariableaparecesincomplementar,entonces
equivaleaun1.
Silavariableaparececomplementada,entonces
sustituimosporun0.
12
Delasiguientemanera:
Minitrmino NmeroBinario NmeroDecimal Etiquetadelminitrmino
m0
x'y'z
000
x'y'z
001
x'yz'
010
x'yz
011
xy'z'
100
xy'z
101
xyz'
110
m6
xyz'
111
m7
m1
m2
m3
m4
m5
13
Porejemplo:
Dadaf(x,y,z)=x'yz'+xy'z'+xyz'
Entonces:
f(x,y,z)=(010)+(100)+(110)
=(2)+(4)+(6)
=m2+m4+m6
=m(2,4,6)
14
Maxitrminos
Dadaslasvariablesbooleanasx1,x2,...,xn,un
maxitrminoesunasumabooleanadey1,y2,...,yn,
_
dondecadayi=xioyi=xi.Porlotanto,unmaxitrmino
esunasumadenliteralesconunliteralporcada
variable.
Porejemplo:
Elmaxitrminoquevale0six1=x4=0yx2=x3=x5=1.
yvale1encualquierotrocasoes:
___
x1+x2+x3+x4+x5
15
FormaNormalConjuntiva
Siunafuncinbooleanaserepresentacomoun
productodemaxitrminos,esunaFormaNormal
Conjuntiva(f.n.c)ounProductoCannicodeSumas.
Porejemplo:
_
_ _
_ _
F(x,y,z)=(x+y+z).(x+y+z).(x+y+z).(x+y+z)
Laformanormalconjuntivaeseldualdela
formanormaldisyuntiva
16
aF.N.C
Seconstruyelatabladeverdadparalafuncin
dada.
Seevalalostrminosenlosquelafuncintiene
valordeverdad0.
Seexpresalafuncincomoproductosdesumas,
usandotodaslasvariablesycomplementandolas
quevalen1.
17
aF.N.C
Porejemplo:Dadaf(x,y,z)=(x+z').(y+z')hallarlaf.n.c.
x
y
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
z' (x+z') (y+z') f(x,y,z)

0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
1
1
0
1
1
1
0
1
0
1
0
1
1
x+y+z'
x+y'+z'
x'+y+z'
Ahora,f(x,y,z)=(x+y+z').(x+y'+z').(x'+y+z')
18
aF.N.C
Sedesarrollalafuncindada.
Sesumaacadasumadevariables,elproducto
dela(s)variablesfaltantescomplementadasysin
complementar,paranoalterarlafuncin.
Sesimplificanlostrminos,siesposibleyse
ordenan.
19
aF.N.C
Porejemplo:
Dadaf(x,y,z)=(x+z').(y+z')hallarlaf.n.c.
f(x,y,z)=(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')
Ahora,f(x,y,z)=(x+y+z').(x+y'+z').(x'+y+z')
20
RepresentacinCompactaparalaF.N.C
Dado un producto de sumas de maxitrminos, la
representacincompactaconsisteenexpresarf(x,y,z)
como una productoria de nmeros decimales, donde
cadanmerodecimalsecalculausandolassiguientes
reglas:
Silavariableaparecesincomplementar,entonces
equivaleaun0.
Silavariableaparececomplementada,entonces
sustituimosporun1.
21
Delasiguientemanera:
NmeroBinario NmeroDecimal Etiquetadelminitrmino
111
110
101
100
011
010
001
000
0
M7
M6
M5
M4
M3
M2
M1
M0
22
Porejemplo:
Dadaf(x,y,z)=(x+y+z').(x+y'+z').(x'+y+z')
Entonces:
f(x,y,z)=(001).(011).(101)
=(1).(3).(5)
=M1.M3.M5
=M(1,3,5)
23
FuncinBooleana
LosminitrminosyMaxitrminossonduales.
Maxitrminoscorrespondenalos0yminitrminos
correspondenalos1.
y
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
f(x,y,z)
0
1
0
1
0
1
0
1
0
0
1
0
1
0
1
0
f(x,y,z)=m2+m4+m6=m(2,4,6)
f(x,y,z)=M0.M1.M3.M5.M7
=M(0,1,3,5,7)
24

Mdi 5

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Mdi 5

Загружено:

Авторское право:

Доступные форматы

MatemticasDiscretas

z' (x+z') (y+z') f(x,y,z)

Вам также может понравиться