MATEMTICAS DISCRETAS

Catedrtico:

MAPA MENTAL Y ANLISIS

UNIDAD IV LGEBRA BOOLEANA

ALUMNO(A)

NO. CONTROL

Carrera:
Ing. Sistemas Computacionales

octubre-2012

UNIDAD 4 LGEBRA BOOLENA

MAPA MENTAL

lgebra Booleana

HISTORIA
Se denomina as en honor a George Boole (2 de noviembre de

1815 a 8 de diciembre de 1864), matemtico ingls autodidacta, que fue el primero en definirla como parte de un sistema lgico,

inicialmente en un pequeo folleto: The Mathematical Analysis of Logic,1 publicado en 1847, en respuesta a una controversia en curso entre Augustus De Morgan y Sir William Hamilton. El lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. Ms tarde como un libro ms importante: The Laws of Thought,2 publicado en 1854. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica biestables, en 1948. Esta lgica se puede aplicar a dos campos: Al anlisis, porque es una forma concreta de describir como funcionan los circuitos. Al diseo, ya que teniendo una funcin aplicamos dicha lgebra, para poder desarrollar una implementacin de la funcin.

DEFINICIN
Dado un conjunto: formado cuando menos por los elementos: en el que se ha definido:

Una operacin unaria interna, que llamaremos complemento:

En esta operacin definimos una aplicacin que, a cada elemento a de B, le asigna un b de B.

Para todo elemento a en B, se cumple que existe un nico b en B, tal que b es el complemento de a.

La operacin binaria interna, que llamaremos suma:

por la que definimos una aplicacin que, a cada par ordenado ( a, b) de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de sumar a con b.

La operacin binaria interna, que llamaremos producto:

Con lo que definimos una aplicacin que, a cada par ordenado ( a, b) de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado del producto a y b. Dada la definicin del lgebra de Boole como una estructura algebraica genrica, segn el caso concreto de que se trate, la simbologa y los nombres de las operaciones pueden variar.

AXIOMAS NECESARIOS
Diremos que este conjunto y las operaciones as definidas: son un

lgebra de boole, si cumple las siguientes axiomas:

1a: La ley asociativa de la suma:

1b: La ley asociativa del producto:

2a: Existencia del elemento neutro para la suma:

2b: Existencia del elemento neutro para el producto:

3a: La ley conmutativa de la suma:

3b: La ley conmutativa del producto:

4a: Ley distributiva de la suma respecto al producto:

4b: Ley distributiva del producto respecto a la suma:

5a: Existe elemento complemento para la suma:

5b: Existe elemento complemento para el producto:

Compuerta OR-EX o XOR Es OR EXclusiva en este caso con dos entradas (puede tener ms) y lo que har con ellas ser una suma lgica entre a por b invertida y a invertida por b.*Al ser O Exclusiva su salida ser 1 si una y slo una de sus entradas es 1*

Estas seran bsicamente las compuertas ms sencillas. Compuertas Lgicas Combinadas Al agregar una compuerta NOT a cada una de las compuertas anteriores los resultados de sus respectivas tablas de verdad se invierten, y dan origen a tres nuevas compuertas llamadas NAND, NOR y NOR-EX. Veamos ahora como son y cul es el smbolo que las representa...

Compuerta NAND Responde a la inversin del producto lgico de sus entradas, en su representacin

simblica se reemplaza la compuerta NOT por un crculo a la salida de la compuerta AND.

Compuerta NOR El resultado que se obtiene a la salida de esta compuerta resulta de la inversin de la operacin lgica o inclusiva es como un no a y/o b. Igual que antes, solo agregas un crculo a la compuerta OR y ya tienes una NOR.

Compuerta NOR-EX Es simplemente la inversin de la compuerta OR-EX, los resultados se pueden apreciar en la tabla de verdad, que bien podras compararla con la anterior y notar la diferencia, el smbolo que la representa lo tienes en el siguiente grfico.

Buffer's En realidad no realiza ninguna operacin lgica, su finalidad es amplificar un poco la seal (o refrescarla si se puede decir). Como puedes ver en el siguiente grfico la seal de salida es la misma que de entrada.

lgebra Booleana y circuitos electrnicos La relacin que existe entre la lgica booleana y los sistemas de cmputo es fuerte, de hecho

se da una relacin uno a uno entre las funciones booleanas y los circuitos electrnicos de compuertas digitales. Para cada funcin booleana es posible disear un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los operadores AND, OR y NOT podemos construir nuestros circuitos utilizando exclusivamente stos operadores utilizando las compuertas lgicas homnimasUn hecho interesante es que es posible implementar cualquier circuito electrnico utilizando una sola compuerta, sta es la compuerta NANDPara probar que podemos construir cualquier funcin booleana utilizando slo compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT), una compuerta AND y una compuerta OR a partir de una compuerta NAND, ya que como se dijo, es posible implementar cualquier funcin booleana utilizando slo los operadores booleanos AND, OR y NOT. Para construir un inversor simplemente conectamos juntas las dos entradas de una compuerta NAND. Una vez que tenemos un inversor, construir una compuerta AND es fcil, slo invertimos la salida de una compuerta NAND, despus de todo, NOT ( NOT (A AND B)) es equivalente a A AND B. Por supuesto, se requieren dos compuertas NAND para construir una sola compuerta AND, nadie ha dicho que los circuitos implementados slo utilizando compuertas NAND sean lo ptimo, solo se ha dicho que es posible hacerlo. La otra compuerta que necesitamos sintetizar es la compuerta lgica OR, sto es sencillo si utilizamos los teoremas de DeMorgan, que en sntesis se logra en tres pasos, primero se reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se niega la totalidad de la expresin: A OR BA AND B.......................Primer paso para aplicar el teorema de DeMorganA' AND B'.....................Segundo paso para aplicar el teorema de DeMorgan(A' AND B')'..................Tercer paso para aplicar el teorema de DeMorgan(A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND Si se tiene la necesidad de construir diferentes compuertas de la manera descrita, bien hay dos buenas razones, la primera es que las compuertas NAND son las ms econmicas y en segundo lugar es preferible construir circuitos complejos utilizando los mismos bloques bsicos. Observe que es posible construir cualquier circuito lgico utilizando slo compuertas de tipo NOR (NOR = NOT(A OR B)). La correspondencia entre la lgica NAND y la NOR es ortogonal entre la correspondencia de sus formas cannicas. Mientras que la lgica NOR es til en muchos circuitos, la mayora de los diseadores utilizan lgica NAND.

CIRCUITOS COMBINACIONALES Un circuito combinacional es un sistema que contiene operaciones booleanas bsicas (AND, OR, NOT), algunas entradas y

un juego de salidas, como cada salida corresponde a una funcin lgica individual, un circuito combinacional a menudo implementa varias funciones booleanas diferentes, es muy importante recordar ste hecho, cada salida representa una funcin booleana diferente. Un ejemplo comn de un circuito combinacional es el decodificador de siete segmentos, se trata de un circuito que acepta cuatro entradas y determina cul de los siete segmentos se deben iluminar para representar la respectiva entrada, de acuerdo con lo dicho en el prrafo anterior, se deben implementar siete funciones de salida diferentes, una para cada segmento. Las cuatro entradas para cada una de stas funciones booleanas son los cuatro bits de un nmero binario en el rango de 0 a 9. Sea D el bit de alto orden de ste nmero y A el bit de bajo orden, cada funcin lgica debe producir un uno (para el segmento encendido) para una entrada dada si tal segmento en particular debe ser iluminado, por ejemplo, el segmento e debe iluminarse para los valores 0000, 0010, 0110 y 1000. En la siguiente tabla se puede ver qu segmentos deben iluminarse de acuerdo al valor de entrada, tenga en cuenta que slo se estn representando valores en el rango de 0 a 9, los decodificadores para las pantallas de siete segmentos comerciales tienen capacidad para desplegar valores adicionales que corresponden a las letras A a la F para representaciones hexadecimales, sin embargo la mecnica para iluminar los respectivos segmentos es similar a la aqu representada para los valores numricos. 0 a b c d e f 1 b c d e g g f g f g

2 a b

3 a b c d 4 5 a 6 b c c d

c d e f g

7 a b c 8 a b c d e f g 9 a b c f g

Los circuitos combinacionales son la base de muchos componentes en un sistema de cmputo bsico, se puede construir circuitos para sumar, restar, comparar, multiplicar, dividir y muchas otras aplicaciones ms.