1

Electrnica Bsica

lgebra de Boole
Electrnica Digital

Jos Ramn Sendra Sendra Dpto. de Ingeniera Electrnica y Automtica ULPGC

LGEBRA DE BOOLE
a c

El lgebra de Boole sirve para solucionar este tipo de problemas

Circuito de conmutacin, p.e., sistema de control industrial, sistema telefnico, ordenador, etc. Pueden ser muy complicados

LGEBRA DE BOOLE
Consta de los siguientes elementos: Variables: X, Y, Z, A, B, ... 0 0 Voltios no hay corriente falso 1 5 Voltios hay corriente verdadero 0 Alta Impedancia Operaciones: (AND), + (OR) Las operaciones y + cumplen una serie de postulados

Valores

LGEBRA DE BOOLE
Postulados del lgebra de Boole:

P1 : P2 : P3 : P4 :

a + b = b + a conmutativa a b = b a 0 + a = a elementos neutros 1 a = a a (b + c) = a b + a c distributiva a + (b c) = (a + b) (a + c) a + a = 1 complementacin a a = 0

LGEBRA DE BOOLE
Tabla Resumen: Boole + 0 1 Conjunto Universo Lo contrario de a Conmutacin paralelo

a
b

serie siempre abierto siempre cerrado

LGEBRA DE BOOLE
Teoremas del lgebra de Boole:

T1 : T2: T3: T4:

+ dualidad 0 1 a + a = a idempotencia a a = a a + a b = a absorcin a (a + b) = a a + b + c = a + (b + c) = (a + b) + c asociativa a b c = a (b c) = (a b) c

LGEBRA DE BOOLE
Teoremas del lgebra de Boole:

T5: T6: T7: T8 :

doble negacin{a = a a + 1 = 1 a 0 = 0

Morgan{ f (a, b, c,...n) = f (a, b, c,...n) Shannon{ f (a, b, c,...n,+,) = f (a, b, c,...n,,+) f (a, b, c,...n) = [a f (1, b, c,...n)] + [a f (0, b, c,...n)] Expansin f (a, b, c,...n) = [a + f (0, b, c,...n)] [a + f (1, b, c,...n)]

T9:

LGEBRA DE BOOLE
Funcin Booleana: F(A,B,C,...) el valor lgico de F depende de A,B,C,... Una funcin booleana o funcin lgica es una variable binaria cuyo valor es igual al de la expresin algebraica en la que se relacionan entre s las variables binarias por medio de los operadores lgicos bsicos (, + y negacin). Ej:

F = ABC + AB + ABC + BC

F=1 cuando A=B=C=1 o A=1 y B=0 o A=0 y B=C=1 o B=1 y C=0

LGEBRA DE BOOLE
Definiciones: Una funcin est completamente especificada cuando para cada una de las posibles combinaciones de las variables de entrada le corresponde un valor nico y definido de la funcin. Una funcin est incompleta cuando para una o ms combinaciones de entrada se le puede asignar a la funcin el valor 0 o 1 indistintamente. Se llama trmino cannico de una funcin lgica a todo producto o suma en el que aparecen todas las variables (o sus complementos) de esa funcin: Trminos productos Trminos suma productos cannicos o MINITRMINOS sumas cannicas o MAXITRMINOS

10

LGEBRA DE BOOLE
Cuando una funcin est expresada como suma de productos cannicos (SDP) o como producto de sumas cannicas (PDS) se dice que est en forma cannica.

Dos funciones booleanas se dice que son equivalentes (F1 = F2) si y slo si describen la misma funcin de conmutacin

La tabla de verdad de una funcin lgica es una forma de representacin de la misma en la que se indica el valor 0 o 1 que toma la funcin para cada una de las combinaciones de valores de las variables de dicha funcin.

11

LGEBRA DE BOOLE
Funciones Lgicas Bsicas: Funcin AND F=XY
X Y Z

X 0 0 1 1

Y 0 1 0 1

Z 0 0 0 1

Funcin OR F=X+Y
X Y

X 0 0 1 1

Y 0 1 0 1

Z 0 1 1 1

Funcin NOT F=X

X X X 0 1 X 1 0

12

LGEBRA DE BOOLE
Funciones Lgicas Bsicas: Funcin NAND F=XY
X Y Z

X 0 0 1 1

Y 0 1 0 1

Z 1 1 1 0

Funcin NOR F=X+Y

X Y

X 0 0 1 1

Y 0 1 0 1

Z 1 0 0 0

13

LGEBRA DE BOOLE
Otras Funciones Importantes: Funcin XOR (OR EXCLUSIVA)
F = X Y = X Y + X Y = ( X + Y )( X + Y )
Propiedad
X Y

X 0 0 1 1

Y 0 1 0 1

Z 0 1 1 0

F = X Y = X Y = X Y = X Y
Para n variables: F=1 si un n impar de variables est a 1 F=0 si un n par de variables est a 1

14

LGEBRA DE BOOLE
Otras Funciones Importantes: Funcin XNOR
F = X Y = X Y + XY
Propiedad
X Y

X 0 0 1 1

Y 0 1 0 1

Z 1 0 0 1

F = X Y = X Y = X Y
Para n variables: F=0 si un n impar de variables est a 1 F=1 si un n par de variables est a 1

15

LGEBRA DE BOOLE
Conjuntos completos para la realizacin de funciones AND y NOT OR y NOT NAND NOR Es decir cualquier funcin lgica se puede hacer con uno de estos conjuntos

Nivel de un circuito Nmero de puertas lgicas que atraviesa la informacin desde la entrada a la salida del circuito en el caso peor interesa que sea lo ms pequeo posible ya que cada puerta introduce un retardo

16

LGEBRA DE BOOLE
Representacin de variables lgicas 1 tensiones positivas 0 tensiones negativas
Ej: TTL 1 5V 0 0V

lgica positiva

lgica negativa

1 tensiones negativas 0 tensiones positivas

Ej: RS232

1 entre -10V y -15V 0 entre 10V y 15V

17

LGEBRA DE BOOLE
Salida triestado o salida en alta impedancia o salida en colector abierto La salida tiene un transistor en colector abierto de forma que cuando tiene que salir un 0 lgico tenemos 0V pero cuando tiene que salir un 1 lgico el transistor se pone en OFF y lo que tenemos es una alta impedancia

Salida

Para que haya 5V a la salida cuando tiene que salir un 1 lgico hacemos lo siguiente:
+Vcc

Salida

18

LGEBRA DE BOOLE
Simplificacin de funciones lgicas Hay dos mtodos: Tablas de Karnaugh hasta 5 variables Mtodo de Quine - Mc Cluskey por ordenador (ms vbles)