SEC. 3.1 [ALGEBRA DE CONMUTACION Tobia 319.-Teoremas de Alvetra de on var remas de tiger. ce conmutacin con n variables, 157 \ XeXeneXex (dempotencia generalizado) XX KEK ay HX, (oremas de DeMorgan) (mtx) mu (teoremas de DeMorwan zeneralizados) (m5) (Georemas de expansion de Shannon) bis 5 ‘Varios teoremas importantes, listados en la tabla 3-3, son verdaderos para un alime- ro arbitrario de variables, . La mayoria de estos teoremas pueden probarse usando un método de dos pasos llamado induccida finita: primero se prueba que el teorema induccién finita es verdadero para n = 2(el paso bdsico) y luego se prueba que sil teorema es verda dero param = J, entonces también es verdadero para.n = # + I (el paso inductivo). Por ejemplo, cousidérese el teorema generalizado de idempotencia T12. Paran = 2, TI2 es equivalente a T3 y, por tanto, es verdadero. Si es verdadero para una suma Logica de 1 X entonces también es verdadero para una suma de + 1 X, de acuerdo ccon el siguiente razonamiento: KA KAKA eK = K+ KEK Heo) Ee D Xen ambos lados) KO (si T2 es.cierto paran = x (de acuerdo a T3) Por tanto, el teorema es verdadero para todo valor finito dea. Los teovemas'de DeMorgan (T13¥TI3'Y son, con toda seguridad, los mas co- ‘minmeate usados de los teoremas del algebra de conmutacion, El Teorema T13 dice | que una compuerta AND de 7 entradas cuya salida se complementa es equivalente a luna compuerta OR de n entradas cuyas entradas se complementan. Esto es, los cir- ccuitos de Ia figura 3-3 (a) y (b) son equivalentes. ae ‘Eh la Seceidn 2-8 mostramos como construir una compueria NAND DTL como tuna compuerta AND de diodos seguida de un transistor inversor (compuerta NOT). El simbolo Idgico de la compuerta NAND, basado en esta realizacién de circuito, se muestra en la figura 3-3(c). Sin embargo, el teorema T13 nos dice que el simboto Ié- gico en la figura 3-3(d) denota la misma funcién Logica (los circulos en las entradas de la compuerta OF indican su inversion logica). Al observar las eptradas y salidas de uuna compuerta NAND, es imposible determinar si ésta fue construida internamerte ‘como una. compuerta AND sepuida de un inversor o como inversores-seuidos por luna compuerta OR, debido a que ambos circuitos realizan precisamente la misma funcian Ugica. Aunque la eleccién del simbolo nada tiene que ver con la funcionali dad de tn cirewito, mostraremos en la + alo largo de todo este capitulo, se habria aprendido exactamente 1a misma dlgebra de conmutacién; solamente la nomenclatura tendria una pequefta rareza, al usar pala- bras como “producto” para describir una operacin que usa el simbolo ** +”” La dualidad cs importante debido a que dobia la utilidad de todo lo que se aprende acerca del algebra de conmutacion y de la manipulacion de las funciones de conmutacién. Establecido en términos mas précticos, desde el punto de vista de un estudiante, jreduce a la mitad la cantidad de lo que se tiene que aprender! Por ejem- plo, una ver que aprende como sintetizar circuitos légicos ANO-OR de dos etapas de expresiones de sumas de productos, automaticamente conoce la técnica dual para sinietizar circuitos OR-AND de expresiones de productos dle sumas.