Vous êtes sur la page 1sur 12

TEOREMAS

OOLEANOS Y DEMORGAN

EOREMAS DE

microcontroladores, microprocesadores y memoria.

ALGEBRA BOOLEANA Y TEOREMAS BOOLEANOS:


Algebra booleana:
El lgebra booleana es la teora matemtica que se aplica en la lgica combinatoria. Las variables booleanas son smbolos utilizados para representar magnitudes lgicas y pueden tener solo dos valores posibles:
-

1 lgico (valor alto). 0 lgico (valor bajo). OPERACIONES BOOLEANAS Y COMPUERTAS BASICAS:

Las operaciones booleanas son posibles a travs de los operadores binarios negacin, suma y multiplicacin, es decir que estos combinan dos o ms variables para conformar funciones lgicas. Una compuerta es un circuito til para realizar las operaciones anteriormente dichas. Inversin o negacin (complemento): Esta operacin se indica con una barra sobre la variable o por medio de un apostrofe en el lado superior derecho de la variable, el apostrofe es un operador algebraico que invierte el valor de una variable, es decir, si X denota la seal de entrada de un inversor, entonces X representa el complemento de tal seal. Por ejemplo: Si X=0 entonces X=1 En la tabla de verdad se muestra el resultado de la inversin lgica: Ecuaci Entrada A Salida B n 0 A=B 1 1 0

Smbolo lgico de la negacin booleana:

SUMA BOOLEANA: La representacin matemtica de una suma booleana de dos variables se hace por medio de un signo ms entre las dos variables. Por ejemplo: La suma booleana de las variables A y B se enuncia de la siguiente forma: X=A+B La suma booleana es 1 si alguna de las variables lgicas de la suma es 1; y es 0 cuando todas las variables son 0. Esta operacin se asimila a la conexin paralela de contactos. La tabla de verdad de la suma booleana es la siguiente: Entrada A Entrada B Salida X 0 0 1 1 0 1 0 1 0 1 1 1

El equivalente de la suma booleana es la operacin OR el cual su smbolo lgico es el siguiente:

Esta operacin OR tambin tiene una funcin inversa y es con la operacin NOR y su tabla de verdad es la siguiente: Entrada A Entrada B Salida X 0 0 1 1 0 1 0 1 1 0 0 0

X=A+B Su simbolgico es de la siguiente manera:

Multiplicacin booleana: La representacin matemtica de una multiplicacin booleana de dos variables se hace por medio de un signo punto (.) entre las dos variables. La multiplicacin booleana de las variables A y B se enuncia de la siguiente manera: X=A.B La multiplicacin booleana es 1 si todas las variables lgicas son 1, pero si alguna es 0 el resultado ser 0. La multiplicacin booleana se asimila a la conexin serie de contactos. Entrada A 0 0 1 1 Entrada B 0 1 0 1 Salida X 0 0 0 1

El equivalente de la multiplicacin booleana es la operacin AND y su smbolo lgico es de la siguiente manera:

Esta ecuacin booleana tiene una funcin inversa el cual la operacin encargada es la NAND su tabla de verdad y su smbolo lgico es el siguiente:

Entrada A 0 0 1 1

Entrada B 0 1 0 1

Salida X 1 1 1 0

PROPIEDADES DE LAS OPERACIONES BOOLEANAS: Las operaciones booleanas estn regidas por tres leyes similares a las del algebra convencional. Estas incluyen las leyes conmutativas de la suma y la multiplicacin y la ley distributiva. Leyes conmutativas en dos variables:
1) La ley conmutativa del asuma se enuncia de la forma siguiente:

X+Y=Y+X En aplicacin a los circuitos digitales, podramos decir que no importa el orden de conexin de las entradas a una compuerta OR.

2) Ley conmutativa de la multiplicacin:

X.Y=Y.X En la aplicacin de los circuitos digitales podramos decir que no importa el orden de conexin de las entradas en una compuerta AND. Leyes asociativas en tres variables:
1) Ley asociativa de la adicin, se escribe de la siguiente forma algebraica:

A+(B+C)=(A+B)+C La aplicacin de la propiedad a las compuertas OR se muestran de la siguiente forma:

2) Ley asociativa de la multiplicacin:

A.(B.C)=(A.B).C La aplicacin de la propiedad a las compuertas AND se muestran a continuacin:

LEY DISTRIBUTIVA PARA TRES VARIABLES: En el lgebra de Boole, la multiplicacin lgica se distribuye sobre la suma lgica: A.(B+C)=A.B+A.C La aplicacin de la propiedad a las compuertas AND y OR se muestran a continuacin:

TEOREMAS BOOLEANOS: Los teoremas booleanos son enunciados siempre verdaderos, lo que permite la manipulacin de expresiones algebraicas, facilitando el anlisis o sntesis de los circuitos digitales. Los teoremas booleanos son:
1) X + 0 = X 2) X + 1 = 1 3) X0 = 0

4) X1 = X 5) (X)=X 6) X + X = X 7) XX = X 8) X + X = 1 9) X.X= 0 10) 11) 12) 13) 14)

X + XY = X X +XY = X + Y XY + XY = X (Teorema de combinacin) (X +Y)(X + Y) = X + XY + XY = X XY + XZ + YZ = XZ + YZ (Consenso)

El teorema 12 se conoce como la ley distributiva para tres variables.

Demostracin teorema 12: XY + XY = X Utilizando la ley distributiva para tres variables XY + XY= X(Y+Y) Aplicando el teorema 8 se tiene, XY + XY= X1 Dando como resultado, XY + XY= X Esta expresin indica que la suma de dos productos cannicos adyacentes, es decir que difieren en una sola de las variables, se reduce al producto de los

dems trminos suprimindose dicha variable. El teorema 13 es otro caso de combinacin. TEOREMAS DE DEMORGAN: Los teoremas de DeMorgan demuestran la equivalencia entre las compuertas NAND y la negativa OR, y las compuertas OR y negativa AND.
-

El complemento de la suma de variables es igual al producto de los complementos de las variables.

(X1 + X2 +.....+ Xn) = X1 X2 ..... Xn

En el caso de las dos variables se tiene: (X+Y)=X.Y El circuito equivalente a la ecuacin anterior es:

Ejemplo Obtener una compuerta OR utilizando compuertas NAND. Y = (A + B) = [(A + B)] = (AB)

El complemento del producto de variables es igual a la suma de los complementos de las variables.

(X1 X2 ..... Xn) = X1 + X2 + .....+ Xn

En el caso de dos variables se tiene: (X.Y)=X+Y El circuito equivalente en dos variables a la ecuacin es:

Ejemplo Obtener una compuerta AND utilizando compuertas NOR. Y = AB = [(A.B)] = (A+B)

Simplificacin de expresiones lgicas: El objetivo de la simplificacin de expresiones lgicas es reducir la expresin al menor nmero posible de trminos. Las expresiones lgicas se pueden simplificar utilizando los teoremas anteriores. Ejemplo F = ABC + ABC F = AB(C + C) F = AB Ejemplo F= (A+B)(A+B) F = AA + AB + AB + BB F = AB + AB Ejemplo F = [(A + C)(B + D)] F = (A + C)+(B + D) F= AC + BD Ejemplo F = (X + Z)(Z + WY) + (VZ + WX)(Y + Z)

F = (X + Z)[Z(W + Y)] + [(VZ + WX)(YZ)] F = (X + Z)(ZW + ZY) + VYZZ + WXYZ F = WXZ + XYZ + ZZW + ZZY + WXYZ F = WXZ + XYZ + WZ + YZ + WXYZ F = WZ(1 + X) + YZ(1 + X) + WXYZ F = WZ + YZ + WXYZ F = WZ + YZ(1 + WX) F = Z(W + Y) Implementacin de funciones lgicas mediante compuertas: La forma ms fcil de encontrar la expresin de un circuito lgico consiste en comenzar con las entradas situadas ms a la izquierda e ir avanzando hasta la salida de cada compuerta lgica, obteniendo la expresin para cada una de ella. Al final del recorrido se debe tener la expresin para todo el circuito. La expresin resultante podemos simplificarla para obtener una ms sencilla y as obtener un circuito ms reducido. Ejemplo Encontrar la expresin para el circuito de la figura.

Figura 2.1.13. Smbolo lgico para la compuerta NOR.

1) La expresin de la compuerta NOR situada a la izquierda cuyas entradas

son A y B es (A+B). Esta es la primera entrada de la compuerta AND situada a la derecha.


2) La expresin de la compuerta AND cuyas entradas

son (A+B) y C es (A+B)C.


3) La salida de la compuerta AND es la primera entrada de la

compuerta OR del extremo derecho. Por lo tanto, la expresin de esta compuerta OR es [(A+B)C]+D.