ALGEBRA BOOLEANA

George Boole 1854 Investigacin de las leyes del pensamiento, sobre las que se basan las teoras matemticas de la lgica y la probabilidad

LECCIN 2: Simplificacin de Funciones booleanas

Introduccin

Algebra de las operaciones Lgicas Es adecuada para expresar y analizar las operaciones de los circuitos lgicos Las matemticas bsicas para el estudio del diseo digital de los sistemas Tiene muchas aplicaciones

Teora de conjuntos Lgica Matemtica

Redes de conmutacin

Nos interesa la aplicacin a redes de conmutacin circuitos lgicos

2

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Operaciones Bsicas

Suma (OR) 0+0=0 + 0+1=1 1+0=1 1+1=1 Nota: No es lo mismo que la suma binaria. Multiplicacin (AND) 00=0 01=0 10=0 11=1

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Operaciones Bsicas

Negacin (NOT) 0 = 1 1 = 0

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Expresiones Booleanas

Las expresiones Booleanas estn formadas por la aplicacin de los operadores bsicos a una o mas variables o constantes tales como A, B, 0, 1, etc. Las expresiones simples consisten en solo una variable o una constante Las expresiones mas complicadas involucran a los operadores

AB+C [A(C+D)]+BE

Los parntesis indican la forma en como se va a realizar la operacin

Si no hay parntesis lo primero que se hace es la NOT (), luego la AND () y por ltimo la OR (+)
5

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Expresiones Booleanas y Circuitos Lgicos

Cada expresin lgica corresponde a un circuito lgico

A B B C C D + C+D A B E AB + (AB)+C

(C+D)A

((C+D)A) ((C+D)A)+BE + BE
6

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Expresiones Booleanas

Cada expresin Booleana se evala al sustituir el valor de 0 o 1 por cada una de las variables, segn sea el caso Cada aparicin de una variable o su complemento ser llamado como literal Entonces la siguiente expresin que tiene 3 variables tiene tambin 10 literales

ABC+AB+ABC+BC

El dominio de una expresin Booleana corresponde al conjunto de variables sobre las que la expresin esta definida El dominio de la expresin anterior es el conjunto formado por las variables {A, B, C} Cuando una expresin Booleana se transforma en un circuito lgico cada una de las literales de la expresin corresponde a una entrada de alguna compuerta
7

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Expresiones Booleanas Tablas de Verdad

Una tabla de verdad o tabla de combinaciones especifica los valores de la expresin Booleana para cada una de las posibles combinaciones de los valores binarios de las variables en la expresin

Esta tabla sirve para especificar los valores de salida del circuito lgico en trminos de los valores de las variables de entrada
El nmero de combinaciones (filas) que tendr la tabla depende del nmero de variables de entrada, y esta dado por la siguiente expresin 2n, donde n es el nmero de variables de entrada Se dice que dos expresiones lgicas son equivalentes si tienen la misma salida para las mismas combinaciones de las variables de entrada

AB+C = (A+C)(B+C)

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Expresiones Booleanas y Tablas

A B

B C

AB
+

(AB)+C

A B C 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1

B 1 1 0 0 1 1 0 0

AB 0 0 0 0 1 1 0 0

(AB)+C 0 1 0 1 1 1 0 1

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Teoremas Bsicos del lgebra de Boole

Operaciones con 1 0

X+0=X X+1=1 X0=0 X1=X

Leyes de Idempotencia

X+X=X XX=X

Leyes de Involucin

(X) = X

Leyes de Complemento

X + X = 1 X X =0
10

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Teoremas Bsicos del lgebra de Boole

Conmutacin

X+Y=Y+X XY=YX

Asociacin

(X + Y) + Z = X + (Y + Z) (X Y) Z = X (Y Z)

Distribucin

X(Y + Z) = XY + XZ X + YZ = (X + Y)(X + Z)

Teoremas de Simplificacin

XY + XY = X (X + Y)(X + Y) = X
11

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Teoremas Bsicos del lgebra de Boole

Teoremas de Simplificacin

X + XY = X X(X + Y) = X (X + Y)Y = XY XY + Y = X + Y

Ley de DeMorgan

(X + Y + Z) = X Y Z (X Y Z) = X + Y + Z

Dualidad

X + Y + Z = X Y Z X Y Z = X + Y + Z

Mdulo 1 Lgica Combinacional

12

LECCIN 2: Simplificacin de Funciones booleanas

Teoremas Bsicos del lgebra de Boole

Teoremas de Multiplicacin y Factorizacin

(X + Y) (X + Z) = XZ + XY XY + XZ = (X + Z) (X + Y) (X + Y)Y = XY XY + Y = X + Y

Teorema del Consenso

XY + YZ + XZ = XY + XZ (X + Y)(Y + Z)(X + Z) = (X + Y)(X + Z)

Mdulo 1 Lgica Combinacional

13

LECCIN 2: Simplificacin de Funciones booleanas

OR exclusiva y sus equivalencias

XOR 00=0 01=1 10=1 11=0

Algunas propiedades XY=YX (X Y) Z = X (Y Z) X(Y Z) = XY XZ (X Y) = X Y= X Y = XY + XY

Algunas propiedades X0=X X 1 = X XX=0 X X = 1

14

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Lgica Positiva y Lgica Negativa

En la lgica positiva el valor de 1 est asociado con el nivel mas alto de voltaje en un circuito lgico, generalmente es 5 Volts y el valor de 0 est asociado con el nivel mas bajo de voltaje que se tenga en el circuito lgico En la lgica negativa el valor de 1 est asociado con el nivel mas bajo e voltaje en un circuito lgico, y el valor de 0 esta asociado con el nivel mas alto del circuito lgico que generalmente es 5 Volts

Mdulo 1 Lgica Combinacional

15

LECCIN 2: Simplificacin de Funciones booleanas

Ejemplo
e1 e2 e3 Cto lgico e0 Tabla de funcionamiento del cto con lgica positiva Tabla de funcionamiento del cto con lgica negativa

Tabla de funcionamiento del cto

e1
0 0 0 0

e2
0 0 +V +V

e3
0 +V 0 +V

e0
0 0 0 0

e1
0 0 0 0 1 1

e2
0 0 1 1 0 0

e3
0 1 0 1 0 1

e0
0 0 0 0 0 0

e1
1 1 1 1 0 0

e2
1 1 0 0 1 1

e3
1 0 1 0 1 0

e0
1 1 1 1 1 1

+V
+V +V +V

0
0 +V +V

0
+V 0 +V

0
0 0 +V

1
1

1
1

0
1

0
1

0
0

0
0

1
0

1
0
16

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Validacin de una Ecuacin

Para determinar si una ecuacin es vlida a otra para todas las combinaciones de entrada existen varios mtodos: Construir una tabla de verdad para ambas ecuaciones y ver si los valores coinciden Manipular un lado de la ecuacin aplicando los diferentes teoremas hasta llegar a una expresin idntica a la del lado contrario

1.

2.

3.

Reducir ambos lados de la expresin hasta llegar a una expresin idntica

Se pueden usar diferentes operadores reversibles en ambos lados de la ecuacin, no se puede aplicar por ejemplo la suma o la multiplicacin ya que la resta y la divisin no estn definidas en algebra de Boole

4.

Mdulo 1 Lgica Combinacional

17

LECCIN 2: Simplificacin de Funciones booleanas

Diseo del Circuito a partir de la tabla

Se puede disear un circuito a partir de su tabla de verdad Simplificando las expresiones:

A B C

A 0 0

B 0 0

C 0 1

f 0 0

f 1 1

0
Cto lgico
f

1
1 0 0 1 1

0
1 0 1 0 1

0
1 1 1 1 1

1
0 0 0 0 0

0 1 1 1 1 B C A

F = ABC + ABC + ABC F = ABC + ABC + ABC + ABC + ABC

B
C

A f A

F = AB + AC

F = A + BC f
18

Mdulo 1 Lgica Combinacional

LECCIN 2: Simplificacin de Funciones booleanas

Miniterminos Maxiterminos

Un minitrmino de n variables es el producto de n literales (una literal es la variable o su complemento) en las cuales cada variables aparece exactamente una vez, ya sea la variable o su complemento pero no ambas al mismo tiempo Cuando un funcin f es escrita como una suma de minitrminos, se tiene una forma estndar de suma de productos (SOP), tambin se le conoce como expansin de minitrminos f(A, B, C) = m3 + m4 + m5 + m6 + m7

f A, B, C m3,4,5,6,7

Mdulo 1 Lgica Combinacional

19

LECCIN 2: Simplificacin de Funciones booleanas

Miniterminos Maxiterminos

Un maxitermino de n variables es la suma de n literales (una literal es la variable o su complemento) en las cuales cada variables aparece exactamente una vez, ya sea la variable o su complemento pero no ambas al mismo tiempo Cuando un funcin f es escrita como un producto de maxitrminos, se tiene una forma estndar de producto de sumas (POS), tambin se le conoce como expansin de maxiterminos f(A, B, C) = M0 M1 M2

f A, B, C M 0,1,2

Mdulo 1 Lgica Combinacional

20

LECCIN 2: Simplificacin de Funciones booleanas

Forma estndar de SOP y POS

Cuando se tiene una expresin SOP donde uno o mas de sus trminos no esta definido completamente en funcin del domino de la expresin (ya sea en la variable o en su complemento) lo que se tiene que hacer es multiplicar el trmino en cuestin, por 1 y usar la Ley de Complementos X + X = 1

Cuando se tiene una expresin POS donde uno o mas de sus trminos no esta definido completamente en funcin del domino de la expresin (ya sea en la variable o en su complemento) lo que se tiene que hacer es sumar0 al trmino en cuestin y usar la Ley de Complementos XX = 0 junto con la Distributiva X + YZ = (X + Y)(X + Z)

Mdulo 1 Lgica Combinacional

21