Sunteți pe pagina 1din 18

Unidad 1

ÁÁLGEBRALGEBRA BOOLEANABOOLEANA

Unidad 1 Á Á LGEBRA LGEBRA BOOLEANA BOOLEANA

AlgebraAlgebra BooleanaBooleana

ll VariablesVariables AnalAnalóógicasgicas

l l Variables Variables Anal Anal ó ó gicas gicas puede puede tomar tomar cualquier cualquier

puedepuede tomartomar

cualquiercualquier valorvalor enen loslos nnúúmerosmeros realesreales

ll VariablesVariables BooleanasBooleanas solosolo tomatoma dosdos

Booleanas Booleanas solo solo toma toma dos dos valores valores Discretos Sistemas de Eventos Sistemas de

valoresvalores

Discretos
Discretos

Sistemas de Eventos

Booleanas solo solo toma toma dos dos valores valores Discretos Sistemas de Eventos Sistemas de Variables

Sistemas de Variables Booleanas

AlgebraAlgebra BooleanaBooleana

ll ValoresValores PosiblesPosibles parapara laslas VariablesVariables BooleanasBooleanas verdaderoverdadero oo falso,falso, 00 óó 11

PropiedadesPropiedades dede laslas variablesvariables BooleanasBooleanas Igualdad:Igualdad: X=YX=Y ComplementareidadComplementareidad:: YY ==XX NOT:NOT: YY == NOTNOT (X)(X) AND:AND: XX == YY ANDAND ZZ OR:OR: XX == YY OROR ZZ XOR:XOR: XX XORXOR YY == XX YY

OR: OR: X X = = Y Y OR OR Z Z XOR: XOR: X X

AlgebraAlgebra BooleanaBooleana

Tabla de la VERDAD

Operación AND

X Y X AND Y 0 0 0 0 1 0 1 0 0 1
X
Y
X
AND Y
0
0
0
0
1
0
1
0
0
1
1
1

Operación OR

X

Y

X

OR Y

0

0

 

0

0

1

 

1

1

0

 

1

1

1

 

1

Operación XOR

X

Y

X

XOR Y

0

0

 

0

0

1

 

1

1

0

 

1

1

1

 

0

AlgebraAlgebra dede BooleBoole::

ProblemaProblema

ll ParaPara queque desciendadescienda elel vváástagostago dede unun cilindrocilindro hidrhidrááulicoulico dede estampadoestampado aa grangran presipresióón,n, eses necesarionecesario queque sese cumplancumplan laslas siguientessiguientes condiciones:condiciones: a)a) lala piezapieza aa estamparestampar debedebe estarestar enen posiciposicióón,n, b)b) unun cilindrocilindro hidrhidrááulicoulico auxiliarauxiliar debedebe tenertener susu vváástagostago extraextraíído,do, dede modomodo queque lala piezapieza estestéé firmementefirmemente sujeta,sujeta, c)c) comocomo medidamedida dede seguridad,seguridad, debedebe haberhaber descendidodescendido unauna rejillarejilla dede protecciproteccióónn deldel operario,operario, d)d) nono debedebe estarestar presionadopresionado elel pulsadorpulsador ddee PARADAPARADA DEDE EMERGENCIA,EMERGENCIA, yy e)e) elel operadoroperador debedebe estarestar presionandopresionando dosdos pulsadores,pulsadores, cadacada unouno concon unauna manomano diferente,diferente, aa finfin dede minimizarminimizar elel riesgoriesgo dede queque introduzcaintroduzca unun miembromiembro enen elel caminocamino deldel cilindrocilindro dede estampado.estampado. DetermineDetermine lala expresiexpresióónn booleanabooleana queque

f

AlgebraAlgebra dede BooleBoole::

ProblemaProblema DefiniciDefinicióónn dede variablesvariables

ll S1S1:: susu salidasalida serseráá 00 sisi lala piezapieza aa estamparestampar nono estestáá enen sitiositio yy 11 sisi lolo estestáá ll S2S2:: susu salidasalida eses 11 cuandocuando elel vváástagostago deldel cilindrocilindro auxiliarauxiliar estestáá totalmentetotalmente extraextraíídodo yy 00 enen casocaso contrario.contrario. ll S3S3:: salidasalida enen 11 cuandocuando lala rejillarejilla estestáá abajoabajo yy 00 cuandocuando no.no. P1P1 yy P2P2 (pulsadores(pulsadores queque debedebe activaractivar elel operador):operador): sussus salidassalidas serseráánn 11 ssóólolo cuandocuando estestéénn presionados.presionados. ll PEPE (pulsador(pulsador dede emergencia):emergencia): 00 sisi nono estestáá presionado,presionado, 11 sisi lolo estestáá

ll

AlgebraAlgebra dede BooleBoole::

ProblemaProblema

SoluciSolucióónn::

XX == S1S1 ANDAND S2S2 ANDAND S3S3 ANDAND (NOT(NOT (PE))(PE)) ANDAND P1P1 ANDAND P2P2

n n : : X X = = S1 S1 AND AND S2 S2 AND AND

SSííntesisntesis dede ExpresionesExpresiones BooleanasBooleanas

ll SOPSOP (del(del inglinglééss SumSum ofof ProductsProducts,, sumasuma dede productos)productos) ll POSPOS (del(del inglinglééss ProductProduct ofof SumsSums,, productoproducto dede sumas)sumas)

of Sums Sums , , producto producto de de sumas) sumas) son formas de expresión lógica

son formas de expresión lógica normalizada para el diseño de sistemas de automatización.

SSííntesisntesis dede ExpresionesExpresiones BooleanasBooleanas

ll ¿¿SOPSOP oo POS?:POS?:

Booleanas Booleanas l l ¿ ¿ SOP SOP o o POS?: POS?: Se Se debe debe

SeSe debedebe emplearemplear aquellaaquella expresiexpresióónn queque contengacontenga elel menormenor nnúúmeromero dede operacionesoperaciones

expresi ó ó n n que que contenga contenga el el menor menor n n ú

SSííntesisntesis dede ExpresionesExpresiones BooleanasBooleanas

ProblemaProblema

ll SeSe tienetiene unun tanquetanque equipadoequipado concon unun detectordetector dede cadacada unouno dede loslos siguientessiguientes tipos:tipos: a)a) termostato,termostato, b)b) presostatopresostato,, yy c)c) flotante,flotante, loslos cualescuales conmutanconmutan dede unun estadoestado OFFOFF aa ONON siempresiempre queque susu variablevariable medidamedida excedaexceda dede ciertocierto llíímite.mite. AdemAdemáás,s, existeexiste unauna bombabomba queque vacvacííaa elel tanque,tanque, lala cualcual eses movidamovida porpor unun motor.motor. LaLa bombabomba debedebe arrancararrancar solamentesolamente parapara laslas siguientessiguientes condiciones:condiciones: a)a) nivelnivel alto,alto, presipresióónn normalnormal yy cualquiercualquier temperatura,temperatura, yy b)b) cualquiercualquier nivel,nivel, presipresióónn altaalta yy cualquiercualquier temperatura.temperatura. EncuentreEncuentre laslas expresionesexpresiones booleanasbooleanas SOPSOP yy POSPOS queque colocancolocan aa lala variablevariable dependientedependiente enen funcifuncióónn dede laslas

que colocan colocan a a la la variable variable dependiente dependiente en en funci funci ó

SSííntesisntesis dede ExpresionesExpresiones BooleanasBooleanas

ProblemaProblema

ll

SeSe

definendefinen

variables:variables:

laslas

M:M: MotorMotor dede lala bomba.bomba. MM == 11 cuandocuando elel motormotor estestáá encendido.encendido. T:T:
M:M: MotorMotor dede lala bomba.bomba. MM == 11
cuandocuando
elel
motormotor
estestáá
encendido.encendido.
T:T: Termostato.Termostato. TT == 11 cuandocuando
lala temperaturatemperatura excedeexcede ciertocierto
llíímite.mite.
P:P: PresostatoPresostato
PP
==
11
sisi
lala
presipresióónn
superasupera
unun
determinadodeterminado valor.valor.
F:F: Flotante.Flotante FF == 11 sisi elel nivelnivel dede

•Se elabora la Tabla de la Verdad

F

P

T

M

0

0

0

0

0

0

1

0

0

1

0

1

0

1

1

1

1

0

0

1

1

0

1

1

1

1

0

1

1

1

1

1

SSííntesisntesis dede ExpresionesExpresiones BooleanasBooleanas

ProblemaProblema

ll FormaForma SOP:SOP:

VV ==

FF

PP

TT

++ FF

PP .T.T ++ FF

P.P.TT ++ FF

PP

TT

ll FormaForma POS:POS:

VV == (F(F ++ PP ++ T)T)

(F(F ++ PP ++TT))

PP

TT

++ FF

PP

TT ++ FF

SSííntesisntesis dede ExpresionesExpresiones BooleanasBooleanas

ll CondiciCondicióónn DonDontt CareCare ElEl valorvalor dede lala variablevariable dependientedependiente parapara ciertasciertas combinacionescombinaciones dede laslas independientesindependientes nono tienetiene ningunaninguna importancia,importancia, debidodebido a:a:

ll

ninguna importancia, importancia, debido debido a: a: l l combinaciones combinaciones particulares particulares de

combinacionescombinaciones particularesparticulares dede laslas entradasentradas queque nono sese presentanpresentan nuncanunca durantedurante lala operacioperacióónn normalnormal deldel sistema,sistema, oo resultaresulta indiferenteindiferente sisi lala salidasalida tomatoma elel valorvalor dede 00 óó 1.1.

ProblemaProblema DontDontcarecare

ll SeSe tienetiene unun tanquetanque dede aguasaguas negrasnegras alal cualcual sese lele hahann instaladoinstalado dosdos detectoresdetectores dede nivel:nivel: F1F1 parapara unun primeprimerr nivelnivel dede alarmaalarma yy F2F2 parapara unun nivelnivel dede emergencia.emergencia. CuandoCuando F1F1 conmutaconmuta dede OFFOFF aa ONON (porque(porque elel nivelnivel dede aguasaguas negrasnegras subisubióó lolo suficiente),suficiente), debedebe encenderseencenderse unun bombillobombillo rojorojo dede alarma.alarma. EnEn cambio,cambio, cuandocuando F2F2 pasepase dede OFFOFF aa ON,ON, debedebe sonarsonar unauna sirena.sirena. ObtengaObtenga laslas formasformas SOPSOP yy POSPOS parapara lala alarmaalarma visualvisual yy lala sonora.sonora.

formas SOP SOP y y POS POS para para la la alarma alarma visual visual y

F2

F2

F1

F1

ProblemaProblema DontDontcarecare

ll DefiniciDefinicióónn dede variables:variables:

R:R: AlarmaAlarma encendida.encendida.

visual.visual. RR

S:S: AlarmaAlarma sonora.sonora. SS == 11 cuandocuando suena.suena. F1F1 yy F2F2 yaya fueronfueron definidas.definidas.

variablesvariables

F1F1

yy

F2F2

(entradas),(entradas),

independientesindependientes

sonson

sonson

mientrasmientras

RR

SS

queque

yy

dependientesdependientes (salidas).(salidas).

==

11 cuandocuando

estestáá

ProblemaProblema DontDontcarecare

Tabla de la Verdad

F1F1

F2F2

RR

SS

 

00

00

00

00

00

11

--

--

11

00

11

00

11

11

00

11

SOP:

R = F1 .F2 S = F1 . F2.

POS:

R = (F1 + F2) . (F1 +F2) y S = (F1 + F2) . (F1 + F2).

SimplificaciSimplificacióónn dede VariablesVariables BooleanasBooleanas

ll TeoremasTeoremas ll DiagramasDiagramas dede KarnaughKarnaugh ll CuandoCuando laslas variablesvariables independientesindependientes involucradasinvolucradas pasanpasan dede cuatrocuatro sese empleaemplea softwaresoftware desarrolladodesarrollado parapara estasestas tareas.tareas. UnoUno dede loslos mmááss conocidosconocidos eses elel EspressoEspresso,, basadobasado enen elel algoritmoalgoritmo dede QuineQuine McCluskeyMcCluskey

Espresso Espresso , , basado basado en en el el algoritmo algoritmo de de Quine Quine