SlideShare una empresa de Scribd logo
1 de 9
Descargar para leer sin conexión
Fundamentos de los Computadores. Álgebra de Boole. 1
3. ÁLGEBRA DE BOOLE
Un sistema de elementos B y dos operaciones binarias cerradas (·) y (+) se
denomina ALGEBRA de BOOLE siempre y cuando se cumplan 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.
TEOREMAS:
Teorema 1: el elemento complemento A’ es único.
Teorema de los 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
Fundamentos de los Computadores. Álgebra de Boole. 2
Teorema de idempotencia: para cada elemento de B, se verifica:
A+A=A
A·A=A
Teorema de involución: para cada elemento de B, se verifica:
(A’)’ = A
Teorema de 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
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B)’ = A’·B’
(A·B)’ = A’ + B’
Teorema de asociatividad: cada uno de los operadores binarios (+) y (·) cumple
la propiedad asociativa:
A+(B+C) = (A+B)+C
A·(B·C) = (A·B)·C
ÁLGEBRA DE CONMUTACIÓN
UN ÁLGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y
LOS OPERADORES 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
Fundamentos de los Computadores. Álgebra de Boole. 3
FUNCIONES EN EL ÁLGEBRA DE BOOLE
Función completa es una función que se encuentra definida para todas las
combinaciones de las variables de entrada.
Tabla de VERDAD: forma de representación de funciones, dando el valor de la
función para cada combinación de entrada.
X1 X2 X3 F(X1, X2, X3)
0 0 0 F(0,0,0)
0 0 1 F(0,0,1)
0 1 0 F(0,1,0)
0 1 1 F(0,1,1)
1 0 0 F(1,0,0)
1 0 1 F(1,0,1)
1 1 0 F(1,1,0)
1 1 1 F(1,1,1)
Fórmulas de conmutación: expresión de una función
1 y 0 son fórmulas
Xi es una fórmula si pertenece a {0,1}
Si A es una fórmula, A’ también lo es
Si A y B son fórmulas, A+B y A·B también lo son
Nada más es una fórmula, a menos que sigan los puntos anteriores un
número finito de pasos.
Cada fórmula describe una única función.
Dos fórmulas son equivalentes (A=B) si expresan la misma función de
conmutación.
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. 4
EXPRTESIÓN EN SUMA DE PRODUCTOS
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.
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. El 0 se asocia a la variable
complementada y el 1 a la variable sin complementar.
EJEMPLO:
X Y Z F(X,Y,Z)
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(X,Y,Z) = X’·Y’·Z’ + X’·Y·Z’ + X’·Y·Z + X·Y·Z
F(X,Y,Z) = m0 + m2 + m3 +m7 = Σ m(0,2,3,7)
Fundamentos de los Computadores. Álgebra de Boole. 5
EXPRESIÓN EN PRODUCTO DE SUMAS
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.
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. El 1 se asocia a la variable
complementada y el 0 a la variable sin complementar.
EJEMPLO:
X Y Z F(X,Y,Z)
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(X,Y,Z) = (X+Y+Z’) · (X’+Y+Z) · (X’+Y+Z’) · (X’+Y’+Z)
F(X,Y,Z) = M1 · M4 · M5 · M6 = Π M(1,4,5,6)
Fundamentos de los Computadores. Álgebra de Boole. 6
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
* * *
Funciones incompletas: funciones que no están definidas para todas las
combinaciones de las variables de entrada. En la tabla de verdad aparecerá un –
o una letra d (del inglés don’t care) refiriéndose a términos inespecificación o
términos no importa.
X Y Z F(X,Y,Z)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 -
1 0 0 0
1 0 1 -
1 1 0 0
1 1 1 1
F(X,Y,Z) = Σ m(0,2,7) + Φ(3,5)
F(X,Y,Z) = Π M(1,4,6) · Φ(3,5)
Complemento de una función incompleta: otra función incompleta con la misma
función inespecificación 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. 7
FUNCIONES BÁSICAS
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
B
F = A · B
A F = A’
Fundamentos de los Computadores. Álgebra de Boole. 8
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’
A
B
F = (A ⊕ B)
F = A’B + AB’
A
B
F = (A ⊕ B)’
F = AB + A’B’
Fundamentos de los Computadores. Álgebra de Boole. 9
CIRCUITOS DIGITALES Y FUNCIONES DE CONMUTACIÓN
Hay dos procesos en ingeniería:
• ANÁLISIS
• SÍNTESIS y DISEÑO
El ANÁLISIS se debe hacer tanto en estado transitorio (cuando las señales
están cambiando) como en estado estacionario (cuando las señales están ya
establecidas). En este curso sólo hablaremos de situaciones estacionarias.
Tres pasos:
1. Etiquetado de los diferentes nodos del circuito
2. Salida = etiqueta del nodo de salida
3. Creación de la tabla de Verdad, si se pide.
El DISEÑO se realiza a partir del planteamiento de un problema. Se obtiene
luego alguna de las fórmulas canónicas y se procede a la simplificación para
obtener un circuito de mínimo tamaño como se explicará en el próximo tema.
Ejemplo:
Para abrir una caja fuerte se dispone de tres llaves, la caja se abre si:
• Están giradas A y B independientemente de si lo está C.
• Cuando estando girada C, estén giradas A o B.
a
b
a
b
c
c’
(a+b)’ = a’·b’
a’·b’·c’
a·b
a·b + a’·b’·c’

Más contenido relacionado

La actualidad más candente

Simplificación de funciones aplicando el Álgebra de Boole
Simplificación de funciones aplicando el Álgebra de BooleSimplificación de funciones aplicando el Álgebra de Boole
Simplificación de funciones aplicando el Álgebra de BooleDanilo Vivenes
 
Clase 2a analisis de circuitos Circuitos en Serie
Clase 2a analisis de circuitos Circuitos en SerieClase 2a analisis de circuitos Circuitos en Serie
Clase 2a analisis de circuitos Circuitos en SerieTensor
 
Mi oppenheim - signals and systems 2ed solucionario
Mi oppenheim - signals and systems 2ed solucionarioMi oppenheim - signals and systems 2ed solucionario
Mi oppenheim - signals and systems 2ed solucionarioBureau Veritas
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalandres gonzalez
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
Resumen de propiedades de matrices y determinantes
Resumen de propiedades de  matrices y determinantesResumen de propiedades de  matrices y determinantes
Resumen de propiedades de matrices y determinantesa99carlitos
 
Tabla de operadores lógicos
Tabla de operadores lógicosTabla de operadores lógicos
Tabla de operadores lógicosMicco5W
 
Programación 3: listas y conjuntos en java
Programación 3: listas y conjuntos en javaProgramación 3: listas y conjuntos en java
Programación 3: listas y conjuntos en javaAngel Vázquez Patiño
 
Ejemplos Álgebra de Boole
Ejemplos Álgebra de BooleEjemplos Álgebra de Boole
Ejemplos Álgebra de Boolemfoc
 
Ecuaciones diferenciales lineales con coeficientes indeterminados
Ecuaciones diferenciales lineales con coeficientes indeterminadosEcuaciones diferenciales lineales con coeficientes indeterminados
Ecuaciones diferenciales lineales con coeficientes indeterminadossheep242
 

La actualidad más candente (20)

Simplificación de funciones aplicando el Álgebra de Boole
Simplificación de funciones aplicando el Álgebra de BooleSimplificación de funciones aplicando el Álgebra de Boole
Simplificación de funciones aplicando el Álgebra de Boole
 
2.4. Compuertas AND - OR con Diodos
2.4. Compuertas AND - OR con Diodos2.4. Compuertas AND - OR con Diodos
2.4. Compuertas AND - OR con Diodos
 
Álgebra booleana
Álgebra booleanaÁlgebra booleana
Álgebra booleana
 
Clase 2a analisis de circuitos Circuitos en Serie
Clase 2a analisis de circuitos Circuitos en SerieClase 2a analisis de circuitos Circuitos en Serie
Clase 2a analisis de circuitos Circuitos en Serie
 
Mi oppenheim - signals and systems 2ed solucionario
Mi oppenheim - signals and systems 2ed solucionarioMi oppenheim - signals and systems 2ed solucionario
Mi oppenheim - signals and systems 2ed solucionario
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
3 Operaciones Binarias
3  Operaciones Binarias3  Operaciones Binarias
3 Operaciones Binarias
 
Electrónica digital
Electrónica digitalElectrónica digital
Electrónica digital
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Resumen de propiedades de matrices y determinantes
Resumen de propiedades de  matrices y determinantesResumen de propiedades de  matrices y determinantes
Resumen de propiedades de matrices y determinantes
 
Circuitos RLC
Circuitos RLCCircuitos RLC
Circuitos RLC
 
Tabla de operadores lógicos
Tabla de operadores lógicosTabla de operadores lógicos
Tabla de operadores lógicos
 
Codigos binarios
Codigos binariosCodigos binarios
Codigos binarios
 
Programación 3: listas y conjuntos en java
Programación 3: listas y conjuntos en javaProgramación 3: listas y conjuntos en java
Programación 3: listas y conjuntos en java
 
Ejemplos Álgebra de Boole
Ejemplos Álgebra de BooleEjemplos Álgebra de Boole
Ejemplos Álgebra de Boole
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Ecuaciones diferenciales lineales con coeficientes indeterminados
Ecuaciones diferenciales lineales con coeficientes indeterminadosEcuaciones diferenciales lineales con coeficientes indeterminados
Ecuaciones diferenciales lineales con coeficientes indeterminados
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de Boole
 
Compuertas lógicas
Compuertas lógicasCompuertas lógicas
Compuertas lógicas
 

Similar a Álgebra de Boole fundamentos

álgebra de boole
álgebra de booleálgebra de boole
álgebra de booleBetzi Lira
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Betzi Lira
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanasAli Salcedo
 
Electrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicasElectrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicasSANTIAGO PABLO ALBERTO
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.raymel-2411
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanajesusmora18
 
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
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanabrayer1
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnologíaBrayer Yepez
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologicoMaira Montes de Oca
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologicoMaira Montes de Oca
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansysjhonreyes28
 
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_booleTema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_boolehacaveks
 

Similar a Álgebra de Boole fundamentos (20)

algebra de BOOLE.pdf
algebra de BOOLE.pdfalgebra de BOOLE.pdf
algebra de BOOLE.pdf
 
Albrebra booleana
Albrebra booleanaAlbrebra booleana
Albrebra booleana
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanas
 
Electrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicasElectrónica digital: Tema 3 Representación y minimización de funciones lógicas
Electrónica digital: Tema 3 Representación y minimización de funciones lógicas
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.
 
á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....
 
á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
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
Instituto universitario tengnologico
Instituto universitario tengnologicoInstituto universitario tengnologico
Instituto universitario tengnologico
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansys
 
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
 
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_booleTema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
 

Álgebra de Boole fundamentos

  • 1. Fundamentos de los Computadores. Álgebra de Boole. 1 3. ÁLGEBRA DE BOOLE Un sistema de elementos B y dos operaciones binarias cerradas (·) y (+) se denomina ALGEBRA de BOOLE siempre y cuando se cumplan 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. TEOREMAS: Teorema 1: el elemento complemento A’ es único. Teorema de los 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
  • 2. Fundamentos de los Computadores. Álgebra de Boole. 2 Teorema de idempotencia: para cada elemento de B, se verifica: A+A=A A·A=A Teorema de involución: para cada elemento de B, se verifica: (A’)’ = A Teorema de 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 LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B)’ = A’·B’ (A·B)’ = A’ + B’ Teorema de asociatividad: cada uno de los operadores binarios (+) y (·) cumple la propiedad asociativa: A+(B+C) = (A+B)+C A·(B·C) = (A·B)·C ÁLGEBRA DE CONMUTACIÓN UN ÁLGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y LOS OPERADORES 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
  • 3. Fundamentos de los Computadores. Álgebra de Boole. 3 FUNCIONES EN EL ÁLGEBRA DE BOOLE Función completa es una función que se encuentra definida para todas las combinaciones de las variables de entrada. Tabla de VERDAD: forma de representación de funciones, dando el valor de la función para cada combinación de entrada. X1 X2 X3 F(X1, X2, X3) 0 0 0 F(0,0,0) 0 0 1 F(0,0,1) 0 1 0 F(0,1,0) 0 1 1 F(0,1,1) 1 0 0 F(1,0,0) 1 0 1 F(1,0,1) 1 1 0 F(1,1,0) 1 1 1 F(1,1,1) Fórmulas de conmutación: expresión de una función 1 y 0 son fórmulas Xi es una fórmula si pertenece a {0,1} Si A es una fórmula, A’ también lo es Si A y B son fórmulas, A+B y A·B también lo son Nada más es una fórmula, a menos que sigan los puntos anteriores un número finito de pasos. Cada fórmula describe una única función. Dos fórmulas son equivalentes (A=B) si expresan la misma función de conmutación. 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.
  • 4. Fundamentos de los Computadores. Álgebra de Boole. 4 EXPRTESIÓN EN SUMA DE PRODUCTOS 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. 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. El 0 se asocia a la variable complementada y el 1 a la variable sin complementar. EJEMPLO: X Y Z F(X,Y,Z) 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(X,Y,Z) = X’·Y’·Z’ + X’·Y·Z’ + X’·Y·Z + X·Y·Z F(X,Y,Z) = m0 + m2 + m3 +m7 = Σ m(0,2,3,7)
  • 5. Fundamentos de los Computadores. Álgebra de Boole. 5 EXPRESIÓN EN PRODUCTO DE SUMAS 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. 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. El 1 se asocia a la variable complementada y el 0 a la variable sin complementar. EJEMPLO: X Y Z F(X,Y,Z) 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(X,Y,Z) = (X+Y+Z’) · (X’+Y+Z) · (X’+Y+Z’) · (X’+Y’+Z) F(X,Y,Z) = M1 · M4 · M5 · M6 = Π M(1,4,5,6)
  • 6. Fundamentos de los Computadores. Álgebra de Boole. 6 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 * * * Funciones incompletas: funciones que no están definidas para todas las combinaciones de las variables de entrada. En la tabla de verdad aparecerá un – o una letra d (del inglés don’t care) refiriéndose a términos inespecificación o términos no importa. X Y Z F(X,Y,Z) 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 - 1 0 0 0 1 0 1 - 1 1 0 0 1 1 1 1 F(X,Y,Z) = Σ m(0,2,7) + Φ(3,5) F(X,Y,Z) = Π M(1,4,6) · Φ(3,5) Complemento de una función incompleta: otra función incompleta con la misma función inespecificación 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.
  • 7. Fundamentos de los Computadores. Álgebra de Boole. 7 FUNCIONES BÁSICAS 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 B F = A · B A F = A’
  • 8. Fundamentos de los Computadores. Álgebra de Boole. 8 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’ A B F = (A ⊕ B) F = A’B + AB’ A B F = (A ⊕ B)’ F = AB + A’B’
  • 9. Fundamentos de los Computadores. Álgebra de Boole. 9 CIRCUITOS DIGITALES Y FUNCIONES DE CONMUTACIÓN Hay dos procesos en ingeniería: • ANÁLISIS • SÍNTESIS y DISEÑO El ANÁLISIS se debe hacer tanto en estado transitorio (cuando las señales están cambiando) como en estado estacionario (cuando las señales están ya establecidas). En este curso sólo hablaremos de situaciones estacionarias. Tres pasos: 1. Etiquetado de los diferentes nodos del circuito 2. Salida = etiqueta del nodo de salida 3. Creación de la tabla de Verdad, si se pide. El DISEÑO se realiza a partir del planteamiento de un problema. Se obtiene luego alguna de las fórmulas canónicas y se procede a la simplificación para obtener un circuito de mínimo tamaño como se explicará en el próximo tema. Ejemplo: Para abrir una caja fuerte se dispone de tres llaves, la caja se abre si: • Están giradas A y B independientemente de si lo está C. • Cuando estando girada C, estén giradas A o B. a b a b c c’ (a+b)’ = a’·b’ a’·b’·c’ a·b a·b + a’·b’·c’