Álgebra de Boole

6/11/2015
lgebradeBooleWikipedia,laenciclopedialibre
lgebradeBoole
DeWikipedia,laenciclopedialibre
lgebra de Boole (tambin llamada lgebra booleana), en informtica y matemtica es una estructura algebraica que esquematiza las
operaciones lgicas Y, O, NO y SI (AND, OR, NOT, IF)[cita requerida], as como el conjunto de operaciones unin, interseccin y
complemento.
ndice
1 Historia
2 Definicin
2.1 Axiomasnecesarios
2.2 Teoremasfundamentales
2.3 OrdenenellgebradeBoole
2.4 Principiodedualidad
3 OtrasformasdenotacindellgebradeBoole
4 EstructurasalgebraicasquesonlgebradeBoole
4.1 Lgicabinaria
4.1.1 Axiomas
4.1.2 Teoremasfundamentales
4.1.3 OrdenenellgebradeBoole
4.2 lgebradeconjuntos
https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
1/39
6/11/2015
4.2.1 Axiomas
4.3 Lgicaproposicionalodepredicados
4.3.1 Axiomas
5 OperacionesenlgebradeBoole
5.1 Operacionesnularias
5.2 Operacionesunarias
5.3 Operacionesbinarias
6 FrmuladeBoolebienformada
6.1 Jerarquadelosoperadores
7 Vasetambin
8 Referencias
9 Bibliografa
10 Enlacesexternos
Historia
2/39
6/11/2015
Se denomina as en honor a GeorgeBoole(2denoviembrede1815a8dediciembre de 1864), matemtico ingls autodidacta, que fue el

primeroendefinirlacomopartedeunsistemalgico,inicialmenteenunpequeofolleto,TheMathematicalAnalysisofLogic,1publicadoen
1847,enrespuestaaunacontroversiaencursoentreAugustusDeMorganysirWilliamRowanHamilton.EllgebradeBoolefueunintento
deutilizarlastcnicasalgebraicasparatratarexpresionesdelalgicaproposicional.Mstardefueextendidocomounlibromsimportante:
An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities (tambin conocido
comoAnInvestigationoftheLawsofThought2osimplementeTheLawsofThought3),publicadoen1854.
Lasinterpretacionesrespectivasdelossmbolos0y1enelsistemadelgicasonNadayUniverso.
GeorgeBoole4
Enlaactualidad,ellgebradeBooleseaplicadeformageneralizadaenelmbitodeldiseoelectrnico.ClaudeShannonfueelprimeroen
aplicarlaeneldiseodecircuitosdeconmutacinelctricabiestables,en1948.Estalgicasepuedeaplicaradoscampos:
Alanlisis,porqueesunaformaconcretadedescribircomofuncionanloscircuitos.
Aldiseo,yaqueteniendounafuncinaplicamosdichalgebra,parapoderdesarrollarunaimplementacindelafuncin.
Definicin
Dadounconjunto:formadocuandomenosporloselementos:enelquesehadefinido:
Unaoperacinunariainterna,quellamaremoscomplemento:
Enestaoperacindefinimosunaaplicacinque,acadaelementoadeB,leasignaunbdeB.
ParatodoelementoaenB,secumplequeexisteunnicobenB,talquebeselcomplementodea.
Laoperacinbinariainterna,quellamaremossuma:
3/39
6/11/2015
porlaquedefinimosunaaplicacinque,acadaparordenado(a,b)deBporB,leasignauncdeB.
Paratodoparordenado(a,b)enBporB,secumplequeexisteunnicocenB,talqueceselresultadodesumaraconb.
Laoperacinbinariainterna,quellamaremosproducto:
Conloquedefinimosunaaplicacinque,acadaparordenado(a,b)deBporB,leasignauncdeB.
Paratodoparordenado(a,b)enBporB,secumplequeexisteunnicocenB,talqueceselresultadodelproductoayb.
DadaladefinicindellgebradeBoolecomounaestructuraalgebraicagenrica,segnelcasoconcretodequesetrate,lasimbologaylos
nombresdelasoperacionespuedenvariar.
Axiomasnecesarios
Diremosqueesteconjuntoylasoperacionesasdefinidas:
sonunlgebradeboole,sicumplelassiguientesaxiomas:
1a:Laleyasociativadelasuma:
1b:Laleyasociativadelproducto:
2a:Existenciadelelementoneutroparalasuma:
2b:Existenciadelelementoneutroparaelproducto:
4/39
6/11/2015
3a:Laleyconmutativadelasuma:
3b:Laleyconmutativadelproducto:
4a:Leydistributivadelasumarespectoalproducto:
4b:Leydistributivadelproductorespectoalasuma:
5a:Existeelementocomplementoparalasuma:
5b:Existeelementocomplementoparaelproducto:
Teoremasfundamentales
Partiendodeloscincoaxiomasanteriores,sepuedendeducirydemostrarlossiguientesteoremasfundamentales:
6a:Leydeidempotenciaparalasuma:
6b:Leydeidempotenciaparaelproducto:
7a:Leydeabsorcinparalasuma:
5/39
6/11/2015
7b:Leydeabsorcinparaelproducto:
8a:Leydeidentidadparalasuma:
8b:Leydeidentidadparaelproducto:
9:Leydeinvolucin:
10:Leydelcomplemento:
11:LeyesdeDeMorgan:
OrdenenellgebradeBoole
Sea:
unlgebradeBoole,seana,bdoselementosdelconjunto,podremosdecirentoncesqueaantecedeabylodenotamos:
sisecumplealgunadelassiguientescondiciones:
1.
6/39
6/11/2015
2.
3.
4.
Estascuatrocondicionesseconsideranequivalentesyelcumplimientodeunadeellasimplicanecesariamenteelcumplimientodelasdems.
Definiendounconjuntoparcialmenteordenado.
Sisecumpleque:
Paralosvalorasa,bde,quecumplequeaantecedeab,oquebantededeaa,sedicequeaybsoncomparables.
Sisecumpleque:
Paralosvaloresa,bde,quecumplesquaanoantecedeab,yquebnoantededeaa,sedicequeaybsonnocomparables.
Principiodedualidad
Elconceptodedualidadpermiteformalizarestehecho:atodarelacinoleylgicalecorrespondersudual,formadamedianteelintercambio
delosoperadoressumaconlosdeproducto,ydelosconlos.
7/39
6/11/2015
Adicin
Producto
1
2
3
4
5
6
7
8
9
OtrasformasdenotacindellgebradeBoole
EnLgicabinariasesueleemplearlanotacin
derepresentar.
,comnenlatecnologadigital,siendolaformamsusualylamscmoda
PorejemplolasleyesdeDeMorganserepresentanas:
CuandoellgebradeBooleseempleaenelectrnica,sueleemplearselamismadenominacinqueparalaspuertalgicaAND(Y),OR(O)y
NOT (NO), amplindose en ocasiones con XOR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y XNOR (equivalencia). las
variablespuedenrepresentarseconletrasmaysculasominsculas,ypuedentomarlosvalores{0,1}
EmpleandoestanotacinlasleyesdeDeMorganserepresentan:
8/39
6/11/2015
Ensuaplicacinalalgicaseemplealanotacin
{0,1}
ylasvariablespuedentomarlosvalores{F,V},falsooverdadero,equivalentesa
ConlanotacinlgicalasleyesdeDeMorganseranas:
EnelformatodeTeoradeconjuntosellgebradeBooletomaelaspecto:
EnestanotacinlasleyesdeDeMorganseranas:
OtraformaenlalgebradeconjuntosdellgebradeBoole,lasleyesdeDeMorganseranas:
Desdeelpuntodevistaprcticoexisteunaformasimplificadaderepresentarexpresionesbooleanas.Seempleanapstrofos(')paraindicarla
negacin,laoperacinsuma(+)serepresentadelaformanormalenlgebra,yparaelproductonoseempleaningnsigno,lasvariablesse
representan,normalmenteconunaletramayscula,lasucesindedosvariablesindicaelproductoentreellas,nounavariablenombradacon
dosletras.
LarepresentacindelasleyesdeDeMorganconestesistemaquedaraas,conletraminsculasparalasvariables:
yas,empleandoletrasmaysculaspararepresentarlasvariables:
9/39
6/11/2015
Todasestasformasderepresentacinsoncorrectas,seutilizandehecho,ypuedenversealconsultarbibliografa.Lautilizacindeunauotra
notacinnomodificaellgebradeBoole,solosuaspecto,ydependedelaramadelasmatemticasolatecnologaenlaqueseestutilizando
paraemplearunauotranotacin.
EstructurasalgebraicasquesonlgebradeBoole
Hay numerosos casos de distintos anlisis de estructuras algebraicas que corresponden al lgebra de Boole, aunque en apariencia son muy
diferentes,suestructuraeslamisma.Vamosaveralgunosdeellos,conelpropsitodehacerpalpablelassimilitudesenlaestructuraylos
distintosmbitosdeaplicacinydistintaterminologaparareferirsealasoperacionesoalasvariables.
Lgicabinaria
Unaseriedetemas,aparentementetandistintos,tienedoscosasencomn,lalgicabinariabasadaenloscerosylosunosyellgebrade
Boole,posiblementelaformamsconocidadeestelgebra,queenocasionesdalugaralainterpretacinqueellgebradeBooleeslalgica
binariaexclusivamente,aselconjuntoenestecasoestformadopordoselementos{0,1},o{F,V},o{no,s},dosvalorescontrapuestos,que
son las dos posibles alternativas entre dos situaciones posibles, aqu, sin perdida de la generalidad, tomaremos el conjunto: {0,1} como ya
hemosdicho:
Donde:
Laoperacinunariainterna,quellamaremosnegacin:
Laoperacinunariainternanegacin,definimosunaaplicacinqueacadaelementoade{0,1},leasignaunbde{0,1}.
Paratodoelementoaen{0.1},secumplequeexisteunnicoben{0,1},talquebeslanegacindea.Comoseveenlatabla.
Laoperacinbinariainterna,quellamaremossuma:
10/39
6/11/2015
Conlaoperacinsumadefinimosunaaplicacinque,acadaparordenado(a,b)deBporB,leasignauncdeB.
Paratodoparordenado(a,b)enBporB,secumplequeexisteunnicocenB,talqueceselresultadodesumaraconb.
laoperacinbinariainterna,quellamaremosproducto:
Conlaoperacinproductodefinimosunaaplicacinque,acadaparordenado(a,b)deBporB,leasignauncdeB.
Paratodoparordenado(a,b)enBporB,secumplequeexisteunnicocenB,talqueceselresultadodelproductoayb.Comosepuedever
enlatabla.
Axiomas
As
esunlgebradeBoolealcumplirlossiguientesaxiomas:
1a:Laleyasociativadelasuma:
1b:Laleyasociativadelproducto:
2a:Existenciadelelementoneutroparalasuma:
2b:Existenciadelelementoneutroparaelproducto:
11/39
6/11/2015
3a:Laleyconmutativadelasuma:
3b:Laleyconmutativadelproducto:
4a:Leydistributivadelasumarespectoalproducto:
4b:Leydistributivadelproductorespectoalasuma:
5a:Existeelementocomplementarioparalasuma:
5b:Existeelementocomplementarioparaelproducto:
Luego
eslgebradeBoole.
Partiendodeestosaxiomassepuededemostrarlossiguientesteoremas:
6a:Leydeidempotenciaparalasuma:
6b:Leydeidempotenciaparaelproducto:
7a:Leydeabsorcinparalasuma:
12/39
6/11/2015
7b:Leydeabsorcinparaelproducto:
8a:Leydeidentidadparalasuma:
8b:Leydeidentidadparaelproducto:
9:Leydeinvolucin:
11:LeyesdeDeMorgan:
Partiendode
lgebradeBoole,dadasdosvariablesbinarias:a,b,quecumplenalgunadeestascondiciones:
13/39
6/11/2015
entoncesaesmenoroigualqueb.Dadoslosvaloresbinarios0y1,podemosver:
1.
2.
3.
4.
Estas cuatro condiciones son equivalentes y el cumplimiento de una de ellas supone el cumplimiento de las otras, en este caso es sencillo
comprobarlastodas.Luegopodemosdecirque0antecedea1ylodenotamos:
Siademssabemosque0y1sonvaloresdistintos:
Elvalorbinario0esmenorqueelvalorbinario1.
lgebradeconjuntos
Partiendo de un conjunto U, cualesquiera, llamamos conjunto potencia de U, al conjunto de todos los
subconjuntosposiblesdeUylodenotamos
.
Attulodeejemplopodemosconsiderar:
Quetienecomoconjuntopotencia:
14/39
6/11/2015
Dondepodemosdefinir:
Ycomoesobvio:
Laoperacinunariainterna,quellamaremoscomplemento:
Enestaoperacindefinimosunaaplicacinque,acadaelementoAdeP(U),leasignaunBdeP(U).
ParatodoelementoAenP(U),secumplequeexisteunnicoBenP(U),talqueBeselcomplementoA.
Definiendoelcomplementodeunconjuntoas:
BeselcomplementodeA,sisecumplequeparatodoxquepertenezcaaB,xperteneceaUyxnoperteneceaA.
Laprimeraoperacinbinarialallamaremosunin:
Conestaoperacinbinariainternadefinimosunaaplicacinque,acadaparordenado(A,B)deP(U)porP(U),leasignaunCdeP(U).
15/39
6/11/2015
Para todo par ordenado (A,B)enP(U)porP(U), se cumple que existe un nico CenP(U), tal que C es la
uninAyB.
Definiendolaunindedosconjuntoscomo:
ElconjuntoCeslaunindeAyB,siparatodoelementoxdeC,secumplequexeselementodeAodeB
Lasegundaoperacinbinarialallamaremosinterseccin:
Con lo que definimos una aplicacin que, a cada par ordenado (A,B)deP(U)porP(U), le asigna un C de
P(U).
Para todo par ordenado (A,B)enP(U)porP(U), se cumple que existe un nico CenP(U), tal que C es la
interseccinAyB.
Definiendolainterseccindedosconjuntoscomo:
ElconjuntoCeslainterseccindeAyB,siparatodoelementoxdeC,secumplequexeselementodeAydeB.
Axiomas
Conloquepodemosplantear:,paraunUconocido,comolgebradeBoolesicumplelassiguientesaxiomas:
1a:Laleyasociativadelaunin:
1b:Laleyasociativadelainterseccin:
16/39
6/11/2015
2a:Existenciadelelementoneutroparalaunin:
2b:Existenciadelelementoneutroparalainterseccin:
3a:Laleyconmutativadelaunin:
3b:Laleyconmutativadelainterseccin:
4a:Leydistributivadelauninrespectodelainterseccin:
4b:Leydistributivadelainterseccinrespectoalaunin:
5a:Existeelementocomplementarioparalaunin:
5b:Existeelementocomplementarioparalainterseccin:
Concluyendoqueesunlgebradeboole.
6a:Leydeidempotenciaparalaunin:
17/39
6/11/2015
6b:Leydeidempotenciaparalainterseccin:
7a:Leydeabsorcinparalaunin:
7b:Leydeabsorcinparalainterseccin:
8a:Leydeidentidadparalaunin:
8b:Leydeidentidadparalainterseccin:
9:Leydeinvolucin:
11:LeyesdeDeMorgan:
18/39
6/11/2015
DadolgebradeBoole,podemoscomprobar:
1.
2.
3.
4.
ParalosconjuntosAyBquecumplenestaspropiedades,podemosdecirqueAantecedeaB,queenelcasodeconjuntossediraAesigualo
unsubconjuntodeBylodenotamos:
EntendindosequeAesigualounsubconjuntodeBcuando:
ElconjuntoAesigualounsubconjuntodeB,siparatodoelementoxquepertenezcaaA,xperteneceaB.
Tambinsepuedecomprobar:
ParatodoAdelaspartesdeU,sisecumpleque:launindeAyUesU,lainterseccindeAyUesA,launindelcomplementodeAyUes
U,lainterseccindeAyelcomplementodeUeselconjuntovaco,entoncesAesigualounsubconjuntodeU.
Esta conclusin forma parte de la definicin de las partes de U, pero se puede llegar a ella por el cumplimiento de una de las cuatro
condiciones expuestas, como ya se mencion, las cuatro condiciones son equivalentes y el cumplimiento de una de ellas implica el
cumplimientodelasdems.
Aplicandoelmismorazonamientopodemosver:
19/39
6/11/2015
SiendoBunconjuntodelaspartesdeU,llegandoalaconclusindequeelconjuntovacoesigualounsubconjuntodeB.
Lgicaproposicionalodepredicados
Unaproposicin,ounpredicado,esunvalordeverdadquepuedeexpresarsedeformaverbaloconexpresionesorelacionesmatemticao
lgica,porejemplo:
'Hoyesmircoles.'
'Eledificioesalto.'
'Elperroestladrando.'
Sonproposicionesexpresadasverbalmente,ytambinloson:
'x=3'
'mcd(a,b)=2n+1'
Dadoquecadaunadeellaspuedeserverdaderaofalsa,lasproposicionessuelendesignarseconletra:
p='Llueve'
q='Lluevemucho'
r='Llevoparaguas'
s='Lacalleestmojada'
Lasafirmacionesverdaderoyfalsotambinsonproposiciones,designaremoscon:alconjuntodeproposiciones,afindeverquelalgicade
proposicionesesunlgebradeBoole,ademsconsideraremos:
Laoperacinunariainterna,quellamaremosnegacin:
20/39
6/11/2015
Laoperacinunariainternanegacin,definimosunaaplicacinqueacadaproposicina,leasignaotrapoposicinb.
Paratodaproposicina,secumplequeexisteunanicaproposicinb,talquebeslanegacindea.
Laprimeraoperacinbinariainterna,quellamaremosdisyuncin:
Conlaoperacindisyuncin,definimosunaaplicacinqueacadaparordenado(a,b)deBporB,leasignauncdeB.
Paratodoparordenado(a,b)enBporB,secumplequeexisteunnicocenB,talqueceselresultadodeladisyuncindeayb.
Lasegundaoperacinbinariainterna,quellamaremosconjuncin:
Conlaoperacinconjuncindefinimosunaaplicacinque,acadaparordenado(a,b)deBporB,leasignauncdeB.
Paratodoparordenado(a,b)enBporB,secumplequeexisteunnicocenB,talqueceselresultadodelaconjuncindeayb.
Axiomas
As
esunlgebradeBoolealcumplelossiguientesaxiomas:
1a:Laleyasociativadeladisyuncin:
21/39
6/11/2015
1b:Laleyasociativadelaconjuncin:
2a:Existenciadelelementoneutroparaladisyuncin:
2b:Existenciadelelementoneutroparalaconjuncin:
3a:Laleyconmutativadeladisyuncin:
3b:Laleyconmutativadelaconjuncin:
4a:Leydistributivadeladisyuncinrespectoalaconjuncin:
4b:Leydistributivadelaconjuncinrespectoaldisyuncin:
5a:Existeelementocomplementarioparaladisyuncin:
5b:Existeelementocomplementarioparalaconjuncin:
Luego
eslgebradeboole.
22/39
6/11/2015
6a:Leydeidempotenciaparaladisyuncin:
6b:Leydeidempotenciaparalaconjuncin:
7a:Leydeabsorcinparaladisyuncin:
7b:Leydeabsorcinparalaconjuncin:
8a:Leydeidentidadparaladisyuncin:
8b:Leydeidentidadparalaconjuncin:
9:Leydeinvolucin:
10:Leydecomplemento:
11:LeyesdeDeMorgan:
23/39
6/11/2015
Sabiendoque
eslgebradeBoole,sepuedecomprobarque:
1.
2.
3.
4.
Paralasproposiciones:a,bquecumplenalgunadeestascondicionessepuedeafirmarqueaantecedeab.Queenelcasodeproposicioneso
predicadossedicequeaestantoomsfuertequeb,oquebesmsdbilquea,ylorepresentamos:
Asporejemplodadaslasproposiciones:
a=Lluevemucho
b=Llueve
podemosver:
Si:lluevemuchoollueveentoncesllueve.
Sisedalacircunstanciadecualesquieradedos,quelluevemuchoollueve,claramentellueveencualquiercaso.
Si:lluevemuchoyllueveentonceslluevemucho.
Siafirmamosquelluevemuchoyquellueve,ysecumplenlasdoscircunstanciasentoncesesquelluevemucho.
24/39
6/11/2015
Si:nolluevemuchoollueveesverdadero.
Nolluevemuchoindicaquepuedequelluevapocooquenollueva,sinolluevemuchoollueveabarcatodaslasposibilidades,desdetiempo
secoamuylluvioso,luegolaafirmacinesverdaderaentodocaso.
Si:lluevemuchoynollueveesfalso.
Siafirmamosquelluevemuchoysimultneamentequenollueve,laafirmacinesclaramentefalsa.
Laafirmacinmsrestrictivaeslamsfuerteylamenosrestrictivalamsdbil,enestecaso:
Laproposicinlluevemuchoestantoomsfuertequellueve,laafirmacinlluevemuchoesuncasoparticularoelmismocasodellueve.
OperacionesenlgebradeBoole
EllgebradeBoolesebasaenunconjuntoenelquesehandefinidostresoperacionesinternas:unaunariaydosbinarias,comoyahemos
visto,siendocmodaestadefinicin.Estrictamentehablandosolosonnecesariasdos,launariayunadelasbinarias,as,porejemplo,enla
lgicabinariaconlanegacinyelproductopodemosdefinirlasuma.
ConlaleydeDeMorgan:
Estaexpresinresultamscompleja,peropartiendodelanegacinyelproductobinariosdefinela
sumabinaria.
En la imagen de la derecha podemos ver un circuito en paralelo de dos pulsadores a y b, que
correspondealasumabinariadeayb,ysuequivalenteenuncircuitoenseriedeayb,losdosdan
comoresultadolamismatabladeverdad,yportantosonequivalentes,loartificiosoelcircuitoserie
paraobtenerelmismoresultadoqueenuncircuitoparalelodejaverloconvenientedeconsiderar
esafuncin,laposibilidaddeobtenerlasumadedosvariablesbinariasmediantelanegacinyel
25/39
6/11/2015
productosealanque,deformaprimaria,ellgebradeBoolesebasasoloendosoperaciones,yque
cualquierexpresinenlaqueintervengalasumapuedetransformarseenotraequivalenteenlaque
solointervienenlanegacinyelproducto.
Enelcasodelateoradeconjuntosconelcomplementoylainterseccinpodemosdefinirlaunin:
Deunaformasimilarallgebrabinaria,ocualquierotralgebradeBoole,Ladefinicindellgebraconsolodosoperacionescomplicalas
expresiones,peropermitedeterminarciertasrelacionesmuytiles,ascomootrasoperacionesdistintas.
EnellgebradeBooledefinidoenunconjuntolasoperacionessoninternas,dadoquepartedeelementode,paraobtenerunresultadoen.
Sinperdidadelageneralidad,ydadolosdistintosformasquepuedeadoptarellgebradeBooleconsideraremoslalgicaproposicionalcon
lasproposiciones:a,c,b,etc.Quepuedentomarlosvaloresverdadero:Vofalso:F.Ylasconectivaslgicassobreesasproposicionesquedan
comoresultadootrasproposicioneslgicas,cadaproposicin:a,b,c,etc.DefineunconjuntoA,B,C,etc.Quepodemosrepresentardeforma
grficaenundiagramadeVenn.
Operacionesnularias
Unaoperacinnulariaeslaquedevuelveunvalorsinnecesidaddeargumentos,podemosvertautologaycontradiccin
Latautologapresentaelvalorverdaderosinnecesidaddeargumentosoindependientementedelas
variablessobrelaquesecalcule.Enteoradeconjuntoscorrespondealconjuntouniversal.
Enlgicaproposicionalcorrespondealvalor:verdadero:
Enuncircuitodeconmutacincorrespondeaunaconexinfijaopuentecerrado.
26/39
6/11/2015
La contradiccin, por el contrario, presenta siempre el valor falso, sin necesitar argumentos o
independientementedelosargumentospresentados.Enteoradeconjuntoscorrespondealconjuntovaco.
Enlgicaproposicionalcorrespondealvalor:falso:
Enuncircuitodeconmutacin,correspondealanoconexinopuenteabierto.
Operacionesunarias
Unaoperacinunaria es la que solo necesita un argumento para presentar un resultado, podemos ver dos operaciones unarias: identidad y
negacin.
Laoperacinidentidaddeunaproposicinpresentaelvalordelavariacin.
27/39
6/11/2015
EstaoperacinsepuedehacerconeldispositivoelectrnicoBufferamplificador.
Enuncircuitodeconmutacincorrespondeauninterruptornormalmenteabierto:InterruptorNA.
La operacin negacin lgica de una variable presenta el valor contrario del argumento, o los
casoscontrariosdelosrecogidosenelargumento.
EstaoperacinsehaceconlaPuertaNOT.
Enuncircuitodeconmutacincorrespondeauninterruptornormalmentecerrado:InterruptorNC.
28/39
6/11/2015
Operacionesbinarias
La operacin binaria es la que necesita dos argumentos, de hecho es la forma ms generalizada de operacin, normalmente cuando nos
referimosaoperaciones,nosreferimosaoperacionesbinarias,enellgebradeBoolepodemosverlassiguientesoperacionesbinarias:
La conjuncin lgica presenta resultado verdadero solo cuando sus dos argumentos son
verdaderos.
Normalmenterepresentado:
La conjuncin lgica de proposiciones es equivalente a la interseccin de conjuntos en

teoradeconjuntos,oalapuertalgicaAND:
encircuitosdeconmutacinseriauncircuitoenseriedeinterruptores.
29/39
6/11/2015
LaNegacinalternativa presenta resultado verdadero en todos los casos excepto cuando

susdosargumentossonverdaderos.Estaoperacineslanegacindelaconjuncin.
LaconjuncinlgicadeproposicionesesequivalentealapuertalgicaNAND.
Ladisyuncinlgicaaceptadosargumentospresentandocomoresultadoverdaderosiuno
uotrodelosargumentosesverdadero.
Ladisyuncinpuedeexpresarse:
Laoperacindisyuncinlgicadeproposiciones,esequivalentealaunindeconjuntos
enteoradeconjuntos,alapuertalgicaOR:
yalcircuitoenparaleloencircuitosdeconmutacin
30/39
6/11/2015
Lanegacinconjunta presenta resultado verdadero solo cuando sus dos argumentos son
falsos.Estaoperacineslanegacindeladisyuncin.
LanegacinconjuntadeproposicionesesequivalentealapuertalgicaNOR.
Lacondicionalmaterialpresentaresultadofalsosielprimerargumentoesverdaderoyel
segundofalso,enelrestodeloscasospresentaresultadoverdadero,estaoperacinnoes
conmutativaypuedeexpresarse:
Aestaoperacintambinsellamaimplicacin:aimplicab:
siaesverdaderobesverdadero.
siaesfalsoybesverdadero,laimplicacinesfalsa.
31/39
6/11/2015
siaesfalsa,laimplicacinesverdaderaindependientementeelvalordeb.
Aestaoperacinlecorrespondeunconjuntodepuertaslgicascomplejas:
Lanegacincondicionalmaterialpresentaresultadoverdaderosielprimerargumentoes
verdadero y el segundo falso, en el resto de los casos presenta resultado falso, esta
operacinnoesconmutativayeslanegacindelacondicionalmaterial,tambinsuele
llamarsediferenciadeayb,puedeexpresarse:
32/39
6/11/2015
LaCondicionalmaterialinversaeslaoperacinquepresentaresultadofalsosielprimerargumentoesfalsoy
elsegundoverdadero,enelrestodeloscasospresentaresultadoverdadero,estaoperacinnoesconmutativa
yeselresultadodepermutaraybenlacondicionalmaterial,puedeexpresarse:
La negacin condicional material inverso presenta resultado verdadero si el primer

argumento es falso y el segundo verdadero, en el resto de los casos presenta resultado
falso, esta operacin no es conmutativa y es la negacin de la condicional inverso,
tambinsuelellamarsediferencia:ba,puedeexpresarse:
33/39
6/11/2015
Labicondicionalpresentaresultadoverdaderosilosdosargumentossoniguales,estoes:
siaybsonverdaderososiaybsonfalsos.
LecorrespondelaPuertaXNOR.
Ladisyuncinexclusivapresentaresultadoverdaderosilosdosargumentossondispares,estoessidelosdos
argumentosunoesverdaderoyotrofalso,eslanegacindelabicondicional:
Estaoperacintambinsellamaoexclusivo,unooelotroperonolosdos,lecorrespondelapuertalgica:
XOR.
34/39
6/11/2015
FrmuladeBoolebienformada
Partiendodeunconjunto:ydondea,b,c,d,...sonvariablesoconstantesquepuedentomarvaloresdelconjunto,dondesehandefinidolas
siguientesoperacionesinternas:
podemosdecirquesonfrmulasbienformadas:fbf:
1:Unavariableoconstante:
35/39
6/11/2015
2:Lanegacindeunavariableoconstante:
3:Laoperacinbinariaentredosvariablesoconstantes:
4:Elresultadodesustituirenunafrmulabienformada,unavariableoconstanteporunafrmulabienformada:
Laaplicacinrepetidadeestoscriteriosdarsiempreunafrmulabienformada.
ejemplo:
Sepodrnempleartantosparntesiscomoseannecesariosparaevitarambigedades,evitandosiemprelautilizacinsuperfluadeparntesis.
Jerarquadelosoperadores
Al evaluar una expresin booleana, deben realizarse las operaciones de acuerdo con su nivel jerrquico, realizando primero la de mayor
jerarqua.Siexistenparntesis,debenresolverseprimerolosmsinternosytrabajarhaciafuera.Enausenciadeparntesis,lajerarquadelas
operacioneses,demayoramenor,lasiguiente:
1.
2.
3.
Sisetienenvariasoperacionesconlamismajerarqua,staspuedenserevaluadasdederechaaizquierdaodeizquierdaaderecha,elresultado
serelmismo.
Comoejemplo,considreselaevaluacindelassiguientesexpresionesbooleanas:
36/39
6/11/2015
Vasetambin
Funcinbooleana
FormasCannicas(lgebradeBoole)
Circuitosdeconmutacin
Lgicabinaria
Puertalgica
Sistemadigital
Tabladeverdad
Operadoraniveldebits
Referencias
1. Boole,GeorgeRequenaManzano,Esteban:tr.(1de1984).Elanlisismatemticodelalgica(2edicin).EdicionesCtedra,S.A. ISBN97884376
02080.
2. Boole,George(2003)[1854].AnInvestigationoftheLawsofThought.PrometheusBooks.ISBN9781591020899.
3. Boole,GeorgeSurezHernndez,JosAntonio:tr.(3de1982).Investigacinsobrelasleyesdelpensamiento(1edicin).EdicionesParaninfo.S.A.
ISBN9788428311687.
4. Elmatemticoqueinventhacemsde150aoscmobuscarenGoogle(http://www.lanacion.com.ar/1761359elmatematicoqueinventohacemas
de150anoscomobuscarengoogle).Consultadoel20deenerode2015.
Bibliografa
1. AYRES,Frank.McGrawHill.SerieSchaum,ed.lgebraModerna(1994edicin).ISBN9684229178.
2. GonzlezCarlomn,Antonio.UniversidaddeOviedo.ServiciodePublicaciones,ed.Retculo completode Boole, lgica matemtica,
teoradeconjuntos(2006edicin).ISBN8483175347.
3. Garca Zubia, Javier Sanz Martnez, Jess Sotomayor Basilio, Borja. Universidad de Deusto. Departamento de Publicaciones, ed.
BooleDeustov2.1entornodediseolgico(2005edicin).ISBN8474859735.
4. GimnezPradales,JosMiguel.UniversidadPolitcnicadeCatalua.DepartamentodeMatemticaAplicadaIII,ed.lgebradeBoole
paraingenieratcnica(2004edicin).ISBN8493345105.
37/39
6/11/2015
5. Garca Zubia, Javier Sanz Martnez, Jess Sotomayor Basilio, Borja. Universidad de Deusto. Departamento de Publicaciones, ed.
BooleDeustoentornodediseolgico(2004edicin).ISBN8474859298.
6. Gins Gmez, Jos Carlos. Gines Gmez, Jos Carlos, ed. Puertas lgicas y lgebra de Boole, electrnica digital tcnica de
telecomunicacin(1998edicin).ISBN8460795187.
7. MontesLozano,Antoni.EditorialUOC,S.L.,ed.lgebrasdeBoole(2002edicin).ISBN8484299791.
8. MontesLozano,Antoni.EditorialUOC,S.L.,ed.lgebrasdeBoole(2002edicin).ISBN8484299260.
9. GonzlezCarlomn,Antonio.UniversidaddeOviedo.ServiciodePublicaciones,ed.RetculocompletodeBoole.Lgicamatemtica
teoradeconjuntos(2001edicin).ISBN848317264X.
10. TienaSalva,Francesc.EditorialUOC,S.L.,ed.lgebresdeBoole(gesti)(1998edicin).ISBN8483185822.
11. TienaSalva,Francesc.EditorialUOC,S.L.,ed.lgebresdeBoole(1998edicin).ISBN8483186144.
12. Permingeat,NoelGlaude,Denis.EditorialVicensVives,S.A.,ed.lgebradeBoole(1993edicin).ISBN8431632941.
13. MasipBruin,XavierRomnJimnez,JosAntonioSnchezLpez,Sergio.EdicionesUPC,S.L.,ed.lgebradeBooleyfunciones
lgicas(1996edicin).ISBN8489636206.
14. JaneIhnsa,Ignacio.UniversidaddeBarcelona.PublicacionesyEdiciones,ed.lgebrasdeBooleylgica(1989edicin). ISBN847875
0401.
15. Casanova,Gastn.EditorialTecnos,ed.EllgebradeBoole(1975edicin).ISBN8430905804.
16. MartnezGarza,JaimeOlveraRodrguez.Organizacinyarquitecturadecomputadoras(2000edicin).ISBN9684444176.
Enlacesexternos
WikimediaCommonsalbergacontenidomultimediasobrelgebradeBoole.
lgebradeBooleDefinicin(ftp://ftp.ehu.es/cidira/dptos/depjt/Apuntes/Electronica%20digital/Algebra%20de%20conmut.pdf)
lgebradeBooleypuertaslgicas(http://apuntes.rincondelvago.com/algebradebooleypuertaslogicas.html)
Tema5:lgebradeBooleyFuncionesLgicas(http://arantxa.ii.uam.es/~ig/teoria/temas/IG_tema520082009.pdf)
lgebradeBoole(http://electronred.iespana.es/alg_boole.htm)
lgebraBooleana(http://lc.fie.umich.mx/~jrincon/elec3cap4.pdf)
TEMA
6.
LGEBRA
DE
BOOLE
(http://ocw.usal.es/eduCommons/ensenanzas
tecnicas/electronica/contenido/electronica/Tema6_AlgebraBOOLE.pdf)
BOOLEDEUSTOSWdidctico:Tablasdeverdad,VK,autmatas...(http://paginaspersonales.deusto.es/zubia)
lgebradeBoole(http://serbal.pntic.mec.es/~cmunoz11/boole.pdf)
lgebradeBoole(http://users.dcc.uchile.cl/~clgutier/Capitulo_3.pdf)
lgebradeBoole(http://usuarios.lycos.es/bnunez/Archivos%20propios/Digitales/Algebra_Boole.pdf)
lgebradeBooleyDiseodeComputadoras(PDF)(http://www.box.net/shared/db3n75vgfg)
CursoCompletodeElectrnicaDigital(http://www.edudevices.com.ar/download/articulos/digitales/Cur_dig_03.pdf)
lgebradeBooleycircuitosconpuertaslgicas(http://www.esi2.us.es/~jaar/Datos/FIA/T3.pdf)
TEMA3.lgebradeBoole(http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_0405.pdf)
38/39
6/11/2015
Obtenidodehttps://es.wikipedia.org/w/index.php?title=lgebra_de_Boole&oldid=86375038
Categora: lgebradeBoole
Estapginafuemodificadaporltimavezel2nov2015alas19:08.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulas
adicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.
39/39

Álgebra de Boole

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Álgebra de Boole

Încărcat de

Drepturi de autor:

Formate disponibile

6/11/2015

Se denomina as en honor a GeorgeBoole(2denoviembrede1815a8dediciembre de 1864), matemtico ingls autodidacta, que fue el

La conjuncin lgica de proposiciones es equivalente a la interseccin de conjuntos en

LaNegacinalternativa presenta resultado verdadero en todos los casos excepto cuando

La negacin condicional material inverso presenta resultado verdadero si el primer

S-ar putea să vă placă și