Tema6 AlgebraBOOLE

1
Mara Jess Martn Martnez : mjmm@usal.es

TEMA 6. ALGEBRA DE BOOLE
TEMA 6. ALGEBRA DE BOOLE
IEEE 125 Aniversary: http://www.flickr.com/photos/ieee125/with/2809342254/
http://www.tech-faq.com/wp-content/uploads/images/integrated-circuit-layout.jpg
2
TEMA 6 TEMA 6 - - ALGEBRA DE BOOLE Y FUNCIONES L ALGEBRA DE BOOLE Y FUNCIONES L GICAS GICAS
6.1. Introducci 6.1. Introducci n n
6.2. 6.2. lgebra de lgebra de Boole Boole
6.3. An 6.3. An lisis lisis booleano booleano de circuitos l de circuitos l gicos. Tablas de gicos. Tablas de
verdad verdad
6.4. Algoritmos de simplificaci 6.4. Algoritmos de simplificaci n de expresiones l n de expresiones l gicas gicas
6.5. Implementaci 6.5. Implementaci n de funciones l n de funciones l gicas mediante puertas gicas mediante puertas
l l gicas gicas
3
La Electrnica Digital la realizacin electrnica (implementacin) de funciones
booleanas
En esta leccin vamos a plantear el formalismo asociado al lgebra de Boole.
PASOS:
Inicialmente estableceremos las bases matemticas asociadas al lgebra de Boole.
Despus analizaremos la representacin de las variables lgicas por magnitudes
fsicas, indicando los mdulos mnimos para la sntesis de funciones.
Estudiaremos algn mtodo para simplificar en alguna forma las funciones booleanas.
Por ltimo, se realiza su implementacin circuital.
El lgebra booleana son reglas algebraicas, basadas en la teora de conjuntos,
para manejar ecuaciones de lgica matemtica.
La lgica matemtica trata con proposiciones, elementos de circuitos de dos estados,
etc., asociados por medio de operadores como Y, O, NO, EXCEPTO, SI...
Permite clculos y demostraciones como cualquier parte de las matemticas.
Es llamada as en honor del matemtico George Boole, que la introdujo en 1847.
TEMA 6. ALGEBRA DE BOOLE TEMA 6. ALGEBRA DE BOOLE
6.1. INTRODUCCI 6.1. INTRODUCCI N N
4
DEFINICION de Algebra boole :
Se dice que un conjunto de elementos B, en el que existen definidas dos operaciones
binarias (que representaremos por + y por ) tiene estructura de lgebra de Boole si y solo
si se cumplen los siguientes cuatro postulados:
Las operaciones + y son conmutativas.
Ejemplo: a + b = b + a y a b = b a
Existen en B dos elementos neutros, que denotaremos por 0 y 1, para las operaciones
+ y , respectivamente.
a + 0 = a y a 1 = a
Cada operacin es distributiva con respecto a la otra (expresa el proceso de sacar
factor comn).
Ejemplo (tres variables): a(b+c) = ab + ac
Para cada elemento a de B existe un tal que:
6.2. ALGEBRA DE BOOLE Y BINARIA 6.2. ALGEBRA DE BOOLE Y BINARIA
1 y 0 a a a a + = = a
5
1 0 1 1 1 1
0 0 0 1 0 0
1 0 1 0 +
En Electrnica Digital estamos interesados en el lgebra de Boole establecida
en el conjunto con las operaciones + y definidas por:
Estas operaciones se cumplen los 4 postulados anteriores.Llamaremos:
AND (Y lgico) a la operacin
OR (O lgico) a la operacin +
NOT (NO lgico) a la operacin de complementacin.
NOTA; Por simplicidad, de ahora en adelante usaremos la representacin xy en vez de la xy para la
composicin de las variables x e y mediante la operacin .
La Electrnica Digital: estudio y realizacin de circuitos que realicen las funciones
AND, OR, NOT y sus combinaciones.
{ }
0 1 B , =
6
Existen una serie de teoremas, vlidos en cualquier lgebra de Boole, que
vamos a enunciar y que no demostraremos, los cuales nos sern de gran utilidad
para la simplificacin de funciones:
Teorema 1. Principio de dualidad: Cada proposicin o identidad algebraica deducible
de los postulados del lgebra de Boole permanece vlida si:
cambiamos entre si las operaciones + y ,
y tambin cambiamos entre si los elementos neutros 0 y 1.
Teorema 2.
Teorema 3.
Teorema 4. Ley de absorcin
Teorema 5.
Asociatividad de las operaciones + y
x x x + =
xx x =
1 1 x + = 0 0 x =
x xy x + = ( ) x x y x + =
( ) ( ) x y z x y z + + = + + ( ) ( ) x yz xy z =
7
Teorema 6. El elemento asociado a x es nico
Teorema 7.
Teorema8. Teorema de De Morgan:
Teorema 9.
Teorema 10.
Si
Si
Si para cualquier z si y solo si
( ) x x =
x
x y x y = + x y x y + =
xy xy y + = ( ) ( )
x y x y y + + =
e x y y z x z
e x y x z x yz
x y x y z + x y y x
8
DEFINICION: Llamaremos funciones lgicas o funciones booleanas (f) a todo conjunto de variables
relacionadas entre s por una expresin que representa:
La combinacin de un conjunto finito de smbolos, representando constantes o variables
Unidos por las operaciones AND (producto lgico) , OR (suma lgica) o NOT (complementacin).
Trmino producto: es una expresin lgica que consiste en un conjunto de variables (o sus
complementadas) unidas por la operacin AND.
Trmino suma: es una expresin lgica que consiste en un conjunto de variables (o sus
complementadas) unidas por la operacin OR.
Un trmino producto standard o MINTERM: expresin lgica que consiste en un conjunto de TODAS
las variables (o sus complementadas) unidas por la operacin AND.
Un trmino suma standard o MAXTERM: expresin lgica que consiste en un conjunto de TODAS las
variables (o sus complementadas) unidas por la operacin OR.
y x z y x f + = ) , , (
y x z y x f = ) , , (
z y x z y x f + + = ) , , (
z y x z y x f = ) , , (
9
Con n variables se pueden formar 2
n
MINTERMS y 2
n
MAXTERMS
Formas cannicas de una funcin
Toda funcin booleana puede expresarse de dos formas cannicas diferentes:
ponerse en forma de suma de Minterms forma cannica disyuntiva.
O ponerse en forma de producto de Maxterms forma cannica conjuntiva.
Esa funcin algebraica se podr simplificar aplicando directamente las leyes del lgebra de
Boole, o bien, sistemticamente, a travs de mtodos de reduccin que veremos ms
adelante.
EJEMPLO N 1: Consideramos la funcin
Tenemos una funcin de 3 variables
Vamos a mostrar los 2
3
=8 Minterms y los 2
3
=8 Maxterms que podemos formar.
A los Minterms los vamos a llamar : m
i
(i=0 hasta 7), en total 8
A los Maxterms los vamos a llamar : M
i
(i=0 hasta 7), en total 8
Cada Mi cumple
( , , ) ( ) f x y z x y z = +
i i
m M =
10
EJEMPLO N 1: Consideramos la funcin
Para los Minterms: Los subndices i, en decimal, indican en binario la complementacin
o no complementacin de la correspondiente variable:
Asignando un 1 para la variable sin complementar
Asignando un 0 para la variable complementada.
Para los MASTERMS van al contrario
( , , ) ( ) f x y z x y z = +
Ejemplos:
el minterm m6= (f=1)
corresponde al 110 de la tabla
de verdad (asignando y a las
variables sin complementar y
complementadas,
respectivamente).
Ejemplo: el maxterm M2= (f=0)
se asigna al contrario
D. Pardo, et al. 1999
11
Si disponemos de la tabla de verdad de una funcin, es inmediato obtener la
expresin de la funcin, ya que
Si deseamos obtener la funcin como suma de minterms, podemos obtenerla escribiendo
la suma de los minterms asociados a aquellas combinaciones de valores de las variables
para las cuales la funcin vale 1 .
Esta suma vale uno solamente para los conjuntos de valores de las variables que hacen uno la
funcin.
Si deseamos obtenerla como producto de maxterms, debemos escribir el producto de los
maxterms asociados a aquellas combinaciones de valores de las variables para las cuales la
funcin vale 0 .
De este producto tenemos la certeza que es cero nicamente para los conjuntos de valores de las
variables que hacen cero la funcin.
12
Teniendo en cuenta la funcin:
f=1 si se cumple que x=1 y adems (y=1 o z=1)
Podemos expresar la funcin como:
La suma de los MINTERMS para los que la funcin toma valor 1
Producto de MAXTERMS para los que la funcin toma valor 0.
( , , ) ( ) f x y z x y z = +
13
La electrnica digital utiliza sistemas y circuitos en los que slo existen dos estados
posibles.
Estos estados se representan mediante dos niveles de tensin discretos y diferentes:
ALTO (H: high)
BAJO (L: low).
Estos dos estados pueden representarse tambin mediante niveles de corriente, interruptores
abiertos o cerrados, o lmparas encendidas o apagadas.
En los sistemas digitales, las combinaciones de estos dos estados se utilizan para representar
nmeros, smbolos, caracteres alfabticos y cualquier otro tipo de informacin.
6.3. REPRESENTAC DE VARS LOGICAS 6.3. REPRESENTAC DE VARS LOGICAS
Asignacin lgica
Los dos Digitos del sistema binario, 1 y 0, se denominan
bits (contraccin de BInary digiT).
Un 1 se representa mediante un nivel de tensin ms
elevado, que se denomina nivel ALTO (HIGH)
Un 0 se representa mediante un nivel ms bajo de tensin,
que se denomina nivel BAJO (LOW)
Este convenio se denomina: Lgica positiva y es la que
vamos a emplear a lo largo del curso.
14
Rango de niveles lgicos de tensin para un
circuito digital
Las tensiones que se utilizan para representar los unos y
ceros reciben el nombre de niveles lgicos.
Lo ideal sera que un nivel de tensin representara el
nivel ALTO y otro nivel de tensin representar el nivel
BAJO.
Sin embargo, en la prctica, un nivel ALTO o HIGH puede
ser cualquier tensin entre un mximo (VHmx) y un mnimo
(VHmin) especificados.
De igual manera un nivel BAJO o LOW puede ser cualquier
tensin comprendida entre un mximo (VLmx) y un mnimo
(VLmin) especificados.
Los valores de tensin comprendidas entre VLmx y
VHmin no son aceptables para un funcionamiento
correcto Una tensin dentro de este rango podra
interpretarse tanto como nivel ALTO como BAJO en un
circuito.
Ejemplo: En una lgica digital TTL:
Los valores del nivel ALTO pueden variar desde 2 V a 5 V
Los valores del nivel bajo lo pueden hacer entre 0 V y 0.8 V.
Si se aplica una tensin de 3.5 V, el circuito lo interpretar como un BAJO (LOW) o 0 binario. Para este tipo
de circuito las tensiones comprendidas entre 0.8 V y 2 V no son aceptables y nunca deben ser utilizadas.
http://zone.ni.com/cms/images/devzone/tut/voltagelevel.JPG
15
Ejemplo: Sin tener en cuenta su constitucin interna,
consideremos un circuito de dos entradas y una salida,
cuya representacin y salida en funcin de las entradas
como el que se muestra en la Figura.
Para una lgica definida positiva, este circuito realiza la
operacin AND
Sin embargo, con una lgica definida negativa el circuito
realiza la operacin OR.
C
A
B
5V 5V 5V
0V 5V 0V
0V 0V 5V
0V 0V 0V
V
C
V
B
V
A
Por tanto, al especificar el tipo de operacin que realiza un circuito, debe indicarse tambin
para qu tipo de lgica la realiza. En el caso de no especificarse, debe entenderse que es
para lgica definida positiva
16
Es conveniente representar los circuitos que realizan las funciones lgicas por ciertos
smbolos que a la hora de trabajar con ellos simplifiquen su manejo.
En lgica definida positiva, y dos entradas Las funciones lgicas elementales, tambin
llamadas puertas lgicas, son bsicamente tres:
6.4. PUERTAS LOGICAS 6.4. PUERTAS LOGICAS
a
b
Los circuitos que realiza la operacin:
NOT AND OR se representan por el
smbolo:
El circuito que realiza la operacin
NOT se representa por el smbolo:
a+b a. b
http://i.cmpnet.com/pldesignline/2006/05/max-bb-02.gif
17
Debemos hacer notar que no son necesarios los tres tipos de circuitos lgicos
(puertas) para realizar todas las operaciones en un lgebra de Boole Con dos de
ellas puede realizarse la tercera.
As tenemos, como se muestra en la Figura, que tres inversores y una puerta AND
(OR) actan como una puerta OR (AND).

y
xy
x x
x+y
y
Operaciones OR y AND
18
Existen operaciones compuestas de estas, como son:
La NAND (operacin AND seguida de la NOT). Su smbolo es:
La NOR (operacin OR seguida de la NOT), cuyo smbolo es:
La importancia de estas puertas radica en la simplificacin de ciertas funciones.

x
y
xy
x
y
x+y
19
De forma anloga a lo visto anteriormente para las puertas AND, OR y NOT.
Podemos comprobar que con un solo tipo de puerta (NAND o NOR) puede realizarse cualquier
operacin bsica en un lgebra de Boole.

y
x
x
x+y
y
x x
x
xy
y
x x
x
y
x+y
x
xy
a)
b)
x
y
y
En general, puede decirse que:
Como NOT pueden actuar:
Una puerta NAND con una sola
entrada (o con todas menos una
puestas a 1).
Una puerta NOR con una sola
entrada (o con todas menos una
puestas a 0).
Una asociacin en serie de un
nmero par de puertas
NAND tienen la apariencia de
una puerta AND.
NOR tienen la apariencia de una
puerta OR
Una asociacin en serie de un
nmero impar de puertas:
NAND tienen la apariencia de
una puerta OR.
NOR tienen la apariencia de una
puerta AND.
20
Por ltimo mencionaremos que existen como bloques bsicos dos puertas
denominadas OR-EXCLUSIVO y NOR-EXCLUSIVO, cuya funcin y smbolo son las
indicadas:
Diagrama lgico y smbolo 0R "exclusiva" Diagrama lgico y smbolo N0R "exclusiva"
http://www.forosdeelectronica.com/tutoriales/compuertas-digitales.htm
21
Representacin Tablas de verdad
Son unas representaciones grficas de todos los casos
que se pueden dar en una relacin algebraica y de sus
respectivos resultados.
Una vez que se ha determinado la expresin booleana de
un circuito dado, puede desarrollarse una tabla de verdad
que representa la salida (funcin) del circuito lgico para
todos los posibles valores de las entradas
Normalmente, la tabla de verdad suele ser el dato inicial a
la hora del diseo de circuitos digitales.
Cuanto mayor sea el nmero de variables de que consta
la funcin, ms tediosa ser la representacin.
6.5. REPRES. DE FUNCIONES LOGICAS 6.5. REPRES. DE FUNCIONES LOGICAS
Tabla de verdad de f(x,y,z)=xy+z
1 1 1 1
1 0 1 1
1 1 0 1
0 0 0 1
1 1 1 0
0 0 1 0
1 1 0 0
0 0 0 0
f z y x
Una funcin de Boole puede representarse, por una expresin algebraica.
Pero esta representacin no es nica.
22
Representacin Mapas de Karnaugh
Son similares a una tabla de verdad ya que muestra todos los posibles valores de las variables de
entrada y la salida resultante para cada valor.
Caractersticas de los Mapas de Karnaugh:
Esta organizado en una cuadrcula en forma de encasillado cuyo nmero de casillas depende del nmero de
variables que tenga la funcin a simplificar.
Para una funcin de n variables, el mapa consta de 2
n
cuadros, cada uno asociado a uno de los 2
n
minterms
diferentes que son suficientes para generar la funcin.
Las celdas se disponen de manera que la cada una se diferencia de la contigua (tanto en vertical como en
horizontal) justamente en el estado de complementacin de una variable.
Mapa de Karnaugh de 2 variables : matriz
de 2
2
celdas.
1 1 1
0 0 0
1 0 x y
1 1 1 1 1
0 1 0 0 0
10 11 01 00 x y
z
Mapa de Karnaugh de 3 variables:
matriz de 2
3
celdas.
Mapa de Karnaugh de 4
variables.:matriz de 2
4
celdas.
Asignacin de los minterms
http://www.ee.surrey.ac.uk/Projects/Labview/minimisation/graphics/nak.gif
23
Representacin Mapas de Karnaugh
En el caso de tener una funcin booleana de 5 variables, se construye mediante 2 mapas de 4
variables (con 16 celdas cada uno, uno de ellos correspondiente al valor 0 de la quinta variable y
el segundo correspondiente al valor 1.
Representacin Tablas de verdad y Mapas de Karnaugh
Cada una de las casillas que forman el mapa puede representar trminos tanto minterms como
maxterms.
Si representamos una funcin en forma de MINTERMs, pondremos un 1 en la casilla correspondiente a
cada trmino de la tabla de verdad y del mapa de Karnaugh.
Si la representamos en forma de MAXTERMS, pondremos un 0 en la casilla correspondiente a cada
trmino.
Si disponemos del mapa de Karnaugh de una funcin es inmediato obtener la expresin de la
funcin, de igual modo que desde una tabla de verdad.
24
0 1 1 1
1 0 1 1
0 1 0 1
1 0 0 1
1 1 1 0
0 0 1 0
0 1 0 0
1 0 0 0
Maxterms Minterms f z y x
Ejemplo Tablas de verdad y Mapas de Karnaugh
Consideremos la funcin definida por la tabla
de verdad. Podr ponerse como
Sin embargo, puede comprobarse que tambin
las expresiones
corresponden a la tabla de verdad.
x y z
+ + x y z
+ x y z +
x y z
x y z
+ + x y z
x y z
+ + x y z
Ejemplo de tabla de verdad
( , , ) f x y z x y z x y z x y z x y z = + + + =
( )( )( )( ) x y z x y z x y z x y z = + + + + + + + +
( , , ) f x y z y z x y z x y z = + + =
Debemos por tanto decir que la forma anteriormente propuesta, aunque correcta, no es la ms
simple, salvo en casos excepcionales.
Antes de proceder a implementar una funcin es conveniente, en general, intentar obtener su
forma ms sencilla, mediante su simplificacin.
( )( )( ) x y z x y z x z = + + + + +
25
Antes de proceder a implementar cualquier funcin con puertas lgicas es
conveniente obtenerla de forma ms sencilla mediante simplificacin.
La simplificacin de funciones lgicas puede obtenerse mediante la aplicacin de los
teoremas que hemos estudiado del Algebra de BOOLE.
6.5. SIMPLIFICACION DE FUNC. LOG. 6.5. SIMPLIFICACION DE FUNC. LOG.
Sin embargo, existen diferentes tcnicas de simplificacin
de funciones lgicas basadas en agrupar MINTERMS
que se diferencian en el estado de una variable
En un MINTERM figura complementada y en otro no
Las tcnicas mas usuales de simplificacin de modo
grfico son:
La utilizacin de los mapas de Karnaugh
La tcnica de Quine-McKluskey
Vamos a estudiar la de MAPAS DE KARNAUGH por ser
la mas sencilla.
http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Karnaugh_map_KV_4mal4_21.svg/600px-Karnaugh_map_KV_4mal4_21.svg.png
26
Simplificacin de funciones lgicas mediante mapas de Karnaugh. Consideraciones:
Se pueden hacer grupos de 2, 4, 8, 16, 32 o 64 (2
n
) casillas adyacentes
Adyacencia de celdas o minterms (como se muestra en la figura):
Segn los ejes coordenados (horizontal y vertical), pero nunca segn ejes diagonales.
Los grupos de casillas de los bordes de los mapas opuestos entre s.
El grupo de casillas constituido por las cuatro esquinas del mapa.
Adyacencia de celdas del Mapa de
Karnaugh 4 variables
Un minterm puede tomarse varias veces si conviene en
orden a la simplificacin de la funcin.
En un mapa de una funcin de n variables:
La adyacencia de dos 1 simplificacin de una
variable: esos dos minterms son representados por
un slo trmino de n-1 variables.
Cuatro 1 adyacentes podrn ser representados por
un trmino producto que simplifica dos variables:
quedara de n-2 , etc..
NOTA: Cuando tratemos de agrupar casillas para simplificar,
deberemos procurar conseguir grupos del mximo nmero de casillas,
pero respetando las normas anteriores.
27
TRUCO: Sealemos que en algunos casos pueden
introducirse MINTERMs inexistentes en la funcin a fin
de simplificarla, si se dan una de las dos condiciones
siguientes
NO OCURRE: es aquel minterm (combinacin de las
variables) que no tiene posibilidad fsica de aparecer.
NO IMPORTA: es aquel minterm que de estar presente
en la entrada, no se toma en consideracin el valor de la
funcin.
En cualquiera de estos dos casos el minterm se
tomar contribuyendo a la funcin como ms nos
interese para su mxima simplificacin.
Adyacencia de celdas del Mapa
de Karnaugh 4 variables
Simplificacin de funciones lgicas mediante mapas de Karnaugh. Consideraciones:
28
Ejemplo: Simplificar, mediante el mapa de Karnaugh la siguiente funcin:
donde el conjunto de valores:
El mapa de Karnaugh (denotando con * los minterms no ocurre y no importa):
La agrupacin I puede representarse por:
La agrupacin II puede representarse por:
La agrupacin III puede representarse por:
La funcin esta representada por la suma de tres trminos producto:
NOTA: los minterms no ocurre y no importa se han tomado como unos para mayor simplificacin.
*
- - 1 10
1
*
1 1 11
- - - - 01
- 1 1 - 00
10 11 01 00 x y
z v
( , , , ) f x y z v x y z v x y z v x y z v x y z v x y z v x y z v = + + + + +
I
II
III
v y z
v z
y z
( , , , ) f x y z v y z v z v y z = + +
el x=1, y=1, z=1, v=1 no ocurre
el x=1, y=0, z=1, v=0 no importa.
29
Agradecimientos
Daniel Pardo Collantes. rea de electrnica. Departamento de Fsica Aplicada
de la Universidad de Salamanca.
Referencias
Pardo Collantes, Daniel; Bailn Vega, Lus A., Elementos de
Electrnica.Universidad de Valladolid. Secretariado de Publicaciones e
Intercambio Editorial.1999.
http://www.forosdeelectronica.com/tutoriales/compuertas-digitales.htm
http://i.cmpnet.com/pldesignline/2006/05/max-bb-02.gif
http://zone.ni.com/cms/images/devzone/tut/voltagelevel.JPG
http://www.ee.surrey.ac.uk/Projects/Labview/minimisation/graphics/nak.gif
http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Karnaugh_map_KV_
4mal4_21.svg/600px-Karnaugh_map_KV_4mal4_21.svg.png

Tema6 AlgebraBOOLE

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema6 AlgebraBOOLE

Cargado por

Copyright:

Formatos disponibles

1

Mara Jess Martn Martnez : mjmm@usal.es

También podría gustarte