lgebra De Boole Definicin Comenzaremos definiendo el lgebra de Boole como el conjunto de elementos B que puede asumir dos valores

posibles (0 y 1) y que estn relacionados por dos operaciones binarias suma(+) y producto (*) lgico y adems cumple con los siguientes postulados. Nota: antes de comenzar a desarrollar los postulados aclararemos que la demostracin de los mismos se realiza a travs de un circuito elctrico e interruptores donde el interruptor abierto representa un 0 y un interruptor cerrado representa un 1.

Postulados Postulado N 1: ambas operaciones son conmutativas. a+b = b+ a a*b = b*a

Esto nos indica que el orden en que operamos con dos variables es intrascendente y el resultado es el mismo. a 0 0 1 1 B 0 1 0 1 A+b 0 1 1 1 a 0 0 1 1 B 0 1 0 1 A*b 0 0 0 1

No circula corriente circula corriente circula corriente circula corriente

No circula corriente No circula corriente No circula corriente circula corriente

Postulado N 2 : Dentro del lgebra de boole existen dos elementos neutros, el cero 0 para la suma y el 1 para el producto. a+ 0 = a a * 1
=

Para el caso de la suma es claro que la corriente nunca circulara por la salida abierta 0 y que la circulacin de corriente depender exclusivamente del estado de a asimismo si comparamos con la suma ordinaria tenemos que el resultado de sumar cero a cualquier numero es el mismo numero. Para el caso del producto una llave que esta siempre cerrada ( uno ) permite el paso de la corriente y el resultado final (paso o no de corriente) solo depender del estado de a, asimismo si comparamos con la multiplicacin ordinaria tenemos que el resultado de multiplicar uno a cualquier numero el resultado es el mismo numero.

Postulado N 3: Cada operacin es distributiva respecto a la otra. a * ( b + c ) = a * b + a * c * (a+c) a + ( b*c ) = (a+b)

La primera ecuacin distributiva es bien conocida en el lgebra Ordinaria y no debe presentar ninguna dificultad, la segunda identidad es igual que la primera. Este postulado indica que podemos factorizar una expresin, es decir que si tenemos una expresin de dos o mas trminos y estos trminos tienen una (o mas ) variables en comn, estas variables pueden expresarse como factor comn. Ejemplos:

Postulado N 4: parea cada elemento a del lgebra de boole existe un elemento

tal que:

Probablemente se observe una similitud entre estos postulados y los del lgebra ordinaria no obstante se notar que la propiedad distributiva sobre la suma no es aplicable en el lgebra ordinaria y adems en el lgebra ordinaria no se cuenta con un elemento . Para que el conjunto de postulados sea til se debe cumplir que uno no contradiga a otro y que adems exista independencia en los postulados es decir que ningn postulado se pueda demostrar a partir de otro.

Maxiterminos y Miniterminos
Una Tabla de Verdad, define una funcin Booleana. Una expresin algebraica que representa la funcin, se determina a partir de la tabla obteniendo la suma lgica de todos los trminos de productos, para los cuales la funcin toma el valor 1. Un trmino de producto, en el cual todas las variables figuran solo una vez, se denominan mini trmino. Los cuatro mini trminos posibles, para una funcin de dos variables son Por la Propiedad de Dualidad de las expresiones Booleanas podemos decir que un trmino de una suma que contiene todas las variables (una sola vez), se denominan Maxi trminos , lo cual Maxi trminos para una funcin de dos variables, son:

En la siguiente tabla se representan los mini trminos y los maxi trminos. Para 3 variable s:

Las funciones bsicas del lgebra de Boole, suma lgica y producto lgico, son llamados Funcin OR y Funcin AND respectivamente y se simboliza de la forma:

OR

AND

Principio de dualidad El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual, formada mediante el intercambio de los operadores unin (suma lgica) con los de interseccin (producto lgico), y de los 1 con los 0. Adems hay que cambiar cada variable por su negada. Esto causa confusin al aplicarlo en los teoremas bsicos, pero es totalmente necesario para la correcta aplicacin del principio de dualidad. Vase que esto no modifica la tabla adjunta.

Adicin 1 2 3 4 5 6 7 8 9

Producto

Circuitos combinacionales Su definicin es un conjunto de puerta conectadas entre si, cuya salida depende solo de la entrada en ese momento. La entrada viene seguida casi inmediatamente por la aparicin de las salida. Por norma bsica, se establece que un circuito combinacional, tiene n entradas binarias y m salidas binarias. Se definen tres formas:

1) Tabla de verdad: para cada 2^n combinaciones que se pueden realizar de las n entradas, se establece un valor para cada una de las m de salida. 2) Smbolo grafico, explica la forma en la que se organizan las interconexiones de las puertas del circuito. 3) Ecuaciones booleanas: cada seal se expresa en forma booleana de las seales de entrada. Para poder realizar una simplificacion de estas expresiones, recurrimos a: 1)Simplificacin algebraica, supone la reduccion de la expresion booleana en otra con menos elementos. 2) Mapas de Karnaugh, la funcion principal es simplificar mediante una funcin booleana, de cuatro a seis variables. Se estructura en un conjunto de 2^n cuadriculas.