SlideShare una empresa de Scribd logo
1 de 11
Descargar para leer sin conexión
Fundamentos de los Computadores. Álgebra de Boole. T3-1
TEMA 3. Álgebra de Boole
INDICE:
• EL ÁLGEBRA DE BOOBLE
• TEOREMAS DEL ÁLGEBRA DE BOOLE
• REPRESENTACIÓN DE FUNCIONES LÓGICAS
o TABLA DE VERDAD
o FORMAS CANÓNICAS
o CONVERSIÓN DE UNA FORMAS A OTRAS
• FUNCIONES BASICAS.
• IMPLEMENTACIÓN MEDIANTE CONJUNTOS
COMPLETOS
Boole (1815-1864)
Fundamentos de los Computadores. Álgebra de Boole. T3-2
EL ÁLGEBRA DE BOOBLE
UN ÁLGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y
LOS OPERADORES BINARIOS (·) y (+) y (’) DEFINIDOS DE LA
SIGUIENTE FORMA
A B A+B A·B A A’
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 0
1 1 1 1
OPERADOR + OPERADOR OR
OPERADOR · OPERADOR AND
OPERADOR ‘ OPERADOR NOT
QUE CUMPLEN LAS SIGUIENTES PROPIEDADES:
1.- PROPIEDAD CONMUTATIVA:
A + B = B + A
A · B = B · A
2. PROPIEDAD DISTRIBUTIVA:
A·(B+C) = A·B + A·C
A + B·C = (A+B)·(A+C)
3. ELEMENTOS NEUTROS DIFERENTES
A + 0 = A
A · 1 = A
4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A’
A + A’ = 1
A · A’ = 0
PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica
deducible de los postulados anteriores puede transformarse en un segundo
teorema o identidad válida sin mas que intercambiar (+) por (·) y 1 por 0.
CONSTANTE: cualquier elemento del conjunto B
VARIABLE: símbolo que representa un elemento arbitrario del álgebra, ya
sea constante o fórmula completa.
Fundamentos de los Computadores. Álgebra de Boole. T3-3
TEOREMAS DEL ÁLGEBRA DE BOOLE
TEOREMA 1: el elemento complemento A’ es único.
TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:
A+1 = 1
A·0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.
0’=1
1’=0
TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica:
A+A=A
A·A=A
TEOREMA 5 (INVOLUCIÓN): para cada elemento de B, se verifica:
(A’)’ = A
TEOREMA 6 (ABSORCIÓN): para cada par de elementos de B, se verifica:
A+A·B=A
A·(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:
A + A’·B = A + B
A · (A’ + B) = A · B
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y
(·) cumple la propiedad asociativa:
A+(B+C) = (A+B)+C
A·(B·C) = (A·B)·C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B)’ = A’·B’
(A·B)’ = A’ + B’
Fundamentos de los Computadores. Álgebra de Boole. T3-4
REPRESENTACIÓN DE FUNCIONES LÓGICAS (I)
TABLA DE VERDAD
Tabla que representa el valor de la función para cada combinación de entrada. Si
la función está definida para todas las combinaciones se llama completa, si no,
se denomina incompleta. Para 4 variables:
X3 X2 X1 X0 F(X3, X2, X1,X0)
(0) 0 0 0 0 F(0,0,0,0)
(1) 0 0 0 1 F(0,0,0,1)
(2) 0 0 1 0 F(0,0,1,0)
(3) 0 0 1 1 F(0,0,1,1)
(4) 0 1 0 0 F(0,1,0,0)
(5) 0 1 0 1 F(0,1,0,1)
(6) 0 1 1 0 F(0,1,1,0)
(7) 0 1 1 1 F(0,1,1,1)
(8) 1 0 0 0 F(1,0,0,0)
(9) 1 0 0 1 F(1,0,0,1)
(10) 1 0 1 0 F(1,0,1,0)
(11) 1 0 1 1 F(1,0,1,1)
(12) 1 1 0 0 F(1,1,0,0)
(13) 1 1 0 1 F(1,1,0,1)
(14) 1 1 1 0 F(1,1,1,0)
(15) 1 1 1 1 F(1,1,1,1)
Una Fórmulas de conmutación es la expresión de una función Lógica.
Un LITERAL es una variable (A) o complemento de una variable (A’)
Un TÉRMINO PRODUCTO es una operación AND de un número de
literales.
Una fórmula normal disyuntiva es una suma de términos productos.
Un TÉRMINO SUMA es una operación OR de un número de literales.
Una fórmula normal conjuntiva es un producto de términos sumas.
Fundamentos de los Computadores. Álgebra de Boole. T3-5
REPRESENTACIÓN DE FUNCIONES LÓGICAS (II)
FÓRMULA CANÓNICA DISYUNTIVA (SOP)
MINTÉRMINO (mi): término producto en el que aparecen todas las
variables, ya sean complementadas o sin complementar.
FÓRMULA CANÓNICA DISYUNTIVA O DE MINTÉRMINOS: suma
de mintérminos. (Suma de Productos)
Dada la lista completa de mintérminos y asignando 1’s y 0’s
arbitrariamente a las variables, siempre hay un, y sólo un, mintérmino que
toma el valor 1.
Un mintérmino es un término producto que es 1 exactamente en una línea
de la tabla de Verdad.
La fórmula compuesta por todos los mintérminos será idénticamente 1.
Cada fórmula de conmutación puede expresarse como suma de
mintérminos. Y esa fórmula es única.
NOTACIÓN: Un mintérmino se designa por “mi” siendo i el número
decimal correspondiente de la tabla de verdad. Para el producto, el 0 se
asocia a la variable complementada y el 1 a la variable sin complementar.
EJEMPLO:
C B A F(C,B,A)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
F(C,B,A) = m0 + m2 + m3 +m7 = Σ m(0,2,3,7)
F(C,B,A) = C’·B’·A’ + C’·B·A’ + C’·B·A + C·B·A
O bien
F(C,B,A) = C·B·A + C·B·A + C·B·A + C·B·A
Fundamentos de los Computadores. Álgebra de Boole. T3-6
REPRESENTACIÓN DE FUNCIONES LÓGICAS (III)
FÓRMULA CANÓNICA CONJUNTIVA (POS)
MAXTÉRMINO (Mi): término suma en el que aparecen todas las variables,
ya sean complementadas o sin complementar.
Fórmula Canónica Conjuntiva o de Maxtérminos: producto de
maxtérminos. (Producto de sumas)
Dada la lista completa de maxtérminos y asignando 1’s y 0’s
arbitrariamente a las variables, siempre hay un y sólo un maxtérmino que
toma el valor 0.
Un maxtérmino es un término suma que es 0 exactamente en una línea de
la tabla de verdad.
La fórmula compuesta por todos los maxtérminos será idénticamente 0.
Cada fórmula puede expresarse como producto de maxtérminos. Y es
única.
NOTACIÓN: Un maxtérmino se designa por “Mi” siendo i el número
decimal correspondiente de la tabla de verdad. En la suma, el 1 se asocia a
la variable complementada y el 0 a la variable sin complementar.
EJEMPLO:
C B A F(C,B,A)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
F(C,B,A) = M1 · M4 · M5 · M6 = Π M(1,4,5,6)
F(C,B,A) = (C+B+A’) · (C’+B+A) · (C’+B+A’) · (C’+B’+A)
O bien
F(C,B,A) = (C+B+A) · (C+B+A) · (C+B+A) · (C+B+A)
Fundamentos de los Computadores. Álgebra de Boole. T3-7
REPRESENTACIÓN DE FUNCIONES LÓGICAS (IV)
CONVERSIÓN Y MANIPULACIÓN DE FÓRMULAS
El complemento de una fórmula de mintérminos está formado por la suma de
los mintérminos que no aparecen.
El complemento de una fórmula de maxtérminos está formado por el
producto de los maxtérminos que no aparecen.
mi’ = Mi
Mi’ = mi
La transformación de una fórmula de mintérminos (disyuntiva) en otra de
maxtérminos (conjuntiva) se basa en la doble complementación,
(F’)’ = F
* * *
Para FUNCIONES INCOMPLETAS en la tabla de verdad aparecerá una X o
una letra d (del inglés don’t care) refiriéndose a términos sin especificar.
C B A F(C,B,A)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 X
1 0 0 0
1 0 1 X
1 1 0 0
1 1 1 1
F(C,B,A) = Σ m(0,2,7) + Φ(3,5)
F(C,B,A) = Π M(1,4,6) · Φ(3,5)
Complemento de una función incompleta: otra función incompleta con los
mismos términos “no importa” y el complemento de la función completa.
Las fórmulas de mintérminos y de maxtérminos de las funciones incompletas no
son únicas.
Fundamentos de los Computadores. Álgebra de Boole. T3-8
FUNCIONES BÁSICAS (I)
FUNCIÓN OR, PUERTA OR:
Tabla de Verdad Símbolo
A B A+B
0 0 0
0 1 1
1 0 1
1 1 1
FUNCIÓN AND, PUERTA AND:
Tabla de Verdad Símbolo
A B A·B
0 0 0
0 1 0
1 0 0
1 1 1
FUNCIÓN NOT, INVERSOR:
Tabla de Verdad Símbolo
A A’
0 1
1 0
Con estos tres tipos de puertas puede realizarse cualquier función de
conmutación.
Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede
implementar cualquier función lógica.
• Puerta AND, puerta OR e INVERSOR
• Puerta AND e INVERSOR
• Puerta OR e INVERSOR
A
B
F = A · B
A F = A’
A
B
F = A + B
Fundamentos de los Computadores. Álgebra de Boole. T3-9
FUNCIONES BÁSICAS (II)
FUNCIÓN NOR, PUERTA NOR: Es también un conjunto completo
Tabla de Verdad Símbolo
A B (A+B)’
0 0 1
0 1 0
1 0 0
1 1 0
FUNCIÓN NAND, PUERTA NAND: Es también un conjunto completo
Tabla de Verdad Símbolo
A B (A·B)’
0 0 1
0 1 1
1 0 1
1 1 0
FUNCIÓN XOR, PUERTA XOR: Es también un conjunto completo
Tabla de Verdad Símbolo
A B (A⊕B)
0 0 0
0 1 1
1 0 1
1 1 0
FUNCIÓN XNOR, PUERTA XNOR: Es también un conjunto completo
Tabla de Verdad Símbolo
A B (A⊕B)’
0 0 1
0 1 0
1 0 0
1 1 1
A
B
F = (A · B)’
F = A’ + B’
A
B
F = (A ⊕ B)
F = A’B + AB’
F = (A ⊕ B)’
F = AB + A’B’
A
B
F = (A + B)’
F = A’ · B’
A
B
Fundamentos de los Computadores. Álgebra de Boole. T3-10
IMPLEMENTACIÓN DE FUNCIONES BOOLEANAS
MEDIANTE CONJUNTOS COMPLETOS (I)
• NOT-AND-OR (preferentemente con SUMA de PRODUCTOS)
Ejemplo 1: F(A,B,C) = AC + B’C + BC’
• NOT-OR-AND (preferentemente con PRODUCTO de SUMAS)
Ejemplo 2: F(A,B,C) = (A+C) (B+C’) (B’+C)
A
B
C
C’
AC
AC + B’C + BC’
B’
BC’
B’C
A
B
C
C’
A+C
(A+C) (B+C’) (B’+C)
B’
B+C’
B’+C
Fundamentos de los Computadores. Álgebra de Boole. T3-11
IMPLEMENTACIÓN DE FUNCIONES BOOLEANAS
MEDIANTE CONJUNTOS COMPLETOS (II)
• NAND-NAND (preferentemente con SUMA de PRODUCTOS)
Buscamos grupos de variables con la forma de salida de una puerta NAND.
Ejemplo 1: F(A,B,C) = AC + B’C + BC’
Negamos 2 veces F(A,B,C) = AC + B’C + BC’
Aplicamos DeMorgan F(A,B,C) = AC · B’C · BC’
• NOR-NOR (preferentemente con PRODUCTO de SUMAS)
Buscamos grupos de variables con la forma de salida de una puerta NOR.
Ejemplo 2: F(A,B,C) = (A+C) (B+C’) (B’+C)
Negamos 2 veces F(A,B,C) = (A+C) (B+C’) (B’+C)
Aplicamos DeMorgan F(A,B,C) = (A+C) + (B’+C) + (B+C’)
A
B
C
C’
AC
AC + B’C + BC’
B’
BC’
B’C
A
B
C
C’
A+C
(A+C) (B+C’) (B’+C)
B’
B+C’
B’+C

Más contenido relacionado

Similar a algebra de BOOLE.pdf

áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
brayer1
 
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
AnaBarbaraAlaveFlore
 

Similar a algebra de BOOLE.pdf (20)

Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 
Darwing leon
Darwing leonDarwing leon
Darwing leon
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Circuitos combinacionales
Circuitos combinacionalesCircuitos combinacionales
Circuitos combinacionales
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
mi trabajo Algebra de boole
mi trabajo Algebra de boolemi trabajo Algebra de boole
mi trabajo Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Electrónica digital
Electrónica digitalElectrónica digital
Electrónica digital
 
tema 01 sistemas digitales
tema 01 sistemas digitalestema 01 sistemas digitales
tema 01 sistemas digitales
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
 
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
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansys
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 

Último

TIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZ
TIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZTIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZ
TIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZ
varichard
 
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJHInmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Vivafornai
 
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
MirkaCBauer
 
Presentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdfPresentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdf
fernandolozano90
 

Último (20)

ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdfESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
 
TYPP_Industrialización del Petróleo.pptx
TYPP_Industrialización del Petróleo.pptxTYPP_Industrialización del Petróleo.pptx
TYPP_Industrialización del Petróleo.pptx
 
TIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZ
TIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZTIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZ
TIPOS DE BASTIDORES Y CARROCERIA EN LA INDUSTRIA AUTOMOTRIZ
 
REGLA DE PROBABILIDADES Y REGLA DE BAYES.pptx
REGLA DE PROBABILIDADES  Y REGLA DE BAYES.pptxREGLA DE PROBABILIDADES  Y REGLA DE BAYES.pptx
REGLA DE PROBABILIDADES Y REGLA DE BAYES.pptx
 
CONCEPTOS BASICOS DE ROBOTICA, CLASES DE ROBOTS
CONCEPTOS BASICOS DE ROBOTICA, CLASES DE ROBOTSCONCEPTOS BASICOS DE ROBOTICA, CLASES DE ROBOTS
CONCEPTOS BASICOS DE ROBOTICA, CLASES DE ROBOTS
 
Sesión de Clase A dde sistemas de riego y otras obras
Sesión de Clase A dde sistemas de riego y otras obrasSesión de Clase A dde sistemas de riego y otras obras
Sesión de Clase A dde sistemas de riego y otras obras
 
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJHInmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
 
Semana 1 - Introduccion - Fluidos - Unidades.pptx
Semana 1 - Introduccion - Fluidos - Unidades.pptxSemana 1 - Introduccion - Fluidos - Unidades.pptx
Semana 1 - Introduccion - Fluidos - Unidades.pptx
 
REAJUSTE DE PRECIOS EN LOS CONTRATOS ADMINISTRATIVOS DE OBRA PUBLICA PACTADOS...
REAJUSTE DE PRECIOS EN LOS CONTRATOS ADMINISTRATIVOS DE OBRA PUBLICA PACTADOS...REAJUSTE DE PRECIOS EN LOS CONTRATOS ADMINISTRATIVOS DE OBRA PUBLICA PACTADOS...
REAJUSTE DE PRECIOS EN LOS CONTRATOS ADMINISTRATIVOS DE OBRA PUBLICA PACTADOS...
 
1.1 Los 14 principios del Toyota Way -2024.pdf
1.1 Los 14 principios del Toyota Way -2024.pdf1.1 Los 14 principios del Toyota Way -2024.pdf
1.1 Los 14 principios del Toyota Way -2024.pdf
 
Ficha Técnica -Cemento YURA Multiproposito TIPO IP.pdf
Ficha Técnica -Cemento YURA  Multiproposito TIPO IP.pdfFicha Técnica -Cemento YURA  Multiproposito TIPO IP.pdf
Ficha Técnica -Cemento YURA Multiproposito TIPO IP.pdf
 
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
 
UNIDAD III Esquemas de comunicacion pptx
UNIDAD III Esquemas de comunicacion pptxUNIDAD III Esquemas de comunicacion pptx
UNIDAD III Esquemas de comunicacion pptx
 
Convocatoria de Becas Caja de Ingenieros_UOC 2024-25
Convocatoria de Becas Caja de Ingenieros_UOC 2024-25Convocatoria de Becas Caja de Ingenieros_UOC 2024-25
Convocatoria de Becas Caja de Ingenieros_UOC 2024-25
 
Presentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdfPresentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdf
 
subestaciones electricas , elementos y caracteristicas
subestaciones electricas , elementos y caracteristicassubestaciones electricas , elementos y caracteristicas
subestaciones electricas , elementos y caracteristicas
 
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOSTEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
 
50870516-hidroponia. descargado en novppt
50870516-hidroponia. descargado en novppt50870516-hidroponia. descargado en novppt
50870516-hidroponia. descargado en novppt
 
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdfPRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
 
Trabajo de cristalografia. año 2024 mes de mayo
Trabajo de cristalografia. año 2024 mes de mayoTrabajo de cristalografia. año 2024 mes de mayo
Trabajo de cristalografia. año 2024 mes de mayo
 

algebra de BOOLE.pdf

  • 1. Fundamentos de los Computadores. Álgebra de Boole. T3-1 TEMA 3. Álgebra de Boole INDICE: • EL ÁLGEBRA DE BOOBLE • TEOREMAS DEL ÁLGEBRA DE BOOLE • REPRESENTACIÓN DE FUNCIONES LÓGICAS o TABLA DE VERDAD o FORMAS CANÓNICAS o CONVERSIÓN DE UNA FORMAS A OTRAS • FUNCIONES BASICAS. • IMPLEMENTACIÓN MEDIANTE CONJUNTOS COMPLETOS Boole (1815-1864)
  • 2. Fundamentos de los Computadores. Álgebra de Boole. T3-2 EL ÁLGEBRA DE BOOBLE UN ÁLGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y LOS OPERADORES BINARIOS (·) y (+) y (’) DEFINIDOS DE LA SIGUIENTE FORMA A B A+B A·B A A’ 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 OPERADOR + OPERADOR OR OPERADOR · OPERADOR AND OPERADOR ‘ OPERADOR NOT QUE CUMPLEN LAS SIGUIENTES PROPIEDADES: 1.- PROPIEDAD CONMUTATIVA: A + B = B + A A · B = B · A 2. PROPIEDAD DISTRIBUTIVA: A·(B+C) = A·B + A·C A + B·C = (A+B)·(A+C) 3. ELEMENTOS NEUTROS DIFERENTES A + 0 = A A · 1 = A 4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A’ A + A’ = 1 A · A’ = 0 PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad válida sin mas que intercambiar (+) por (·) y 1 por 0. CONSTANTE: cualquier elemento del conjunto B VARIABLE: símbolo que representa un elemento arbitrario del álgebra, ya sea constante o fórmula completa.
  • 3. Fundamentos de los Computadores. Álgebra de Boole. T3-3 TEOREMAS DEL ÁLGEBRA DE BOOLE TEOREMA 1: el elemento complemento A’ es único. TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1 A·0 = 0 TEOREMA 3: cada elemento identidad es el complemento del otro. 0’=1 1’=0 TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A A·A=A TEOREMA 5 (INVOLUCIÓN): para cada elemento de B, se verifica: (A’)’ = A TEOREMA 6 (ABSORCIÓN): para cada par de elementos de B, se verifica: A+A·B=A A·(A+B)=A TEOREMA 7: para cada par de elementos de B, se verifica: A + A’·B = A + B A · (A’ + B) = A · B TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y (·) cumple la propiedad asociativa: A+(B+C) = (A+B)+C A·(B·C) = (A·B)·C LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B)’ = A’·B’ (A·B)’ = A’ + B’
  • 4. Fundamentos de los Computadores. Álgebra de Boole. T3-4 REPRESENTACIÓN DE FUNCIONES LÓGICAS (I) TABLA DE VERDAD Tabla que representa el valor de la función para cada combinación de entrada. Si la función está definida para todas las combinaciones se llama completa, si no, se denomina incompleta. Para 4 variables: X3 X2 X1 X0 F(X3, X2, X1,X0) (0) 0 0 0 0 F(0,0,0,0) (1) 0 0 0 1 F(0,0,0,1) (2) 0 0 1 0 F(0,0,1,0) (3) 0 0 1 1 F(0,0,1,1) (4) 0 1 0 0 F(0,1,0,0) (5) 0 1 0 1 F(0,1,0,1) (6) 0 1 1 0 F(0,1,1,0) (7) 0 1 1 1 F(0,1,1,1) (8) 1 0 0 0 F(1,0,0,0) (9) 1 0 0 1 F(1,0,0,1) (10) 1 0 1 0 F(1,0,1,0) (11) 1 0 1 1 F(1,0,1,1) (12) 1 1 0 0 F(1,1,0,0) (13) 1 1 0 1 F(1,1,0,1) (14) 1 1 1 0 F(1,1,1,0) (15) 1 1 1 1 F(1,1,1,1) Una Fórmulas de conmutación es la expresión de una función Lógica. Un LITERAL es una variable (A) o complemento de una variable (A’) Un TÉRMINO PRODUCTO es una operación AND de un número de literales. Una fórmula normal disyuntiva es una suma de términos productos. Un TÉRMINO SUMA es una operación OR de un número de literales. Una fórmula normal conjuntiva es un producto de términos sumas.
  • 5. Fundamentos de los Computadores. Álgebra de Boole. T3-5 REPRESENTACIÓN DE FUNCIONES LÓGICAS (II) FÓRMULA CANÓNICA DISYUNTIVA (SOP) MINTÉRMINO (mi): término producto en el que aparecen todas las variables, ya sean complementadas o sin complementar. FÓRMULA CANÓNICA DISYUNTIVA O DE MINTÉRMINOS: suma de mintérminos. (Suma de Productos) Dada la lista completa de mintérminos y asignando 1’s y 0’s arbitrariamente a las variables, siempre hay un, y sólo un, mintérmino que toma el valor 1. Un mintérmino es un término producto que es 1 exactamente en una línea de la tabla de Verdad. La fórmula compuesta por todos los mintérminos será idénticamente 1. Cada fórmula de conmutación puede expresarse como suma de mintérminos. Y esa fórmula es única. NOTACIÓN: Un mintérmino se designa por “mi” siendo i el número decimal correspondiente de la tabla de verdad. Para el producto, el 0 se asocia a la variable complementada y el 1 a la variable sin complementar. EJEMPLO: C B A F(C,B,A) 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 F(C,B,A) = m0 + m2 + m3 +m7 = Σ m(0,2,3,7) F(C,B,A) = C’·B’·A’ + C’·B·A’ + C’·B·A + C·B·A O bien F(C,B,A) = C·B·A + C·B·A + C·B·A + C·B·A
  • 6. Fundamentos de los Computadores. Álgebra de Boole. T3-6 REPRESENTACIÓN DE FUNCIONES LÓGICAS (III) FÓRMULA CANÓNICA CONJUNTIVA (POS) MAXTÉRMINO (Mi): término suma en el que aparecen todas las variables, ya sean complementadas o sin complementar. Fórmula Canónica Conjuntiva o de Maxtérminos: producto de maxtérminos. (Producto de sumas) Dada la lista completa de maxtérminos y asignando 1’s y 0’s arbitrariamente a las variables, siempre hay un y sólo un maxtérmino que toma el valor 0. Un maxtérmino es un término suma que es 0 exactamente en una línea de la tabla de verdad. La fórmula compuesta por todos los maxtérminos será idénticamente 0. Cada fórmula puede expresarse como producto de maxtérminos. Y es única. NOTACIÓN: Un maxtérmino se designa por “Mi” siendo i el número decimal correspondiente de la tabla de verdad. En la suma, el 1 se asocia a la variable complementada y el 0 a la variable sin complementar. EJEMPLO: C B A F(C,B,A) 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 F(C,B,A) = M1 · M4 · M5 · M6 = Π M(1,4,5,6) F(C,B,A) = (C+B+A’) · (C’+B+A) · (C’+B+A’) · (C’+B’+A) O bien F(C,B,A) = (C+B+A) · (C+B+A) · (C+B+A) · (C+B+A)
  • 7. Fundamentos de los Computadores. Álgebra de Boole. T3-7 REPRESENTACIÓN DE FUNCIONES LÓGICAS (IV) CONVERSIÓN Y MANIPULACIÓN DE FÓRMULAS El complemento de una fórmula de mintérminos está formado por la suma de los mintérminos que no aparecen. El complemento de una fórmula de maxtérminos está formado por el producto de los maxtérminos que no aparecen. mi’ = Mi Mi’ = mi La transformación de una fórmula de mintérminos (disyuntiva) en otra de maxtérminos (conjuntiva) se basa en la doble complementación, (F’)’ = F * * * Para FUNCIONES INCOMPLETAS en la tabla de verdad aparecerá una X o una letra d (del inglés don’t care) refiriéndose a términos sin especificar. C B A F(C,B,A) 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 X 1 0 0 0 1 0 1 X 1 1 0 0 1 1 1 1 F(C,B,A) = Σ m(0,2,7) + Φ(3,5) F(C,B,A) = Π M(1,4,6) · Φ(3,5) Complemento de una función incompleta: otra función incompleta con los mismos términos “no importa” y el complemento de la función completa. Las fórmulas de mintérminos y de maxtérminos de las funciones incompletas no son únicas.
  • 8. Fundamentos de los Computadores. Álgebra de Boole. T3-8 FUNCIONES BÁSICAS (I) FUNCIÓN OR, PUERTA OR: Tabla de Verdad Símbolo A B A+B 0 0 0 0 1 1 1 0 1 1 1 1 FUNCIÓN AND, PUERTA AND: Tabla de Verdad Símbolo A B A·B 0 0 0 0 1 0 1 0 0 1 1 1 FUNCIÓN NOT, INVERSOR: Tabla de Verdad Símbolo A A’ 0 1 1 0 Con estos tres tipos de puertas puede realizarse cualquier función de conmutación. Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede implementar cualquier función lógica. • Puerta AND, puerta OR e INVERSOR • Puerta AND e INVERSOR • Puerta OR e INVERSOR A B F = A · B A F = A’ A B F = A + B
  • 9. Fundamentos de los Computadores. Álgebra de Boole. T3-9 FUNCIONES BÁSICAS (II) FUNCIÓN NOR, PUERTA NOR: Es también un conjunto completo Tabla de Verdad Símbolo A B (A+B)’ 0 0 1 0 1 0 1 0 0 1 1 0 FUNCIÓN NAND, PUERTA NAND: Es también un conjunto completo Tabla de Verdad Símbolo A B (A·B)’ 0 0 1 0 1 1 1 0 1 1 1 0 FUNCIÓN XOR, PUERTA XOR: Es también un conjunto completo Tabla de Verdad Símbolo A B (A⊕B) 0 0 0 0 1 1 1 0 1 1 1 0 FUNCIÓN XNOR, PUERTA XNOR: Es también un conjunto completo Tabla de Verdad Símbolo A B (A⊕B)’ 0 0 1 0 1 0 1 0 0 1 1 1 A B F = (A · B)’ F = A’ + B’ A B F = (A ⊕ B) F = A’B + AB’ F = (A ⊕ B)’ F = AB + A’B’ A B F = (A + B)’ F = A’ · B’ A B
  • 10. Fundamentos de los Computadores. Álgebra de Boole. T3-10 IMPLEMENTACIÓN DE FUNCIONES BOOLEANAS MEDIANTE CONJUNTOS COMPLETOS (I) • NOT-AND-OR (preferentemente con SUMA de PRODUCTOS) Ejemplo 1: F(A,B,C) = AC + B’C + BC’ • NOT-OR-AND (preferentemente con PRODUCTO de SUMAS) Ejemplo 2: F(A,B,C) = (A+C) (B+C’) (B’+C) A B C C’ AC AC + B’C + BC’ B’ BC’ B’C A B C C’ A+C (A+C) (B+C’) (B’+C) B’ B+C’ B’+C
  • 11. Fundamentos de los Computadores. Álgebra de Boole. T3-11 IMPLEMENTACIÓN DE FUNCIONES BOOLEANAS MEDIANTE CONJUNTOS COMPLETOS (II) • NAND-NAND (preferentemente con SUMA de PRODUCTOS) Buscamos grupos de variables con la forma de salida de una puerta NAND. Ejemplo 1: F(A,B,C) = AC + B’C + BC’ Negamos 2 veces F(A,B,C) = AC + B’C + BC’ Aplicamos DeMorgan F(A,B,C) = AC · B’C · BC’ • NOR-NOR (preferentemente con PRODUCTO de SUMAS) Buscamos grupos de variables con la forma de salida de una puerta NOR. Ejemplo 2: F(A,B,C) = (A+C) (B+C’) (B’+C) Negamos 2 veces F(A,B,C) = (A+C) (B+C’) (B’+C) Aplicamos DeMorgan F(A,B,C) = (A+C) + (B’+C) + (B+C’) A B C C’ AC AC + B’C + BC’ B’ BC’ B’C A B C C’ A+C (A+C) (B+C’) (B’+C) B’ B+C’ B’+C