Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema06 AlgebraBOOLE PDF
Tema06 AlgebraBOOLE PDF
ALGEBRA DE BOOLE
http://www.tech-faq.com/wp-content/uploads/images/integrated-circuit-layout.jpg
6.1. Introduccin
6.2. lgebra de Boole
6.3. Anlisis booleano de circuitos lgicos. Tablas de
verdad
6.4. Algoritmos de simplificacin de expresiones lgicas
6.5. Implementacin de funciones lgicas mediante puertas
lgicas
6.1. INTRODUCCIN
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.
a+b=b+a
Ejemplo:
ab=ba
Existen en B dos elementos neutros, que denotaremos por 0 y 1, para las operaciones
+ y , respectivamente.
a+0= a
y
a 1= a
a(b+c) = ab + ac
de B existe un
tal que:
a +a =1 y aa = 0
La Electrnica Digital: estudio y realizacin de circuitos que realicen las funciones
x+x = x
xx = x
Teorema 3.
x +1 = 1
x0 = 0
x + xy = x
x( x + y ) = x
Teorema 5.
Asociatividad de las operaciones + y
Teorema 2.
x + ( y + z) = ( x + y) + z
x( yz ) = ( xy ) z
asociado a
Teorema 6. El elemento
es nico
Teorema 7.
xy=x+y
Teorema 9.
xy + xy = y ( x + y )( x + y ) = y
Teorema 10.
(x) = x
Si
x y e yz xz
Si
x y e x z x yz
Si
x y
x y+z
para cualquier z
x+ y = x y
x y
si y solo si
yx
7
DEFINICION: Llamaremos funciones lgicas o funciones booleanas (f) a todo conjunto de variables
relacionadas entre s por una expresin que representa:
Trmino producto: es una expresin lgica que consiste en un conjunto de variables (o sus
complementadas) unidas por la operacin AND.
f ( x, y , z ) = x y
Trmino suma: es una expresin lgica que consiste en un conjunto de variables (o sus
complementadas) unidas por la operacin OR.
f ( x, y , z ) = x + y
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.
f ( x, y , z ) = x y z
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.
f ( x, y , z ) = x + y + z
Mara Jess Martn Martnez : mjmm@usal.es
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.
f ( x, y , z ) = x ( y + z )
Cada Mi cumple
M i = mi
Mara Jess Martn Martnez : mjmm@usal.es
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
10
Esta suma vale uno solamente para los conjuntos de valores de las variables que hacen uno la
funcin.
De este producto tenemos la certeza que es cero nicamente para los conjuntos de valores de las
variables que hacen cero la funcin.
11
f ( x, y , z ) = x ( y + z )
12
La electrnica digital utiliza sistemas y circuitos en los que slo existen dos estados
posibles.
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.
Asignacin lgica
13
http://zone.ni.com/cms/images/devzone/tut/voltagelevel.JPG
14
B
D. Pardo, et al. 1999
VA
VB
VC
0V
0V
0V
5V
0V
0V
0V
5V
0V
5V
5V
5V
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
15
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:
AND
OR
se representan por el
smbolo:
a. b
a+b
a
b
http://i.cmpnet.com/pldesignline/2006/05/max-bb-02.gif
16
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).
x
xy
x+y
y
Operaciones OR y AND
17
xy
x
y
x+y
y
D. Pardo, et al. 1999
18
Podemos comprobar que con un solo tipo de puerta (NAND o NOR) puede realizarse cualquier
operacin bsica en un lgebra de Boole.
xy
xx
x+y
x+y
yy
xy
y
a)
b)
D. Pardo, et al. 1999
19
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"
http://www.forosdeelectronica.com/tutoriales/compuertas-digitales.htm
20
21
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 2n cuadros, cada uno asociado a uno de los 2n 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.
xy
00
01
11
10
Mapa de Karnaugh de 4
variables.:matriz de 24 celdas.
Asignacin de los minterms
http://www.ee.surrey.ac.uk/Projects/Labview/minimisation/graphics/nak.gif
22
Cada una de las casillas que forman el mapa puede representar trminos tanto minterms como
maxterms.
23
Minterms
xyz
x +y +z
x + y +z
f ( x, y , z ) = y z + x y z + x y z =
= ( x + y + z )( x + y + z )( x + z )
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 )
Maxterms
xyz
xyz
x +y +z
xyz
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.
24
25
26
27
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
el x=1, y=1, z=1, v=1 no ocurre
el x=1, y=0, z=1, v=0 no importa.
xy
yz v
00
01
11
10
zv
I
zv
yz
00
01
11
10
II
III
f ( x, y , z, v ) = y z v + z v + y z
NOTA: los minterms no ocurre y no importa se han tomado como unos para mayor simplificacin.
Mara Jess Martn Martnez : mjmm@usal.es
28
Agradecimientos
Referencias
29