Para desarrollar nuestro circuito y aplicar el tema de sistemas de ecuaciones lineales, primeramente usamos el lgebra booleana, el cual explicaremos

un poco de este tema. Definicin: definida en un conjunto B junto con dos operaciones binarias (+) y (.) (donde a. b se escribir ab) ser un algebra booleana solo si cumple con los siguientes postulados. 1.- las operaciones (+) y (.) son conmutativas. (a) a+b = b+a (b) ab =ba 2.- existen en B distintos elementos identidad 0 y 1 relativo a las operaciones (+) y (.), respectivamente (a) a + O = a (b) a. 1 = 3.- cada operacin es distributiva respecto a la otra. (a) a+(bc)=(a+b) (a+c)
(b) a(b+c)=(ab)+(ac)

4.- para cada a de B existe un elemento a de B a+a=1 aa=0

Los smbolos (+) (.) no son necesarios que estn presentes en las operaciones anteriores, pueden ser usados otros smbolos siempre y cuando cumplan con los postulados. Otro punto en el lgebra booleana es que cumple con las leyes fundamentales que a continuacin se enumeraran. Leyes conmutativas XY=YX Leyes asociativas X(YZ)=(XY)Z Leyes distributivas X(Y+Z)=XY+XZ Leyes de tautologa XX=X Leyes de absorcin X(X+Y)=X X+XY=X X+X=X X+YZ=(X+Y)(X+Z) X+(Y+Z)=(X+Y)+Z X+Y=Y+X

Leyes de complementacin

XX=0

X+X=1

Ley de complementacin doble (X)=X Leyes de Morgan (XY) (X+Y)=XY

A continuacin se hablara sobre la forma en que aplica el lgebra booleana. El lgebra booleana tiene como aplicaciones el lgebra de conjuntos, en los diagramas de Venn y en los circuitos de conmutacin, estos ltimos son los que nos centraremos en explicar. Circuitos de conmutacin 1. El conjunto B ser el conjunto de todos los interruptores. Las sumas de los interruptores es la conexin en paralelo y la multiplicacin de los interruptores es la conexin en serie. Los valores que tomaran los interruptores sern solo pueden ser dos (ON, OFF) o (0,1).
A
A B B

Interruptores A, B

suma (A+B)

producto (AB)

2. Existencia de neutros: hay dos tipos de neutros de suma y de multiplicacin. El neutro de la suma da un circuito abierto y el neutro de la multiplicacin da un corto circuito. 3. Conmutatividad: nos dice que un circuito en serie y en paralelo funcionan de la misma manera independientemente de la colocacin de sus interuptores. 4. Asociatividad: nos dice que las conexiones en serie y en paralelo son asociativas, esto nos quiere decir que al conectar tres interruptores, en en paralelo o en serie, no importa que par se conecte primero. 5. Distributividad: nos dice que la conexin en serie es distributiva solo sobre la conexin en paralelo y viceversa. B
A C A(B+C) = AB+AC A A B

A = B C

A B

A C

A+ B C

(A+B) (A+C)

Teoremas del algebra booleana A parte de los postulados ya mencionados, hay teoremas que estn basados en los postulados que nos sirven para comprender mejor este tema, pero primeramente se definir un concepto derivado de los postulados. Principio de dualidad: Si una expresin booleana es verdadera, su expresin dual tambin lo es. Cuando se tiene una expresin dual se dice que una se puede obtener de la otra, cambiando (+) o (.) o (0) y (1) Teorema 1. Para todo elemento de a en una lgebra booleana B a+a=a aa=a

Teorema 2. Para cada elemento a en una algebra boolena B. a+1=1 a0=0

Teorema 3. Para cada par de elementos a y b en una lgebra booleana B a+ab=a a(a+b)=a

Teorema 4. En toda lgebra booleana B, cada una de las operaciones binarias (+) y (.) es asociativa. Para todo a,b,c en B. a+(b+c)= (a+b) +c a(bc)=(ab)c

Teorema 5. El elemento a asociado con el elemento a en el lgebra booleana es nico. Esto quiere decir que el elemento a satisface el postulado 4 Teorema 6. Para toda a en una lgebra booleana B, (a) =a. Teorema 7. En toda lgebra booleana 0=1 y 1=0 Teorema 8. Para todo a y b en una lgebra boolena B. (ab) = a + b (a+b)=ab

Tablas de verdad. Son un medio para describir la manera en que la salida de un circuito lgico depende de los niveles lgicos que haya en la entrada del circuito. Una aplicacin importante de las tablas de verdad procede del hecho de que, interpretando los valores lgicos de verdad como 1 y 0 (lgica positiva) en el sentido que

valor "1" permite el paso de corriente elctrica; y valor "0" corta el paso de dicha corriente.

Los valores de entrada o no entrada de corriente a travs de un diodo pueden producir una salida 0 1 segn las condiciones definidas como funcin segn las tablas mostradas anteriormente. As se establecen las algunas funciones bsicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y la funcin NOT. En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos armar una tabla anloga de 16 funciones como la presentada arriba, con sus equivalentes en lgica de circuitos.

Operaciones con el sistema binario. -Adicin. La adicin en el sistema binario sigue las mismas reglas que el sistema decimal. Se comienza agregando los bits que tienen menor valor (aquellos que se encuentran en la derecha) y se lleva el valor al siguiente lugar en cuando la suma de dos bits en la misma posicin es ms grande que el valor mayor de la unidad (en sistema binario). Luego, este valor se transporta al bit de la siguiente posicin. Ejemplo. 01101 +01110 11011 -Multiplicacin. La tabla de multiplicar en el sistema binario es simple: 0*0=0; 0*1=0; 1*0=0; 1*1=1

La multiplicacin se realiza calculando un producto parcial para cada mltiplo (solo los bits que no entren o darn un resultado que no contenga ceros).Cuando el bit del mltiplo es cero, el producto parcial es nulo; cuando es equivalente a uno, el producto parcial se forma con el multiplicando, alternando un nmero X de veces, donde X es igual al peso del mltiplo del bit

Formas de representar el lgebra booleana. Si x1, x2, x3.., xn son variables booleanas ( toman valores entre el 0 y el 1), se tiene que buscar y que ser la variable dependiente. Y= AB + AC + AC Se puede evaluar para diversos valores de sus variables independientes A, B,C: Si A = 1, B = 0, C = 0 entonces Y= f(1,0,0) = 1.0 + 0.0 + 1.1 = 1, Si A = 1, B = 1, C = 0 entonces Y= f(1,1,0) = 1.1 + 0.0 + 1.1 = 1, Si A = 0, B = 1, C = 0 entonces Y= f(0,1,0) = 0.1 + 1.0 + 0.1 = 0, etc. Con la tabla de verdad podemos evaluar todas las posibles combinaciones

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

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