SlideShare une entreprise Scribd logo
1  sur  7
Télécharger pour lire hors ligne
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 1
I. ALGEBRA DE BOOLE
I.1 DEFINICION.
El Algebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores
perfectamente diferenciados, que designaremos por 0 y 1 y que están relacionados por dos
operaciones binarias denominadas suma (+) y producto (.) ( la operación producto se indica
generalmente mediante la ausencia de símbolo entre dos variables lógicos.)
Cumplen las siguientes Propiedades:
a) Ambas operaciones son conmutativas, es decir si a y b son elementos del álgebra, se verifica:
a + b = b + a a . b = b . a
b) Dentro del álgebra existen dos elementos neutros, el 0 y el 1, que cumplen la propiedad de
identidad con respecto a cada una de dichas operaciones:
0 + a = a 1 . a = a
c) Cada operación es distributiva con respecto a la otra:
a . ( b + c) = a . b + a . c a + ( b . c ) = ( a + b ) . ( a + c )
d) Para cada elemento a del álgebra existe un elemento denominado a , tal que:
_ _
a + a = 1 a . a = 0
Este postulado define realmente una nueva operación fundamental que es la inversión o
complementación de una variable. La variable a se encuentra siempre en un estado binario contrario
al de a. La tabla de verdad de la inversión o complemento, es:
Físicamente son varios los conjuntos que poseen dos operaciones binarias que cumplen los
postulados desarrollados. Ejemplo de estos conjuntos son el álgebra de las proposiciones o juicios
formales y el álgebra de la conmutación formada también por elementos que pueden tomar dos
estados perfectamente diferenciados.
Los primeros circuitos de conmutación o lógicos utilizados, han sido los contactos que pueden ser
empleados para memorizar más fácilmente las leyes del álgebra de Boole antes expresadas y los
teoremas.
La operación suma se asimila a la conexión en paralelo de contactos y la operación producto a la
conexión en serie. El inverso de un contacto es otro cuyo estado es siempre el opuesto del primero,
es decir está cerrado cuando aquél está abierto y viceversa. El elemento 0 es un contacto que está
siempre abierto y el elemento 1 un contacto que está siempre cerrado. Además se considera una
función de transmisión entre los dos terminales de un circuito de contactos, que toma el valor 1,
cuando existe un camino para la circulación de corriente entre ellos (corto circuito ) y el valor 0 si
no existe dicho camino (circuito abierto).
_
a a
0 1
1 0
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 2
I.2 Teoremas de Algebra de Boole
Teorema 1
Cada identidad deducida de los anteriores postulados del álgebra de Boole permanece válida si la
operación + y . y los elementos 0 y 1 se intercambian entre sí.
Este principio, llamado de dualidad, se deduce inmediatamente de la simetría de los cuatros
postulados con respecto a ambas operaciones y ambos elementos neutros.
Teorema 2
Para cada elemento a del álgebra de Boole se verifica:
a + 1 = 1 y a . 0 = 0
Teorema 3
Para cada elemento a del álgebra de Boole se verifica:
a + a = a y a . a = a
Teorema 4
Para cada par de elementos del álgebra de Boole a y b se verifica:
a + ab = a y a ( a + b) = a
Esta ley se llama Ley de Absorción.
Teorema 5
En un álgebra de Boole, las operaciones suma y producto son asociativas.
a + ( b + c ) = ( a + b ) + c = a + b + c
a ( b c) = ( a b ) c = a b c
Teorema 6
Para todo elemento a del álgebra de Boole se verifica:
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 3
=
a = a
TEOREMA 7
En toda álgebra de Boole se verifica:
1) a + b + c + d + ……… = abcd
_ _ _ _
2) abcd…………………… = a + b + c + d
Estas igualdades son denominadas Leyes de De Morgan.
Este teorema define realmente dos nuevas funciones lógicas de gran importancia que serán
utilizadas como elementos básicos para la realización de los sistemas digitales. Estas dos funciones
que realizan las expresiones (1) y (2), se denominan respectivamemnte NOR y NAND.
Las tres funciones elementales: suma, producto e inversión lógica pueden ser realizadas mediante
las funciones NOR y NAND.
Aplicando el teorema de De Morgan tenemos:
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 4
___ _____ _____ ____
___ _ _ ____ _ _
ab = a b = a + b a+b= a+b = a b
La inversión se representa en general mediante un circulo; por lo tanto, los símbolos de la función
NOR y NAND se deducen respectivamente de las funciones OR y AND añadiéndoles un circulo:
Las funciones NOR y NAND de una sola variable constituyen la función de inversión.
La realización de las funciones suma, producto e inversión con las funciones NOR y NAND se
representan, mediante los símbolos estudiados:
FUNCIONES BOOLEANAS
1. DEFINICION
Una función de álgebra de Boole es una variable binaria cuyo valor es igual al de una expresión
algebraica en la que se relacionan entre sí las variables binarias por medio de las operaciones
básicas. Producto lógico, Suma lógica e Inversión.
Se representa una función lógica por la expresión F = f (a,b,c,….); El valor lógico de f, depende de
las variables a,b,c,….
Se llama término canónico de una función lógica a todo producto o suma en la cual aparecen todas
las variables en su forma directa o inversa. Al primero de ellos se le llama
producto canónico (minterminos) y al segundo suma canónica (maxterminos).
Por ejemplo: sea una función de tres variables f(a,b,c); el término abc es un producto canónico y el
término a+b+c es una suma canónica.
El número máximo de productos canónicos o sumas canónicas viene dado por las variaciones con
repetición de dos elementos tomados de n en n. El número de productos o sumas canónicas de n
variables es por lo tanto 2n.
Para mayor facilidad de representación, cada término canónico, se expresa mediante un número
decimal equivalente al binario obtenido al sustituir las variables ordenadas con un criterio
determinado por un 1 o un 0 según aparezcan en su suma directa o complementaria
respectivamente. Por ejemplo, los términos canónicos siguientes representarán:
_ _
d c b a = 01102 = 610
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 5
_ _
d+c+b+a = 10102 = 1010
_ _ _ _
* La función lógica f(a,b,c) = a b c + a b c + a b c se podrá representar por la expresión:
f(a,b,c) = ∑ (2,3,5)
en la cual el símbolo ∑ representa la suma lógica.
_ _ _ _
* La función f(a,b,c) = (a+b+c) (a+b+c) (a+b+c) se puede representar por:
f(a,b,c) = ∏ (1,2,7)
en la que ∏ indica el producto lógico.
Cuando una función que se expresa como una suma de productos canónicos o un producto de
sumas canónicas, se dice que se encuentra en forma canónica.
Si se tiene la expresión canónica en forma de suma de productos, la expresión canónica de producto
de sumas se obtiene mediante el complemento a 2n
– 1 de los productos canónicos que no forman
parte de la función.
Por ejemplo, si:
f = ∑ 3 (0,2,5)
Para obtener la expresión como producto; se representa como f = ∏ 3 (0,1,3,4,6)
Cuando una función lógica se presenta de una forma no canónica, su transformación en canónica
resulta muy sencilla por procedimientos algebraicos.
Si se desea obtener la expresión canónica en forma de suma de productos canónicos, se operará
algebraicamente aplicando las propiedades distributivas del producto con respecto a la suma, hasta
obtener una expresión de suma de productos no canónicos. Para convertir cada uno de estos
productos en canónicos, se le multiplica por la suma de las variables que faltan en él y sus inversas.
Ejemplo:
_ _
Sea la función: f = a(b+c) + c
Aplicando la propiedad distributiva del producto con respecto a la suma, resulta:
_ _
f = ab + ac + c
De acuerdo con lo explicado anteriormente:
_ _ _ _ _
f = ab(c + c) + ac(b + b) + c(a + a) (b + b)
Y aplicando la propiedad distributiva del producto con respecto a la suma, resulta:
_ _ _ _ _ _
f = abc + abc + abc + abc + cab + (ca+ca)(b+b)
Suprimiendo los términos repetidos, resulta:
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 6
_ _ _ _ _ _ _
f = abc + abc + abc + abc + abc + a b c
La función se puede expresar como: f = ∑ 3 (1,3,4,5,6,7)
De igual forma, si se desea obtener la expresión canónica en forma de producto de sumas canónicas,
se operará algebraicamente aplicando la propiedad distributiva de la suma con respecto al producto
hasta obtener una expresión de producto de sumas no canónicas. Para convertir cada una de estas
sumas en canónicas, se le suma el producto de cada variable que falta en ella por su inversa.
Ejemplo:
_ _
f = a(b + c) + c
Aplicando la propiedad distributiva de la suma con respecto al producto:
_ _
f = (a + c) (b + c + c) = a + c
_
f = a + c + bb
Y aplicando nuevamente la propiedad distributiva de la suma con respecto al producto, tenemos:
_
f = (a + b + c) (a + b + c)
f = P3 (5,7)
2. TABLA DE VERDAD DE UNA FUNCION LOGICA
2.1. Definición
La tabla de verdad de una función lógica es una forma de representación de la misma, en la que se
indica el valor 1 o 0 que toma la función para cada una de las combinaciones posibles de las
variables de las cuales depende.
En la tabla se representa la tabla de verdad de una función de tres variables:
La deducción de la función en forma canónica por medio de la tabla de verdad resulta:
_ _ _ _ _ _
f = a b c + a b c + a b c + a b c + a b c
f = ∑ 3 (1,3,4,6,7) = ∏ 3 (2,5,7)
SISTEMAS DIGITALES EPIS – UNPRG
ALGEBRA DE BOOLE
Bernardo Núñez Montenegro. 7
Función OR-Exclusiva
La función o-exclusiva de dos variables a y b, es aquella que toma el valor 1 cuando una de las
variables toma el valor uno y la otra el valor cero o viceversa.
Las propiedades de la función Or-exclusiva de n variables se deducen aplicándola primero a dos
variables, seguidamente al resultado obtenido a una tercera variable y así sucesivamente.
Se comprueba fácilmente que la función Or-exclusiva de n variables toma el valor lógico 1, si se
encuentra un número impar de ellas en estado uno, y el valor lógico 0, si es un número par de ellas
el que posee el valor lógico uno:
fo = a ⊕ b ⊕ c ⊕ d ….. ⊕ n
fo = 1 Si un número impar de variables está en uno.
fo = 0 Si un número par de variables está en uno.
Nos encontramos también con la función Nor-Exclusiva, cuya tabla de verdad es el complemento
de la anterior (Or-Exclusiva). Se le conoce también como comparador.

Contenu connexe

Tendances (18)

áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra Booleana Lógica Matemática
Algebra Booleana Lógica MatemáticaAlgebra Booleana Lógica Matemática
Algebra Booleana Lógica Matemática
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de bool
Algebra de boolAlgebra de bool
Algebra de bool
 
2.1.principiosde electrnicadigital
2.1.principiosde electrnicadigital2.1.principiosde electrnicadigital
2.1.principiosde electrnicadigital
 
[Maths] 6.3.1 algebras de boole
[Maths] 6.3.1 algebras de boole[Maths] 6.3.1 algebras de boole
[Maths] 6.3.1 algebras de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de Boole
 
Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
Sistema binario i algebra de boole
Sistema binario i algebra de booleSistema binario i algebra de boole
Sistema binario i algebra de boole
 

Similaire à Algebra boole

Algebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasAlgebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicas
PPJJK
 
Algebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasAlgebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicas
jjkls
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
maria_ama
 

Similaire à Algebra boole (20)

Electronica digital
Electronica digitalElectronica digital
Electronica digital
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
Digitpri - electronica avansada
Digitpri - electronica  avansadaDigitpri - electronica  avansada
Digitpri - electronica avansada
 
Funciones y variables logicas
Funciones y variables logicasFunciones y variables logicas
Funciones y variables logicas
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
2 - 3 Algebra de Boole (2).pptx
2 - 3 Algebra de Boole (2).pptx2 - 3 Algebra de Boole (2).pptx
2 - 3 Algebra de Boole (2).pptx
 
sistemas digitales.pdf
sistemas digitales.pdfsistemas digitales.pdf
sistemas digitales.pdf
 
unidad2.pdf
unidad2.pdfunidad2.pdf
unidad2.pdf
 
mi trabajo Algebra de boole
mi trabajo Algebra de boolemi trabajo Algebra de boole
mi trabajo Algebra de boole
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanas
 
Algebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasAlgebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicas
 
Algebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicasAlgebra boole y circuitos con puerta lógicas
Algebra boole y circuitos con puerta lógicas
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Darwing leon
Darwing leonDarwing leon
Darwing leon
 
Algebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatoriosAlgebra booleana y circuitos combinatorios
Algebra booleana y circuitos combinatorios
 
Algebra 2
Algebra 2Algebra 2
Algebra 2
 
Capitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardwareCapitulo 2 arquitecturadehardware
Capitulo 2 arquitecturadehardware
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansys
 

Dernier

Tipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosTipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplos
andersonsubero28
 
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfUC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
refrielectriccarlyz
 
sistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gstsistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gst
DavidRojas870673
 

Dernier (20)

Arquitecto cambio de uso de suelo Limache
Arquitecto cambio de uso de suelo LimacheArquitecto cambio de uso de suelo Limache
Arquitecto cambio de uso de suelo Limache
 
Tipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosTipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplos
 
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptxEFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
 
ARMADURAS METODO NODOS.pptx......................
ARMADURAS METODO NODOS.pptx......................ARMADURAS METODO NODOS.pptx......................
ARMADURAS METODO NODOS.pptx......................
 
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.pptTippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
 
Video sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxVideo sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptx
 
GUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdf
GUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdfGUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdf
GUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdf
 
Clasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docxClasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docx
 
3er Informe Laboratorio Quimica General (2) (1).pdf
3er Informe Laboratorio Quimica General  (2) (1).pdf3er Informe Laboratorio Quimica General  (2) (1).pdf
3er Informe Laboratorio Quimica General (2) (1).pdf
 
ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf  PARA TRABAJO SEGUROATS-FORMATO cara.pdf  PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
 
ingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptx
 
Matrices Matemáticos universitario pptx
Matrices  Matemáticos universitario pptxMatrices  Matemáticos universitario pptx
Matrices Matemáticos universitario pptx
 
ELASTICIDAD PRECIO DE LA DEMaaanANDA.ppt
ELASTICIDAD PRECIO DE LA DEMaaanANDA.pptELASTICIDAD PRECIO DE LA DEMaaanANDA.ppt
ELASTICIDAD PRECIO DE LA DEMaaanANDA.ppt
 
Cereales tecnología de los alimentos. Cereales
Cereales tecnología de los alimentos. CerealesCereales tecnología de los alimentos. Cereales
Cereales tecnología de los alimentos. Cereales
 
ESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVO
ESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVOESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVO
ESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVO
 
Presentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potablePresentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potable
 
5. MATERIALES petreos para concreto.pdf.
5. MATERIALES petreos para concreto.pdf.5. MATERIALES petreos para concreto.pdf.
5. MATERIALES petreos para concreto.pdf.
 
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfUC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
 
sistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gstsistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gst
 
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEstadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
 

Algebra boole

  • 1. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 1 I. ALGEBRA DE BOOLE I.1 DEFINICION. El Algebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores perfectamente diferenciados, que designaremos por 0 y 1 y que están relacionados por dos operaciones binarias denominadas suma (+) y producto (.) ( la operación producto se indica generalmente mediante la ausencia de símbolo entre dos variables lógicos.) Cumplen las siguientes Propiedades: a) Ambas operaciones son conmutativas, es decir si a y b son elementos del álgebra, se verifica: a + b = b + a a . b = b . a b) Dentro del álgebra existen dos elementos neutros, el 0 y el 1, que cumplen la propiedad de identidad con respecto a cada una de dichas operaciones: 0 + a = a 1 . a = a c) Cada operación es distributiva con respecto a la otra: a . ( b + c) = a . b + a . c a + ( b . c ) = ( a + b ) . ( a + c ) d) Para cada elemento a del álgebra existe un elemento denominado a , tal que: _ _ a + a = 1 a . a = 0 Este postulado define realmente una nueva operación fundamental que es la inversión o complementación de una variable. La variable a se encuentra siempre en un estado binario contrario al de a. La tabla de verdad de la inversión o complemento, es: Físicamente son varios los conjuntos que poseen dos operaciones binarias que cumplen los postulados desarrollados. Ejemplo de estos conjuntos son el álgebra de las proposiciones o juicios formales y el álgebra de la conmutación formada también por elementos que pueden tomar dos estados perfectamente diferenciados. Los primeros circuitos de conmutación o lógicos utilizados, han sido los contactos que pueden ser empleados para memorizar más fácilmente las leyes del álgebra de Boole antes expresadas y los teoremas. La operación suma se asimila a la conexión en paralelo de contactos y la operación producto a la conexión en serie. El inverso de un contacto es otro cuyo estado es siempre el opuesto del primero, es decir está cerrado cuando aquél está abierto y viceversa. El elemento 0 es un contacto que está siempre abierto y el elemento 1 un contacto que está siempre cerrado. Además se considera una función de transmisión entre los dos terminales de un circuito de contactos, que toma el valor 1, cuando existe un camino para la circulación de corriente entre ellos (corto circuito ) y el valor 0 si no existe dicho camino (circuito abierto). _ a a 0 1 1 0
  • 2. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 2 I.2 Teoremas de Algebra de Boole Teorema 1 Cada identidad deducida de los anteriores postulados del álgebra de Boole permanece válida si la operación + y . y los elementos 0 y 1 se intercambian entre sí. Este principio, llamado de dualidad, se deduce inmediatamente de la simetría de los cuatros postulados con respecto a ambas operaciones y ambos elementos neutros. Teorema 2 Para cada elemento a del álgebra de Boole se verifica: a + 1 = 1 y a . 0 = 0 Teorema 3 Para cada elemento a del álgebra de Boole se verifica: a + a = a y a . a = a Teorema 4 Para cada par de elementos del álgebra de Boole a y b se verifica: a + ab = a y a ( a + b) = a Esta ley se llama Ley de Absorción. Teorema 5 En un álgebra de Boole, las operaciones suma y producto son asociativas. a + ( b + c ) = ( a + b ) + c = a + b + c a ( b c) = ( a b ) c = a b c Teorema 6 Para todo elemento a del álgebra de Boole se verifica:
  • 3. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 3 = a = a TEOREMA 7 En toda álgebra de Boole se verifica: 1) a + b + c + d + ……… = abcd _ _ _ _ 2) abcd…………………… = a + b + c + d Estas igualdades son denominadas Leyes de De Morgan. Este teorema define realmente dos nuevas funciones lógicas de gran importancia que serán utilizadas como elementos básicos para la realización de los sistemas digitales. Estas dos funciones que realizan las expresiones (1) y (2), se denominan respectivamemnte NOR y NAND. Las tres funciones elementales: suma, producto e inversión lógica pueden ser realizadas mediante las funciones NOR y NAND. Aplicando el teorema de De Morgan tenemos:
  • 4. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 4 ___ _____ _____ ____ ___ _ _ ____ _ _ ab = a b = a + b a+b= a+b = a b La inversión se representa en general mediante un circulo; por lo tanto, los símbolos de la función NOR y NAND se deducen respectivamente de las funciones OR y AND añadiéndoles un circulo: Las funciones NOR y NAND de una sola variable constituyen la función de inversión. La realización de las funciones suma, producto e inversión con las funciones NOR y NAND se representan, mediante los símbolos estudiados: FUNCIONES BOOLEANAS 1. DEFINICION Una función de álgebra de Boole es una variable binaria cuyo valor es igual al de una expresión algebraica en la que se relacionan entre sí las variables binarias por medio de las operaciones básicas. Producto lógico, Suma lógica e Inversión. Se representa una función lógica por la expresión F = f (a,b,c,….); El valor lógico de f, depende de las variables a,b,c,…. Se llama término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Al primero de ellos se le llama producto canónico (minterminos) y al segundo suma canónica (maxterminos). Por ejemplo: sea una función de tres variables f(a,b,c); el término abc es un producto canónico y el término a+b+c es una suma canónica. El número máximo de productos canónicos o sumas canónicas viene dado por las variaciones con repetición de dos elementos tomados de n en n. El número de productos o sumas canónicas de n variables es por lo tanto 2n. Para mayor facilidad de representación, cada término canónico, se expresa mediante un número decimal equivalente al binario obtenido al sustituir las variables ordenadas con un criterio determinado por un 1 o un 0 según aparezcan en su suma directa o complementaria respectivamente. Por ejemplo, los términos canónicos siguientes representarán: _ _ d c b a = 01102 = 610
  • 5. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 5 _ _ d+c+b+a = 10102 = 1010 _ _ _ _ * La función lógica f(a,b,c) = a b c + a b c + a b c se podrá representar por la expresión: f(a,b,c) = ∑ (2,3,5) en la cual el símbolo ∑ representa la suma lógica. _ _ _ _ * La función f(a,b,c) = (a+b+c) (a+b+c) (a+b+c) se puede representar por: f(a,b,c) = ∏ (1,2,7) en la que ∏ indica el producto lógico. Cuando una función que se expresa como una suma de productos canónicos o un producto de sumas canónicas, se dice que se encuentra en forma canónica. Si se tiene la expresión canónica en forma de suma de productos, la expresión canónica de producto de sumas se obtiene mediante el complemento a 2n – 1 de los productos canónicos que no forman parte de la función. Por ejemplo, si: f = ∑ 3 (0,2,5) Para obtener la expresión como producto; se representa como f = ∏ 3 (0,1,3,4,6) Cuando una función lógica se presenta de una forma no canónica, su transformación en canónica resulta muy sencilla por procedimientos algebraicos. Si se desea obtener la expresión canónica en forma de suma de productos canónicos, se operará algebraicamente aplicando las propiedades distributivas del producto con respecto a la suma, hasta obtener una expresión de suma de productos no canónicos. Para convertir cada uno de estos productos en canónicos, se le multiplica por la suma de las variables que faltan en él y sus inversas. Ejemplo: _ _ Sea la función: f = a(b+c) + c Aplicando la propiedad distributiva del producto con respecto a la suma, resulta: _ _ f = ab + ac + c De acuerdo con lo explicado anteriormente: _ _ _ _ _ f = ab(c + c) + ac(b + b) + c(a + a) (b + b) Y aplicando la propiedad distributiva del producto con respecto a la suma, resulta: _ _ _ _ _ _ f = abc + abc + abc + abc + cab + (ca+ca)(b+b) Suprimiendo los términos repetidos, resulta:
  • 6. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 6 _ _ _ _ _ _ _ f = abc + abc + abc + abc + abc + a b c La función se puede expresar como: f = ∑ 3 (1,3,4,5,6,7) De igual forma, si se desea obtener la expresión canónica en forma de producto de sumas canónicas, se operará algebraicamente aplicando la propiedad distributiva de la suma con respecto al producto hasta obtener una expresión de producto de sumas no canónicas. Para convertir cada una de estas sumas en canónicas, se le suma el producto de cada variable que falta en ella por su inversa. Ejemplo: _ _ f = a(b + c) + c Aplicando la propiedad distributiva de la suma con respecto al producto: _ _ f = (a + c) (b + c + c) = a + c _ f = a + c + bb Y aplicando nuevamente la propiedad distributiva de la suma con respecto al producto, tenemos: _ f = (a + b + c) (a + b + c) f = P3 (5,7) 2. TABLA DE VERDAD DE UNA FUNCION LOGICA 2.1. Definición La tabla de verdad de una función lógica es una forma de representación de la misma, en la que se indica el valor 1 o 0 que toma la función para cada una de las combinaciones posibles de las variables de las cuales depende. En la tabla se representa la tabla de verdad de una función de tres variables: La deducción de la función en forma canónica por medio de la tabla de verdad resulta: _ _ _ _ _ _ f = a b c + a b c + a b c + a b c + a b c f = ∑ 3 (1,3,4,6,7) = ∏ 3 (2,5,7)
  • 7. SISTEMAS DIGITALES EPIS – UNPRG ALGEBRA DE BOOLE Bernardo Núñez Montenegro. 7 Función OR-Exclusiva La función o-exclusiva de dos variables a y b, es aquella que toma el valor 1 cuando una de las variables toma el valor uno y la otra el valor cero o viceversa. Las propiedades de la función Or-exclusiva de n variables se deducen aplicándola primero a dos variables, seguidamente al resultado obtenido a una tercera variable y así sucesivamente. Se comprueba fácilmente que la función Or-exclusiva de n variables toma el valor lógico 1, si se encuentra un número impar de ellas en estado uno, y el valor lógico 0, si es un número par de ellas el que posee el valor lógico uno: fo = a ⊕ b ⊕ c ⊕ d ….. ⊕ n fo = 1 Si un número impar de variables está en uno. fo = 0 Si un número par de variables está en uno. Nos encontramos también con la función Nor-Exclusiva, cuya tabla de verdad es el complemento de la anterior (Or-Exclusiva). Se le conoce también como comparador.