3-10 TEOREMAS BOOLEANOS ‘Hemos visto cémo puede utilizarse el algebra booleana para ayudar a analizar un cir- ‘uito légico y expresar su operacién en forma matematica. Para continuar con nues- tro estudio del algebra booleana vamos a investigar los diversos teoremas booleanos (también conocidos como reglas booleanas) que pueden ayudarnos a simplificar las.‘Szcci6n 3-10/THOREMAS BOOLEANOS: n FIGURA 3.25. Teoremas con una sola variable. ‘expresiones logicas y los cireuitos I6gicos. El primer grupo de teoremas se muestra cenla figura 325. En cada teorema, x es una variable ldgica que puede ser un 00 un 1 Cada teorema se acompaiia por ei diagrama de un circuito légico que demuestra su validez. F1 teorema (1) establece que si se aplica un AND entre cualquier variable y 0, elresultado es 0. Esto es fécil de recordar ya que la operacién AND es como la mul. tiplicacién ordinaria, en donde sabemos que cualquier cantidad multiplicada por 0 es igual a 0. También sabemos que la salida de una compuerta AND sera 0 siempre ‘que una entrada sea 0, sin imporvar el nivel en la otra entrada. #1 teorema (2) también es obvio si se le compara con la multiplieaci6n ordinaria, El teorema (3) puede demostrarse si se prueba cada caso. Six = 0, entonces 0; six = 1 entonces 1-1 = 1. Por lo tanto, x:x =. EL teorema (4) puede probarse de la misma forma. No obstante, también pode- ‘mos razonar que en cualquier momento ya sea x 0 su inverso, x, deben estar en el nivel 0 y, por lo tanto, su producto AND siempre sera 0. H teorema (5) es bastante directo, ya que cualquier cantidad que se sume con 0 ‘no afecta su valor, ya sea en la suma ordinaria o en la operacién OR. Fl teorema (6) establece que si se aplica un OR entre cualquier variable y 1, el resultado siempre serd 1. Comprobamos esto para ambos valores de x:0 +1—1y 1 +1 = 1, También es importante recordar que la salida de una compuerta OR sera 1 ‘cuando cualquiera de sus entradas sea 1, sin importar el valor de la otra entrada. El teorema (7) puede probarse si se comprueban ambos valores de x: 0 + 0 —0 yiti=1 FI teorema (8) puede probarse de manera similar, 0 basta con razonar que en ‘cualquier momento ya sea x 0 x estard en el nivel 1, de manera que siempre se esté aplicando un OR entre 0 y 1, cual siempre produce un 1. Antes de presentar mas teoremas, debemos recalcar que cuando se aplican los teoremas (1) a (8) la variable x puede legar a representar una expresién que con tiene mas de una variable. Por ejemplo, si tenemos que AB(AB), podemos invocar el teorema (4) si hacemos que x = AB. Por ende, podemos decir que AB(AB). Esta misma idea puede aplicarse al uso de cualquiera de los teoremas. Teoremas con multiples variables ‘Los teoremas que presentamos a continuacién involucran mas de una variable: @ oxty ao x +x vex(Caréruvo 3/DEScRIPCION DE LOS CIRCUITOS LOGICOS Q) xt@t=ty)te=xtyte (12) x(u2) = (xy)e = yz (Ba) x@+2)-wt+x (136) (Ww + y+ 2) = wy tay + wet oz (4) toy ax (15a) x + xv (150) x+y ‘Los teoremas (9) y (10) se conocen como leyes conmutativas, ya que indican que el ‘orden en el que se aplican las operaciones OR y AND a dos variables no importa; el resultado es el mismo. ‘Los teoremas (11) y (12) son las leves asociativas, las cuales establecen que pode- ‘mos agrupar las variables en una expresién AND 0 en una expresién OR de cual- ‘quier forma que necesitemos. El teorema (13) es la key distributiva, fa cual establece que para expandir una ‘expresién se multiplica término por término, de igual forma que en el algebra ordi- naria. Este teorema también indica que podemos factorizar una expresién. Esto €5, si tenemos una suma de dos (0 mAs) términos, cada uno de los cuales contiene una variable comiin, esta variable comiin puede factorizarse de igual forma que en el Algebra ordinaria. Por ejemplo, si tenemos la expresién ABC + AB Cpodemos facto- rizar la variable B: ABC + ABC = B(AC + AC) Como otro ejemplo, considere la expresién ABC + ABD. Aqui los dos términos tienen en comiin las variables A y B, por lo que A:B puede factorizarse de ambos términos. Estoes, ABC + ABD = AB(C + D) os teoremas (9) a (13) son féciles de recordar y de utilizar, ya que son idénticos alos del dlgebra ordinaria. Por otro lado, los teoremas (14) y (15) no tienen contra- partes en el dlgebra ordinaria. Para demostrar cada uno de ellos hay que probar todos los casos posibles para x y y. Para ilustrar lo amterior (para el teorema 14) vyamos a crear una tabla de anilisis para la ecuaci6n x + xy, como se muestra a con- tinuacién: xy oy xeHy 0 0 oO o o 1 0 ° 1 0 0 1 1404 1 Observe que el valor de toda la expresién (x + xp) es siempre el mismo que para x. El teorema (14) también puede demostrarse mediante la factorizacién y el uso de los teoremas (6) y (2), como se muesira a continuacit x+xp= xi +¥) =x [usando el teorema (6)] =x [usando el teorema (2)] ‘Todos estos teoremas booleanos pueden ser iitiles para simplifiear una expre- sién I6gica; es decir, para reducir el nimero de términos en la expresién. Con esto, Ja expresi6n reducida produce un circuito que es menos complejo que el que habria producido Ia expresién original. Una buena porci6n del siguiente capitulo estard dedicada al proceso de simplificacién de los circuitos.