UNIDAD I

INTRODUCCIN A LOS CIRCUITOS LGICOS

1. 2.

LGEBRA DE BOOLE MTODO DE REDUCCIN DE MAPAS DE KARNAUGH

R. ESPINOSA R. y P. FUENTES R.

1-1

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

1. LGEBRA DE BOOLE
El lgebra de Boole se llama as debido a George Boole, quien la desarroll a mediados del siglo XIX. El lgebra de Boole denominada tambin lgebra de la lgica, permite prescindir de la intuicin y simplificar deductivamente afirmaciones lgicas que son todava ms complejas. El objetivo principal de este captulo es llegar a manejar los postulados y teoremas del lgebra de Boole como herramienta bsica en el anlisis y sntesis de circuitos digitales.

1.1. DEFINICIONES.
El sistema matemtico denominado lgebra Booleana, es un mtodo simblico de estudiar relaciones lgicas, el cual se desarrolla en tres partes: 1. 2. 3. Se establecen los conceptos fundamentales (smbolos o trminos no definidos). Se define un conjunto de postulados que formen la base del lgebra. Se constituyen los teoremas fundamentales del lgebra a partir de los postulados. A su vez, las exigencias y condiciones que deben reunir los postulados son: 1. 2. 3. Los postulados deben ser coherentes o consistentes para que un lgebra definida pueda desarrollarse por deducciones lgicas. En caso contrario, el sistema resultara contradictorio. Los postulados deben ser independientes; es decir, irreductibles recprocamente (libre de reducciones). Los postulados deben ser tan simples en su enunciado como sea posible; es decir, no separables en dos o ms partes.

1.2. POSTULADOS.
En base a los elementos primitivos establecidos anteriormente, se formulan los siguientes postulados (axiomas), que por definicin no requieren de demostracin. P.1. P.2.a. P.2.b. P.3.a. P.3.b. Existe un conjunto M de elementos sujetos a una relacin de equivalencia, denotada por el signo = que satisfacen el principio de sustitucin. Para toda (A , B) 0 M, A + B es una operacin binaria denotada por el signo +, tal que (A + B) 0 M. Para toda (A , B) 0 M, A C B es una operacin binaria denotada por el signo C, tal que (A C B) 0 M. Existe un elemento 0 en M, tal que A + 0 = A para toda A 0 M. Existe un elemento 1 en M, tal que A C 1 = A para toda A 0 M.
R. ESPINOSA R. y P. FUENTES R.

1-2

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

P.4.a. P.4.b. P.5.a. P.5.b. P.6.a.

Para toda (A , B) 0 M; A + B = B + A Para toda (A , B) 0 M; A C B = B C A Para toda (A, B, C) 0 M; A + (B C C) = (A + B) C (A + C) Para toda (A, B, C) 0 M; A C (B + C) = (A C B) + (A C C) Para todo elemento A 0 M, existe un elemento , tal que:

P.6.b.

Para todo elemento A 0 M, existe un elemento

, tal que:

P.7.

Existen por lo menos (A , B) 0 M, tal que:

Se habr observado cierta similitud entre estos postulados y los del lgebra ordinaria. Ntese sin embargo, que la primera ley distributiva P.5.a. no es vlida en el lgebra ordinaria y que tampoco existe ningn elemento en dicha lgebra.

Tambin se notar que los postulados de Huntington se presentaron por pares. Una observacin ms detenida, muestra que existe una dualidad entre + y C, lo mismo que entre 1 y 0. Si el smbolo + se substituye por C y C por +, as como todos los 1 se sustituyen por 0 y todos los 0 por 1 en cualquiera de los postulados de cada par, el resultado es el otro postulado. A causa de esta dualidad fundamental, cada teorema que se presenta tendr su dual que se obtendr efectuando la sustitucin mencionada; por tanto, la demostracin de un teorema implica la validez de su teorema dual.

1.3. TEOREMAS FUNDAMENTALES.

A continuacin se presentan los principales teoremas del lgebra de Boole, los cuales son la base del trabajo subsecuente. Con lo visto hasta aqu es posible demostrar dichos teoremas por cualesquiera de los siguientes mtodos. 1. 2. 3. Demostracin algebraica (empleando postulados y teoremas ya demostrados). Grficamente (por medio de los diagramas de Euler-Venn). Por induccin perfecta (empleando tablas de verdad).

R. ESPINOSA R. y P. FUENTES R.

1-3

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

Aqu se emplear el mtodo algebraico pues se considera la mejor manera de iniciarse en esta lgebra, adems de que slo se demostrarn los teoremas primales, pero aplicando las reglas de dualidad mencionadas anteriormente, se podr obtener la parte dual.

T.1.

TEOREMAS SOBRE LA UNICIDAD. 1.a. EL ELEMENTO 0 ES NICO. 1.b. EL ELEMENTO 1 ES NICO. DEMOSTRACIN DE 1.a. Por contradiccin, supngase que 0 y 01 son neutros aditivos:
(P.3.a.)

Si

Si 0 es neutro, entonces:
(1)

Si 01 es neutro, entonces:
(2)

De (1) y (2) se obtiene:

ESTO DEMUESTRA EL TEOREMA

T.2.

TEOREMAS SOBRE LA EQUIPOTENCIA.

R. ESPINOSA R. y P. FUENTES R.

1-4

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

DEMOSTRACIN DE 2.a.
(P.3.b.) (P.6.a.) (P.5.a.) (P.6.b.) (P.3.a.)

T.3.

DEMOSTRACIN DE 3.a.
(P.3.b.) (P.6.a.) (P.5.a.) (P.3.b.) (P.6.a.)

T.4.

TEOREMAS DE LA ABSORCIN.

DEMOSTRACIN DE 4.a.
(P.3.b.) (P.5.b.) (T.3.a.) (P.3.b.)

R. ESPINOSA R. y P. FUENTES R.

1-5

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

T.5.

EL ELEMENTO

ES NICO. DEMOSTRACIN

Por contradiccin, supngase que existen dos elementos distintos

, tales que:
(P.6.a.) Por suposicin (P.6.b.) Por suposicin

Entonces:
(P.3.b.) Por suposicin (P.5.b.) Por suposicin Por suposicin (P.5.b.) Por suposicin (P.b.3.)

T.6.

PARA TODA DEMOSTRACIN Sea , por tanto:

(P.6.)

Pero:
(P.6.)

R. ESPINOSA R. y P. FUENTES R.

1-6

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

As que tanto X como

satisfacen el postulado P.6. como el complemento de A, por tanto:

T.7.

DEMOSTRACIN DE 7.a.
(P.5.b.) (P.5.b.) (T.2.) (P.5.b.) (T.3.) (P.3.b.)

T.8.

TEOREMAS SOBRE LA ASOCIACIN.

DEMOSTRACIN DE 8.a. Sea:

(P.5.b.) (T.7.) (P.5.b.) (T.7.)

(1)

(T.7.)

R. ESPINOSA R. y P. FUENTES R.

1-7

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

Como:

(P.5.b.) (T.7.)

(T.7.)

(2) Por consiguiente de (1) y (2) y por transitividad:

(T.7.)

T.9.

TEOREMAS SOBRE LA COMPLEMENTACIN.

DEMOSTRACIN DE 9.a.
(P.5.a.) (P.6.a.) (P.3.b.)

T.10. TEOREMAS DE DeMORGAN.

DEMOSTRACIN DE 10.a.
PRIMERA PARTE.

(P.5.a.)

R. ESPINOSA R. y P. FUENTES R.

1-8

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

(P.4.a.) (T.8.) (P.6.a.) (T.3.a.)

(1)
SEGUNDA PARTE.

(T.2.b.)

(P.4.b.) (P.5.b.) (P.6.b.)

(2) Por tanto, de (1) y (2) se concluye que:

(T.2.a.)

T.11

DEMOSTRACIN DE 11.a
(P.3.b.) (P.6.b.) (P.5.b.) (T.2.) (P.5.a.) (P.6.a.)

R. ESPINOSA R. y P. FUENTES R.

1-9

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

(P.3.b.)

T.12

DEMOSTRACIN DE 12.a.
(P.5.b.) (T.9.a.) (P.5.b.)

T.13

DEMOSTRACIN DE 13.a
(P.5.b.) (P.6.b.)

R. ESPINOSA R. y P. FUENTES R.

1-10

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

Para fcil referencia, los teoremas se resumen en la siguiente tabla:

TEOREMA PRIMAL T.1.a. T.2.a. T.3.a. T.4.a. T.5. T.6. T.7.a. T.8.a. T.9.a. T.10.a T.11.a T.12.a T.13.a 0 ES UNICO A+A=A A+1=1 A + (A C B) = A ES UNICO A= A C [(A + B) + C] = [(A + B) + C]CA = A A + (B + C) = (A + B) + C A+( T.7.b. T.8.b. T.9.b. T.10.b. A + [(A C B) C C = [(A C B) C C] + A=A A C (B C C) = (A C B) C C AC( = + C) C (B + C) = (A+B) C ( +C) + C) = (A + B) C (A + C) )=A + B) = A C B T.1.b. T.2.b. T.3.b. T.4.b. TEOREMA DUAL 1 ES UNICO ACA=A AC0=0 A C (A + B) = A

C B) = A + B
=

C C C) + (B C C) = (A C B) + ( C C) = (A C B)+(A C C)
)=A

(A C B) + (

C C)

T.11.b. (A + B) C (

(A C B) + (A C (A C B) + (A C

T.12.b. (A + B) C (A + T.13.b. (A + B) C (A +

1.4. COMPUERTAS LGICAS.

En la siguiente tabla se presentan los smbolos de las compuertas lgicas que se utilizarn, de aqu en adelante, para la realizacin de los circuitos lgicos. stas realizarn las funciones lgicas y tambin servirn de base para el diseo de circuitos ms complejos. Estamos en posibilidad de mostrar el empleo de smbolos grficos y expresiones algebraicas. EJEMPLO 1. Supngase que partiendo del enunciado verbal de un determinado problema, se tiene la siguiente expresin:
(1)

Y deseamos obtener el diagrama del circuito lgico que realice esta funcin. Las variables A, B, y C sern las entradas del circuito y F ser la salida. De la expresin observamos que se tienen tres trminos, cada uno de los cuales requiere de una compuerta Y, las dos primeras de dos entradas y una tercera de tres entradas. La salida de cada una de estas compuertas es la entrada de una compuerta O. A la salida de esta compuerta se tendr la funcin de salida. Pero antes, por cada variable testada que se tenga, se requiere que sta pase por un inversor. Al diagrama lgico en estas notas le denominaremos logigrama.

R. ESPINOSA R. y P. FUENTES R.

1-11

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

El logigrama que representa la funcin, queda de la siguiente manera:

COMPUERTA

SMBOLO

FUNCIN

TABLA DE VERDAD
A 0 1 A 0 B 0 1 0 1 B 0 1 0 1 B 0 1 0 1 B 0 1 0 1 F 1 0 F 0 0 0 1 F 0 1 1 1 F 1 1 1 0 F 1 0 0 0

INVERSOR

0 1 1 A 0

0 1 1 A 0

No Y

0 1 1 A 0

No O

0 1 1

R. ESPINOSA R. y P. FUENTES R.

1-12

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

COMPUERTA

SMBOLO

FUNCIN

TABLA DE VERDAD
A 0 B 0 1 0 1 B 0 1 0 1 F 0 1 1 0 F 1 0 0 1

O EXCLUSIVA

0 1 1 A 0

No O EXCLUSIVA

0 1 1

Sin embargo, el circuito anterior es factible de reducirse y es aqu donde se utilizan los postulados y teoremas. An cuando en este captulo no es objetivo la simplificacin de funciones Booleanas, s lo es aplicar postulados y teoremas. De la funcin, observamos que los dos ltimos trminos no son ms que el teorema 12.a., por lo tanto:
(T.12.a.) (P.4.a.)

Ahora la expresin queda con tres compuertas de dos entradas cada una, pero observamos que los dos primeros trminos forman la O EXCLUSIVA NEGADA, por lo tanto, la funcin queda:

El logigrama reducido es:

Con respecto al primer logigrama, observamos que se disminuy en una compuerta, adems de que no se utiliz ningn inversor. Ms adelante hablaremos del costo del circuito.
R. ESPINOSA R. y P. FUENTES R.

1-13

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

EJEMPLO 2.

Supngase que por algn medio se ha diseado el circuito que se muestra en la Figura 3 y se pide, de ser posible, obtener un circuito ms sencillo que realice la misma funcin.

Primero, es necesario determinar la expresin F realizada por el circuito. Esto se obtiene determinando la expresin lgica a la salida de cada compuerta, hasta llegar a la ltima del diagrama. Siguiendo el procedimiento anterior, obtenemos:
(2)

Aplicando postulados y teoremas a la ecuacin (2):

(P.5.) (T.4.a.;T.2.b.) (P.5.b.) (T.2.b.) (T.3.a.)

(T.11.a.)

R. ESPINOSA R. y P. FUENTES R.

1-14

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

El nuevo logigrama se muestra en la FIGURA 4.

Vemos que tanto la expresin como el circuito se han simplificado considerablemente, pero realizando la misma funcin. Con estos dos ejemplos se ha tratado de mostrar la aplicacin del lgebra de Boole, tanto en el anlisis como en la sntesis.

1.5 FUNCIONES DE CONMUTACIN

Una variable binaria es una variable discreta que puede asumir slo dos valores. Una funcin de conmutacin de una o ms variables, es una variable binaria cuyo valor depende de los valores de las variables de conmutacin. El smbolo f se emplea para denotar una funcin de conmutacin: f = f(A, B, C,...); las variables A, B, C,.., son variables independientes, mientras f es una funcin dependiente. El valor de una funcin de conmutacin depende del valor de sus variables independientes. Es fcil ver que para n variables, el nmero de combinaciones posibles es 2n. A continuacin se muestra la tabla para tres variables, con 23=8 combinaciones posibles. TABLA FUNCIONAL
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 f ? ? ? ? ? ? ? ?

Ahora bien, si los ocho signos de interrogacin, en la columna f se sustituyen por cualquier combinacin de unos y ceros, quedar definida una funcin especfica de A, B, C. Como se tienen ocho hileras, habr entonces 28 combinaciones diferentes para f, es decir, se tendrn 28 funciones de conmutacin diferentes. El valor de f, para una hilera particular se denomina valor funcional para la correspondiente combinacin de valores. DEFINICIN: Una funcin de conmutacin de n variables, es cualquier asignacin particular de valores funcionales para las 2n combinaciones posibles de valores de n variables.
1-15

R. ESPINOSA R. y P. FUENTES R.

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

EJEMPLO 3. Determine la funcin de conmutacin para un circuito que detecte los nmeros primos, para cuando se tengan cuatro variables de entrada.

TABLA FUNCIONAL
DEC 0 1 2 3 4 5 6 7 A 0 0 0 0 0 0 0 0 B 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 F 0 1 1 1 0 1 0 1 DEC 8 9 10 11 12 13 14 15 A 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 F 0 0 0 1 0 1 0 0

Por definicin un nmero primo es aquel que solamente es divisible por la unidad y por s mismo, por lo tanto, cuando las combinaciones binarias correspondientes a los nmeros 1, 2, 3, 5, 7, 11 y 13, se presentan a la entrada del circuito, a la salida se tendr un 1 lgico. En base a este razonamiento, la funcin de conmutacin se representa de la siguiente forma:
(3)

En la siguiente seccin se explicar cmo se interpreta esta funcin.

1.6 FORMAS NORMALES DE LAS FUNCIONES DE CONMUTACIN.

En el prrafo anterior se vio que, dada una funcin en forma algebraica, es posible determinar la tabla funcional. Esta tabla es nica para una funcin especfica, como la mostrada en la ecuacin (3). Dentro de las (22)n expresiones, la que ms debe interesarnos es la forma cannica. La relacin que guarda la forma cannica con la tabla funcional es muy importante, ya que por inspeccin de sta se obtiene la forma cannica. Antes de continuar con la forma cannica de una funcin, se darn las siguientes definiciones:

R. ESPINOSA R. y P. FUENTES R.

1-16

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

LITERAL.

Una variable y/o su complemento.

TRMINO PRODUCTO.

Conjunto de literales relacionadas por la conectiva C.

TRMINO SUMA.

Conjunto de literales relacionadas por la conectiva +.

TRMINO NORMAL.

Un trmino producto o suma en el cual ninguna literal aparece ms de una vez

- Producto normal - Suma normal TRMINO CANNICO. Trmino normal que contiene tantas literal como variables la funcin. Producto cannico o minitrmino. (para tres variables) Suma cannica o maxitrmino. (para tres variables) FORMA SUMA DE PRODUCTOS. Una suma de trminos producto (MINITRMINO) de una funcin.

FORMA PRODUCTO DE SUMAS. Un producto de trminos suma (MAXITRMINOS) de una funcin.

R. ESPINOSA R. y P. FUENTES R.

1-17

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

FORMA CANNICA DE UNA FUNCIN. Es aquella en que todos los trminos son cannicos y aparecen una sola vez. Se tienen dos formas: 1. Suma de productos cannicos o suma de MINITRMINOS.

2.

Producto de sumas cannicas o producto de MAXITRMINOS.

A continuacin se muestra una tabla con tres variables, en donde se muestra la notacin de los minitrminos y los maxitrminos.
DECIMAL A B C MINITRMINO MAXITRMINO

R. ESPINOSA R. y P. FUENTES R.

1-18

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

EJEMPLO 4. Disee un circuito que detecte nmeros pares cuando a la entrada se tengan nmeros binarios de 4 bits.

TABLA FUNCIONAL
DEC 0 1 2 3 4 5 6 7 A 0 0 0 0 0 0 0 0 B 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 F 0 0 1 0 1 0 1 0 DEC 8 9 10 11 12 13 14 15 A 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 F 1 0 1 0 1 0 1 0

FUNCIN CANNICA

De otra forma:

LOGIGRAMA El logigrama se presenta en la FIGURA 5.

R. ESPINOSA R. y P. FUENTES R.

1-19

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

EJEMPLO 5. Se tienen dos nmeros binarios de dos bits cada uno. Se desea disear un circuito tal que detecte cundo estos nmeros son iguales. Definicin de las variables. X(A, B); Y(C, D); F = (X, Y) TABLA FUNCIONAL
DEC 0 1 2 3 4 5 6 7 A 0 0 0 0 0 0 0 0 B 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 F 1 0 0 0 0 1 0 0 DEC 8 9 10 11 12 13 14 15 A 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 F 0 0 1 0 0 0 0 1

FUNCIN CANNICA

El logigrama se muestra en la FIGURA 6. En los ejemplos 4 y 5, los circuitos se construyeron directamente de las funciones cannicas, ya que an no se han utilizado los mtodos de minimizacin; pero qu sucede si la funcin se presenta como la ecuacin (1), EJEMPLO 1, y deseamos conocer la funcin cannica que la origin? En tal caso, debemos

R. ESPINOSA R. y P. FUENTES R.

1-20

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

obtener dicha funcin cannica utilizando los siguientes teoremas: 1. Cualquier funcin de conmutacin de n variables F(A, B, C,...), se puede expresar como una suma normal de productos utilizando los siguientes postulados:
(P.3.b.) (P.6.a.) (P.5.b.)

2.

Cualquier funcin de conmutacin de n variables F(A, B, C,...), se puede expresar como un producto normal de sumas, utilizando los siguientes postulados:
(P.3.a.) (P.6.b.) (P.5.a.)

EJEMPLO 6. Dada la siguiente funcin, encontrar la funcin cannica en forma de suma de productos.

Por tanto:

R. ESPINOSA R. y P. FUENTES R.

1-21

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

EJEMPLO 7. Obtener la funcin cannica en forma de producto normales de sumas.

Finalmente:

Se puede observar de los resultados de los EJEMPLOS 6 y 7, que partiendo de la misma funcin no cannica, se puede obtener la funcin cannica en sus dos formas: como suma de minitrminos o como producto de maxitrminos. Tambin observamos que los trminos que no estn en una funcin, estn en la otra, pero que la suma de ambos dan los 2n trminos. EJEMPLO 8. De la siguiente funcin, encontrar la funcin cannica en la forma de producto de maxitrminos.

Utilizando los teoremas antes expuestos:

R. ESPINOSA R. y P. FUENTES R.

1-22

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

De inmediato, sabemos que:

EJEMPLO 9. De la siguiente funcin, encontrar la funcin cannica en la forma de suma de productos.

Utilizando los teoremas:

Automticamente, sabemos que:

R. ESPINOSA R. y P. FUENTES R.

1-23

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

EJEMPLO 10. Obtener la funcin cannica en la forma de suma de productos de la siguiente funcin:

SOLUCIN

La solucin es inmediata ya que la funcin representa el maxitrmino cero, y como ya se dijo anteriormente, los trminos que estn en una funcin no estn en la otra.

I.7. FORMAS DE EXPRESIN DE UNA FUNCIN DE CONMUTACIN.

Existen cuatro formas para expresar una funcin de conmutacin, las cuales son aplicadas para representar un circuito lgico, teniendo cada una su propia utilidad, y stas son: 2. 3. 4. 5. Tabla Funcional. Expresin Algebraica. Logigrama. Carta de Tiempo.

TABLA FUNCIONAL. Es una forma tabular de la funcin que da el valor para cada una de las posibles combinaciones de las variables. La tabla en conveniente para la especificacin inicial de una funcin, ya que su misma construccin asegura que la funcin quede completamente definida. An sin definirla previamente, el concepto de la tabla funcional ya fue usada en los ejemplos (4) y (5). La principal desventaja de la tabla funcional es el tamao, el cual dificulta su manejo cuando el nmero de variables es grande (para n=6). EXPRESIN ALGEBRAICA. Una de las caractersticas importantes del lgebra, es la existencia de una variedad infinita de formas equivalentes para la misma funcin. El lgebra puede expresar las propiedades lgicas de un circuito, con respecto a la forma fsica del mismo. Desde luego, la manipulacin algebraica puede ser til herramienta para optimizar la realizacin de un circuito, de acuerdo con algn criterio. LOGIGRAMA. Mientras la tabla funcional y las expresiones algebraicas son propiedades independientes de cualquier configuracin del circuito, el logigrama muestra la topologa de una realizacin particular del circuito que realiza la funcin lgica. Es una abstraccin del circuito real, en donde se suprimen detalles irrelevantes para la funcin lgica del circuito. Como los elementos son cajas negras y lneas que las conectan, los circuitos que los contengan en su interior, pueden estar realizados en cualquier tecnologa. El logigrama tiene una orientacin ms realista que el lgebra.

R. ESPINOSA R. y P. FUENTES R.

1-24

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

CARTA DE TIEMPOS. Esta carta es un diagrama prctico indispensable para el anlisis y sntesis de circuitos lgicos complejos, de tamao ms que regulares. Se emplea extensamente en el diseo de computadoras, as como en la temporizacin de otros sistemas de control. Su propsito es introducir el elemento tiempo en el lgebra de Boole. En cualquier circuito secuencial, las relaciones de tiempo entre las seales son muy importantes y quedan mejor expresadas en una carta de tiempos. En la FIGURA 7, se muestra una carta de tiempos en la funcin A C B.

I.8 NIVELES DE CONMUTACIN.

Se habr observado en los logigramas que la salida de una com-puerta puede ser la entrada de otra compuerta, y la salida de sta puede ser la entrada de otra ms, y as sucesivamente. Esta estructura de conexin entre compuertas, forma lo que se llama niveles de conmutacin o simplemente niveles de circuito. Por niveles de conmutacin se entender el mximo nmero de compuertas que una o ms de las variables atraviesa desde la entrada hasta la salida del circuito. Este concepto se muestra en la FIGURA 8. El concepto de los niveles de un circuito es importante en relacin al retardo que las seales experimentan en un circuito.

I.9 EJERCICIOS.
1. Utilizando los postulados y teoremas del lgebra de Boole, compruebe cadas una de las siguientes funciones, indicando, paso a paso, los postulados y teoremas empleados. a) c) e) g) f) h) b) d)

R. ESPINOSA R. y P. FUENTES R.

1-25

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

i) 2. 3.

j)

Compruebe las funciones del problema anterior utilizando las tablas de verdad. Dadas las expresiones siguientes, obtenga el logigrama correspondiente. a) b) c) d) e)

4.

Dados los siguientes logigramas, encuentre la expresin representativa de la funcin de salida. a) b)

c)

5.

Simplifique las funciones obtenidas de los logigramas del problema anteriores.

1-26

R. ESPINOSA R. y P. FUENTES R.

1. INTRODUCCIN A LOS CIRCUITOS LGICOS

1.1 LGEBRA DE BOOLE

6.

Encuentre el complemento de las siguientes funciones:

7.

Utilizando los postulados y el lgebra de Boole, encuentre las formas cannicas de las siguientes funciones:

8.

Determine si las siguientes funciones son lgicamente equivalentes:

9.

Reemplazar el circuito de conmutacin de la siguiente figura por compuertas lgicas. Encuentre los 4 esquemas del logigrama.

R. ESPINOSA R. y P. FUENTES R.

1-27