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 (20)

Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de 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 ...
 
Diseno logico
Diseno logicoDiseno logico
Diseno logico
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Algebra Booleana
Algebra Booleana Algebra Booleana
Algebra Booleana
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanas
 
circuitos digitales avansys
circuitos digitales avansyscircuitos digitales avansys
circuitos digitales avansys
 
Algebra Boole.ppt
Algebra Boole.pptAlgebra Boole.ppt
Algebra Boole.ppt
 
Algebra booleana y circuitos lógicos
Algebra booleana y circuitos lógicosAlgebra booleana y circuitos lógicos
Algebra booleana y circuitos lógicos
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanas
 

Destacado

Active directory 2008
Active directory 2008Active directory 2008
Active directory 2008Fitrymaharani
 
El muro más minado y el menos conocido
El muro más minado y el menos conocidoEl muro más minado y el menos conocido
El muro más minado y el menos conocidoCrónicas del despojo
 
How to do business with the federal government
How to do business with the federal governmentHow to do business with the federal government
How to do business with the federal governmentgaardi201
 
atlas cycles(haryana) pvt. ltd.
atlas cycles(haryana) pvt. ltd.atlas cycles(haryana) pvt. ltd.
atlas cycles(haryana) pvt. ltd.TANMOY CHAKRABORTY
 
Vocabulario básico para infantil
Vocabulario básico para infantilVocabulario básico para infantil
Vocabulario básico para infantiltamaraisach
 
Vingadores a era de ultron
Vingadores a era de ultronVingadores a era de ultron
Vingadores a era de ultronMeio & Mensagem
 
Konferencja kultura pierwszego kontaktu
Konferencja kultura pierwszego kontaktuKonferencja kultura pierwszego kontaktu
Konferencja kultura pierwszego kontaktuMałgorzata Bednarek
 
Proyecto Aula Beatriz Arenas Rodriguez
Proyecto Aula Beatriz Arenas RodriguezProyecto Aula Beatriz Arenas Rodriguez
Proyecto Aula Beatriz Arenas RodriguezRodrigo Becerril
 
An approach to compare graphs using vertex degrees - graph isomorphism
An approach to compare graphs using vertex degrees - graph isomorphismAn approach to compare graphs using vertex degrees - graph isomorphism
An approach to compare graphs using vertex degrees - graph isomorphismSandeep Kunkunuru
 
La millor consola - Sergio Robles & Hector Perez
La millor consola - Sergio Robles & Hector PerezLa millor consola - Sergio Robles & Hector Perez
La millor consola - Sergio Robles & Hector Perezssergiio4
 
Dispositivos Perifericos
Dispositivos PerifericosDispositivos Perifericos
Dispositivos PerifericoswendyRM
 

Destacado (17)

Active directory 2008
Active directory 2008Active directory 2008
Active directory 2008
 
Manual Cooltext
Manual CooltextManual Cooltext
Manual Cooltext
 
El muro más minado y el menos conocido
El muro más minado y el menos conocidoEl muro más minado y el menos conocido
El muro más minado y el menos conocido
 
How to do business with the federal government
How to do business with the federal governmentHow to do business with the federal government
How to do business with the federal government
 
ppt ga machine
ppt ga machineppt ga machine
ppt ga machine
 
atlas cycles(haryana) pvt. ltd.
atlas cycles(haryana) pvt. ltd.atlas cycles(haryana) pvt. ltd.
atlas cycles(haryana) pvt. ltd.
 
Vocabulario básico para infantil
Vocabulario básico para infantilVocabulario básico para infantil
Vocabulario básico para infantil
 
Vingadores a era de ultron
Vingadores a era de ultronVingadores a era de ultron
Vingadores a era de ultron
 
Konferencja kultura pierwszego kontaktu
Konferencja kultura pierwszego kontaktuKonferencja kultura pierwszego kontaktu
Konferencja kultura pierwszego kontaktu
 
Las tics
Las ticsLas tics
Las tics
 
Ai zhongguo
Ai zhongguoAi zhongguo
Ai zhongguo
 
Proyecto Aula Beatriz Arenas Rodriguez
Proyecto Aula Beatriz Arenas RodriguezProyecto Aula Beatriz Arenas Rodriguez
Proyecto Aula Beatriz Arenas Rodriguez
 
An approach to compare graphs using vertex degrees - graph isomorphism
An approach to compare graphs using vertex degrees - graph isomorphismAn approach to compare graphs using vertex degrees - graph isomorphism
An approach to compare graphs using vertex degrees - graph isomorphism
 
Navidad
NavidadNavidad
Navidad
 
La millor consola - Sergio Robles & Hector Perez
La millor consola - Sergio Robles & Hector PerezLa millor consola - Sergio Robles & Hector Perez
La millor consola - Sergio Robles & Hector Perez
 
ICI & ITD
ICI & ITD ICI & ITD
ICI & ITD
 
Dispositivos Perifericos
Dispositivos PerifericosDispositivos Perifericos
Dispositivos Perifericos
 

Similar a Álgebra de Boole fundamentos

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
 
á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
 
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
 
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
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boolenanhuillca
 
El algebra de george boole ccesa007
El algebra de george boole ccesa007El algebra de george boole ccesa007
El algebra de george boole ccesa007Demetrio Ccesa Rayme
 
Unidad_4_ALGEBRA_BOOLEANA.pptx
Unidad_4_ALGEBRA_BOOLEANA.pptxUnidad_4_ALGEBRA_BOOLEANA.pptx
Unidad_4_ALGEBRA_BOOLEANA.pptxOmarMorales393717
 
Algebra boole
Algebra booleAlgebra boole
Algebra booledivadlfc
 
Circuitos combinacionales
Circuitos combinacionalesCircuitos combinacionales
Circuitos combinacionalesJesus Mora
 

Similar a Álgebra de Boole fundamentos (20)

algebra de BOOLE.pdf
algebra de BOOLE.pdfalgebra de BOOLE.pdf
algebra de BOOLE.pdf
 
Algebra d boole
Algebra d booleAlgebra d boole
Algebra d boole
 
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
 
á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....
 
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
 
mi trabajo Algebra de boole
mi trabajo Algebra de boolemi trabajo Algebra de boole
mi trabajo 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
 
tema 01 sistemas digitales
tema 01 sistemas digitalestema 01 sistemas digitales
tema 01 sistemas digitales
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
El algebra de george boole ccesa007
El algebra de george boole ccesa007El algebra de george boole ccesa007
El algebra de george boole ccesa007
 
Unidad_4_ALGEBRA_BOOLEANA.pptx
Unidad_4_ALGEBRA_BOOLEANA.pptxUnidad_4_ALGEBRA_BOOLEANA.pptx
Unidad_4_ALGEBRA_BOOLEANA.pptx
 
Algebra boole
Algebra boole Algebra boole
Algebra boole
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Circuitos combinacionales
Circuitos combinacionalesCircuitos combinacionales
Circuitos combinacionales
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra 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’