Está en la página 1de 38

Algebra booleana y compuertas

lgicas

2-1 DEFINICIONES BASICAS El lgebra booleana, como cualquier otro sistema matemtico deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un nmero de axiomas no probados o postulados. Un conjunto de elementos es cualquier coleccin de objetos que tienen una propiedad comn. Si S es un conjunto y, x y y son ciertos objetos, entonces x E S denota que x es un miembro del conjunto S y, y ~ S denota que y no es un elemento de S. Un conjunto con un nmero denumerable de elementos se especifica por llaves: A = { 1, 2, 3,4 }, esto es, los elementos del conjunto A son los nmeros 1,2,3 y 4. Un operador binario definido en un conjunto S de elementos es una regla que asigna a cada par de elementos de S un elemento nico de S. Como ejemplo, considrese la relacin a=b = c. Se dice que * es un operador binario y especifica una regla para encontrar e mediante el par (a, b) y tambin si a, b, e E S. Sin embargo, * no es un operador binario si a, b E S, si la regla encuentra que e g S. Los postulados de un sistema matemtico forman los supuestos bsicos mediante los cuales es posible deducir las reglas, teoremas y propiedades del sistema. Los postulados ms comunes que se utilizan para formular diversas estructuras algebraicas son:
1. Cierre. Un conjunto S est cerrado con respecto a un operador binario si,

para cada par de elementos de S, el operador binario especifica una regla para obtener un elemento nico de S. Por ejemplo, el conjunto de los nmeros naturales N = { 1, 2, 3, 4, ... } est cerrado con respecto al operador binario ms (+) por las reglas de la adicin aritmtica, ya que para cualquier a, b E N se obtiene una nica e E N por la operacin a + b = c. El conjunto de los nmeros naturales no est cerrado con respecto al operador binario menos (-) por las reglas de la resta aritmtica debido a que 2 - 3 = -1 y 2, 3 E N, ya que (-1) ~ N.
2. Ley asociativa.

Un operador binario asociativo siempre que

* en un conjunto S se dice que es


35

36

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

(x*y)*z = x*(y*z)para

todosx,y,

z ES

3. Ley conmutativa. Un operador binario conmutativo siempre que:

*' en un conjunto S se dice que es


E S

x*y = y*xpara todosx,y

4. Elemento identidad. Un conjunto S se dice que tiene un elemento identidad respecto a una operacin binaria * en S si existe un elemento e E S con la propiedad: para cada x E S Ejemplo: El elemento es un elemento identidad con respecto a la operacin + en el conjunto de enteros 1 = { ..., -3, -2, -1, 0, 1, 2, 3, ... } ya que: x

+ O= O+ x =

x para cualquier x E 1

El conjunto de los nmeros naturales N no tiene elemento identidad ya que est excluido del conjunto.

5. Inversa. Un conjunto S que tiene el elemento identidad e con respecto a un operador binario * se dice que tiene una inversa siempre que, para cada x E S, existe un elemento y E S tal que: x*y

=e

Ejemplo: En el conjunto de enteros 1con e = 0, la inversa de un elemento a es (-a) ya que a + (-a) = O. 6. Ley distributiva. Si * y . son dos operadores binarios en un conjunto S, * se dice que es distributivo sobre . siempre que:

Un ejemplo de una estructura algebraica es un campo. Un campo es un conjunto de elementos, junto con dos operadores binarios, cada uno teniendo las propiedades 1 a 5 y ambos operadores combinados para dar la propiedad 6. El conjunto de los nmeros reales junto con los operadores binarios + y . forman el campo de los nmeros reales. El campo de los nmeros reales es la base de la aritmtica y del lgebra ordinaria. Los operadores y los postulados tienen los siguientes significados: El operador binario

+ define

la adicin.

La identidad aditiva es O. La inversa aditiva define la sustraccin.

SEC.2-2 DEFINICION AXIOMATICA DEL ALGREBRA BOOLEANA

37

El operador binario

define la multiplicacin.

La identidad multiplicativa es l. La inversa multiplicativa de a


=

1/a define la divisin, esto es, a

1/a

= l.

La nica ley distributiva aplicable es la de . sobre

+:

a- (b + e) = (ab)

+ (ae)

2-2

DEFINICION AXIOMATICA DEL ALGEBRA BOOLEANA

En 1854 George Boole (1) introdujo un tratamiento sistemtico de la lgica y desarroll para este propsito un sistema algebraico que ahora se conoce como lgebra booleana. En 1938 C.E. Shannon (2) introdujo un lgebra booleana de dos valores denominada lgebra de interruptores. en la cual demostr que las propiedades de los circuitos elctricos y estables con interruptores pueden representarse con esta lgebra. Para la definicin formal del lgebra booleana, se emplean los postulados formulados por E.V. Huntington (3) en 1904. Estos postulados o axiomas no son nicos para definir el lgebra booleana. Se han usado otros conjuntos de postulados. * El lgebra booleana es una estructura algebraica definida en un conjunto de elementos B junto con dos operadores binarios + y . siempre que se satisfagan los siguientes postulados (Huntington):
1. (a) Cierre con respecto al operador

+.

(b) Cierre con respecto al operador ., 2. (a) Un elemento identidad con respecto a +, designado por O:x+O=O+ x=x. (b) Un elemento identidad con respecto a " designado por 1:x . 1= 1 . x = x. 3. (a) Conmutativo con respecto a +: x + y = y + x. (b) Conmutativo con respecto a -: x -y = y . x. 4. (a) . es distributivo sobre +: x - (y + z) (b) + es distributivo sobre -: x + (y. z)

= (x- y) + (x - z). = (x + y) . (x + z).

5. Para cada elemento x E B. existe un elemento x' E B (denominado complemento de x) tal que: (a) x + x' = 1 y (b) x . .v' =0. 6. Existen cuando menos dos elementos .v, y E B tales que X=F y. Al comparar el lgebra booleana con la aritmtica y el lgebra ordinaria (el campo de los nmeros reales), se observan las siguientes diferencias: l. Los postulados de Huntington no incluyen la ley asociativa. No obstante, esta leyes vlida para el lgebra booleana y puede derivarse (para ambos operadores) mediante los otros postulados.
*Vase. por ejemplo. Birk off y Bartee (4). Captulo 5.

38

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

2. La ley distributiva de + sobre " esto es, x + (y . z) = (x + y) . (x vlida para el lgebra booleana, pero no para el lgebra ordinaria.

+ z), es

3. El lgebra booleana no tiene inversas aditiva o multiplicativa; por lo tanto, no hay operaciones de sustraccin o divisin. 4. El postulado 5 define un operador llamado complemento que no se encuentra en el lgebra ordinaria. 5. El lgebra ordinaria conjunto infinito de todava no definido valores que se define lgebra), B se define trata con nmeros reales, los cuales constituyen un elementos. El lgebra booleana trata con el conjunto de elementos B, pero en el lgebra booleana de dos ms adelante (y de inters en el uso subsecuente de esta como un conjunto con slo dos elementos, O y l.

El lgebra booleana se parece en algunos aspectos al lgebra ordinaria. La eleccin de los smbolos + y . es intencional para facilitar las manipulaciones algebraicas booleanas por las personas que ya estn familiarizadas con el lgebra ordinaria. Aunque puede utilizarse cierto conocimiento del lgebra ordinaria para tratar con el lgebra booleana, el principiante debe tener cuidado de no sustituir las reglas del lgebra ordinaria cuando no son aplicables. Es importante distinguir entre los elementos del conjunto de una estructura algebraica y las variables de un sistema algebraico. Por ejemplo, los elementos de campos de los nmeros reales son nmeros, en tanto que variables como a, b, c, etc., que se usan en el lgebra ordinaria, son smbolos que representan nmeros reales. En forma semejante, en el lgebra booleana se definen los elementos del conjunto S y variables como x, y, z son simplemente smbolos que representan los elementos. En este punto, es importante tener en cuenta que con objeto de tener un lgebra booleana. deben mostrarse: l. los elementos del conjunto S, 2. las reglas de operacin para los dos operadores binarios y, 3. que el conjunto de elementos B, junto con los dos operadores, satisfacen los seis postulados de H untington.

Pueden formularse muchas lgebras booleanas, dependiendo de la eleccin de los elementos de B y las reglas de operacin. * En el trabajo subsecuente, se tratar slo con el lgebra booleana de dos valores, esto es, una con slo dos elementos. El lgebra booleana de dos valores tiene aplicaciones en la teora de conjuntos (el lgebra de clases) y en la lgica proposicional. El inters aqu es la aplicacin del lgebra booleana a los circuitos tipo compuerta.
*Vase, por ejemplo. Hohn (6), Whitesitt (7) o Birkhoff y Bartee (4).

Algebra

booleana

de dos valores

Un lgebra booleana de dos valores se define en un conjunto de dos elementos, B = { O, 1), con las reglas para dos operadores binarios + y. como se muestra en las siguientes tablas de operadores (la regla para el operador complemento es para la verificacin del postulado 5):

x y O O O 1 1 O 1 1

xy O O O 1

x y O O O 1 1 O
1 1

x+y O
1

x O
1

x' 1 O

1 1

Estas reglas son exactamente las mismas que las operaciones ANO, OR Y NOT, respectivamente, definidas en la Tabla 1-6. Ahora debe mostrarse que los postulados de Huntington son vlidos para el conjunto B = { O, 1} y los dos operadores binarios que se definieron antes.
l. Cierre es obvio por las tablas, ya que el resultado de cada operacin es, ya sea 1 o O y 1, O E B.

2. A partir de las tablas puede verse que: (a) O + O = O (b) 1 . 1 == 1 0+1=1+0=1 10=01=0

establece que los dos elementos identidad son O para ne por el postulado 2.

+ y 1para

. como se defi-

3. Las leyes conmutativas son obvias por la simetra de las tablas del operador binario. 4. (a) La ley distributiva x . (y + z) = (x . y) + (x . z) puede mostrarse que es verdadera por las tablas del operador, al formar una tabla de verdad de todos los valores posibles de x, y y z. Para cada combinacin, se deriva x . (y + z) y se muestra que el valor es el mismo que (x . y) + (x. z). x y
O O O O 1 1 1 1 O O 1 1 O O 1 1

z
O 1 O 1 O 1 O 1

y+z O l I 1 O 1 1 1

x- (y O O O O O 1 1 1

+ z)

X'y O O O O O O 1 1

x= z

(x- y)

+ (x- z)
O O O O O 1 1 1

O
O O O 1 O 1

39

40

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

(b) La ley distributiva de + sobre' puede mostrarse que es vlida mediante una tabla de verdad semejante a la anterior. 5. Mediante la tabla de complemento es fcil mostrar que: (a) x + x' = 1, ya que O + O' = O + 1 = 1 y 1 + l ' = 1 + O = 1. (b)x' x'=O,yaqueO' 0'=0' I=Oyl' 1'=1' O=Olocualverifica el postulado 5. 6. El postulado 6 se satisface ya que el lgebra booleana de dos valores tiene dos elementos distintos 1 y O con 1 =1= O. Acaba de establecerse un lgebra booleana de dos valores que tiene un conjunto de dos elementos, 1 y O,dos operadores binarios con reglas de operacin equivalentes a las operaciones ANO y OR Y un operador complemento equivalente al operador NOT. En consecuencia, el lgebra booleana se ha definido de una manera matemticamente formal y se ha mostrado que es equivalente a la lgica binaria que se present en forma heurstica en la Seccin 1-8. La presentacin heurstica es de ayuda para entender la aplicacin del lgebra booleana a los circuitos tipo compuerta. La presentacin formal es necesaria para desarrollar los teoremas y las propiedades del sistema algebraico. El lgebra booleana de dos valores que se define en esta seccin tambin se conoce como "lgebra de interruptores" (o de conmutacin) entre los ingenieros. Para dar nfasis a las similitudes entre el lgebra booleana de dos valores y otros sistemas binarios, esta lgebra se denomin "lgica binaria" en la Seccin 1-8. De aqu en adelante, se eliminar el calificativo "dos valores" del lgebra booleana en las exposiciones subsecuentes. 2-3 TEOREMAS BASICOS y PROPIEDADES DEL ALGEBRA BOOLEANA Dualidad Los postulados de Huntington se listaron en pares y se designaron en la parte (a) y la (b). Una parte puede obtenerse de la otra si los operadores binarios y los elementos identidad se intercambian. Esta propiedad importante del lgebra booleana se denomina principio de dualidad. Establece que cada expresin algebraica deducida de los postulados del lgebra booleana permanece vlida si los operadores y los elementos identidad se intercambian. En una lgebra booleana de dos valores, los elementos identidad y los elementos del conjuntoB son los mismos: 1 y O.El principio de dualidad tiene muchas aplicaciones. Si se desea el dual de una expresin algebraica, simplemente se intercambian los operadores OR y AND y se reemplazan los 1por Oy los Opor l. Teoremas bsicos En la Tabla 2-1 se listan seis teoremas del lgebra booleana y cuatro de sus postulados. La notacin se simplifica omitiendo el . siempre que esto no provoque confusiones. Los teoremas y postulados que se listan son las relaciones ms bsicas en el lgebra

----T AUI.A 2-1 Postulados y teoremas del lgebra booleana

Postulado 2 Postulado 5 Teorema l Teorema 2 Teorema 3, involucin Postulado 3, conmutativo Teorema 4, asociativo Postulado 4, distributivo Teorema 5, de De Morgan Teorema 6, absorcin

(a) (a) (a) (a) (a) (a) (a) (a) (a)

x x
x

+O=x + x' = 1
+
x

x + 1= 1
(x')'

(b) (b) (b) (b)

1 == x x x' == O
xx- x

x O = O
xy yx x(yz) = (xy)z x + yz = (x + y)(x (xy)' x' + y' x(x + y) = x

+y

x =y

+x

x + (y + z) = (x + y) x(y + z) = xy + xz (x + y)' = x'y' x + xy - x

+z

(b) (b) (b) (b) (b)

+ z)

booleana. Se aconseja al lector que se familiarice con ellos tan pronto como le sea posible. Los teoremas, al igual que los postulados, se listan en pares; cada relacin es el dual de su pareja. Los postulados son axiomas bsicos de la estructura algebraica y no necesitan prueba. Los teoremas deben probarse mediante los postulados. Las pruebas de los teoremas con una variables se presentan ms adelante. A la derecha se lista el nmero del postulado que justifica cada paso de la prueba. TEOREMA l(a):

+x

= x. por el postulado:

+ x ==

(x + x) . 1 == (x + x)( x + x') == x + xx' =x+O


==x

2(b)

5(a)
4(b) 5(b) 2(a)

TEOREMA

l(b): x x

== x.
por el postulado:

x x = xx + O = xx + xx' == x(x + x') == x 1


==x

2(a) 5(b) 4(a)

5(a)
2(b)

Obsrvese que el teorema l(b) es el dual del teorema l(a) y que cada paso de la prueba en la parte (b) es el dual de la parte(a). Cualquier teorema dual puede derivarse en forma similar de la prueba de su pareja correspondiente. TEOREMA x 2(a): x

+ 1=

1.
por el postulado:

+ 1=

1 . (x + 1) = (x + x')(x + 1) == x + x' 1 == x + x' = 1

2(b)

5(a)
4(b) 2(b)

5(a)
41

42

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

TEOREMA 2(b): x . O = O por la dualidad. TEOREMA 3: (x')' = x. Por el postulado 5, se tiene x + x' = 1 y x . x' = O, lo cual define el complemento de x. El complemento de x' es x y tambin es (x')'. Por tanto, ya que el complemento es nico, se tiene que (x')' = .v. Los teoremas que implican dos o tres variables pueden probarse en forma algebraica por los postulados y teoremas que ya se han probado. Por ejemplo, tmese el teorema de absorcin. TEOREMA 6(a):

+ .xy = x.
+.xy
= x(1

x+.xy=xl

= x(y
=

+ y) + 1)

x- 1

=x

por por por por por

el el el el el

postulado postulado postulado postulado postulado

2(b) 4(a) 3(a) 2(a) 2(b)

TEOREMA 6(b): x(x

+ y)

= x por dualidad.

Puede demostrarse que los teoremas del lgebra booleana son vlidos mediante las tablas de verdad. En estas tablas, ambos lados de la relacin se verifican para que den resultados idnticos en todas las combinaciones posibles de las variables implicadas. La siguiente tabla de verdad verifica el primer teorema de absorcin.

.xy O O

+ xy
O

O O

o
1
O 1

1
1

O
1

1 1

Las pruebas algebraicas de la ley asociativa y del teorema de De Morgan son largas y no se mostrarn aqu. Sin embargo, su validez se ilustra fcilmente con tablas de verdad. Por ejemplo, la tabla de verdad para el primer teorema de De Morgan (x + y)'-== x'y' se muestra a continuacin.

x O O 1 1

y O 1 O 1

x +y O 1 1 1

(x

+ y)'
1 O O O

x' 1 1 O O

y' 1 O 1 O

x'y' 1 O O O

Precedencia de los operadores

La precedencia de los operadores para evaluar las expresiones booleanas es (1) parntesis, (2) NOT, (3) ANO y (4) ORo En otras palabras, la expresin entre parntesis debe evaluarse antes que las otras operaciones. La siguiente operacin que toma precedencia es el complemento, entonces sigue ANO y, por ltimo, ORoComo ejemplo, considrese la tabla de verdad para el teorema de De Morgan. El lado izquierdo de la expresin es (x + y)'. Por consiguiente, la expresin entre parntesis se evala primero y entonces se toma el complemento del resultado. El lado derecho de la expresin es x'j:'. As que, el complemento de x y el complemento de y se evalan primero y el resultado se opera por ANO. Obsrvese que en aritmtica ordinaria es vlida la misma precedencia (excepto para el complemento) cuando la mu1tiplicacin y la suma se reemplazan por ANO y OR, respectivamente. Diagrama de Venn Una ilustracin de ayuda que es posible utilizar para visualizar las relaciones entre las variables de una expresin booleana es el diagrama de Venn. Este diagrama consta de un rectngulo, como el que se muestra en la Fig. 2-1, dentro del cual se dibujan crculos traslapados, uno para cada variable. Cada crculo se etiqueta por una variable. Se designan todos los puntos dentro de un crculo como pertenecientes a la variable etiquetada y todos los puntos fuera del crculo como no pertenecientes a la variable. Tmese, por ejemplo, el crculo etiquetado x. Si se considera el interior del crculo, se dice que x = 1; si se considera el exterior, se dice que x = O. Ahora, con dos crculos traslapados, hay cuatro reas distintas dentro del rectngulo: el rea que no pertenece ya sea a x o y (x'y'). El rea dentro del crculo y pero fuera de x(x'y), el rea en el interior del crculo x pero fuera de y (xy') y el rea dentro de ambos crculo.s (xy). Los diagramas de Venn pueden usarse para ilustrar los postulados del lgebra booleana o para mostrar la validez de los teoremas. En la Fig. 2-2, por ejemplo, se ilustra que el rea que pertenece a xy est en el interior del crculo x y, por lo tanto, x + xy = x. En la Fig. 2-3 se muestra la ley distributiva x(y + z) = xy + XZ. En este diagrama se tienen tres crculos traslapados, uno para cada una de las variables x, y y z. Es posible distinguir- ocho reas distintas en un diagrama de Venn de tres variables. Para este ejemplo particular, la ley distributiva se demuestra observando que el rea intersecada por el crculo x, con el rea que encierra y o z, es la misma rea que pertenece a xy o XZ.

~
~X'Y'

Figura 2-1 Diagrama de Venn para dos variables.

43

Figura 2-2

Ilustracin

en el diagrama

de Venn de x = xy

+ x.

x
Figura 2-3

(y

+ z)
en el diagrama

xy+xz
de Venn de la ley distributiva.

Ilustracin

2-4 FUNCIONES BOOLEANAS Una variable binaria puede tomar el valor de O o l. Una funcin booleana es una expresin formada por variables binarias, los dos operadores binarios OR y ANO, operador unitario NOT, parntesis y signo de igual. Para un valor dado de variables, la funcin puede ser O o bien l. Considrese, por ejemplo, la funcin booleana: F; = xyz' La funcin F es igual a 1 si x = 1 y y = 1 y z' = 1; de otra manera, F = O. Este es un ejemplo de una funcin booleana representada como una funcin algebraica. Una funcin booleana tambin puede representarse en una tabla de verdad. Para representar una funcin en una tabla de verdad, se necesita una lista de las 2n combinaciones de 1 y O de las n variables binarias y, una columna que muestre las combinaciones para las cuales la funcin es igual a 1 o O. Como se muestra en la Tabla 2-2, hay ocho combinaciones distintas posibles para asignar bits a tres variables. La columna etiquetada F contiene un O o bien un 1, para cada una de estas combinaciones. En la tabla se muestra que la funcin F es igual a 1slo cuando x = 1, y = 1 y z = O. De otra manera, es igual a O. (Obsrvese que el enunciado z' = 1 es equivalente a decir que z = O.) Considrese ahora la funcin: F2 44

+ y'z

SEC.2-4

FUNCIONES

BOOLEANAS

45

F2

= I si x = 1 o si y = 0, mientras z = l. En la Tabla 2-2, x = I en los ltimos cuatro renglones y yz = 01 en los renglones 001 y 1Ol. La ltima combinacin se aplica tambin para x = l. Por tanto, hay cinco combinaciones que hacen F2 = l. Como un tercer ejemplo, considrese la funcin:
F3 = x'y' z + x'yz + xy'

Esto se muestra en la Tabla 2-2 con cuatro nmeros I y cuatro nmeros O. F4 es la misma que F3 y se considera a continuacin. Cualquier funcin booleana puede representarse en una tabla de verdad. El nmero de renglones en la tabla es 2",donde n es el nmero de variables binarias en la funcin. Las combinaciones de 1 y O para cada rengln se obtienen fcilmente mediante los nmeros binarios contando desde O a 2" - l. Para cada rengln de la tabla, hay un valor para la funcin igual ya sea a 1 o O. Surge ahora la pregunta, es nica una expresin algebraica de una funcin booleana dada? En otras palabras, es posible encontrar dos expresiones algebraicas que especifiquen la misma funcin? La respuesta a esta pregunta es afirmativa. De hecho, la manipulacin del lgebra booleana se aplica principalmente al problema de encontrar expresiones ms simples para la misma funcin. Considrese, por ejemplo, la funcin: F4 = xy'

+ x'z

Mediante la Tabla 2-2, se encuentra que F4 es la misma que F3, ya que ambas tienen 1 idnticos y O idnticos para cada combinacin de valores de las tres variables binarias. En general, se dice que dos funciones de n variables binarias son iguales si tienen el mismo valor para todas las 2n combinaciones posibles de las n variables. Una funcin booleana puede transformarse de una expresin algebraica en un diagrama lgico compuesto de compuertas ANO, OR y NOT. El implante de las cuatro funciones que se introdujo en la exposicin anterior se muestra en la Fig. 2-4.
TAULA

2-2

Tablas de verdad para F, = xyz'. F2 = X + jz. F3 = x'y'z + x'yz+ x)", yF4= xy' + .vz
X

z O
1

F) O O O O O O
1

F2 O
1

F3 O
1

F4 O
1

O O O O
1 1 1 1

O O
1 1

O
1

O O
1 1 1 1

O
1 1 1

O
1 1 1

O O

O
1

O
1

O O

O O

(a)

F =xyz'

(b)

F2

+ y'z

(c)

F3

x'y'z

+ x'yZ +xy'

(d)

F4

= xy'

+ x'z

Figura 2-4 Implementacin de funciones booleanas con compuertas.

El diagrama lgico incluye un circuito inversor para cada variable presente en su forma de complemento. (El inversor es innecesario si est disponible el complemento de la variable.) Hay una compuerta Y para cada trmino en.la expresin y, se usa una compuerta Opara combinar dos o ms trminos. Para los diagramas, es obvio que el implante de F4 requiere menos compuertas y menos entradas que F3' Ya que F4 y F3 son funciones booleanas iguales, es ms econmico implantar la forma F4 que la F3' Para encontrar circuitos ms simples, debe conocerse cmo manipular las funciones booleanas para obtener expresiones iguales y ms simples. Lo que constituye la mejor forma de una funcin booleana depende de la aplicacin particular. En esta seccin, se toma en consideracin el criterio de minimizacin de equipo. 46

Manipulacin

algebraica

Una literal es una variable prima o no prima. Cuando una funcin booleana se implanta con compuertas lgicas, cada literal en la funcin denota una entrada a una compuerta, y cada trmino se implanta con una compuerta. La minimizacin del nmero de literales y el nmero de trminos resulta en un circuito con menos equipo. No siempre es posible minimizar ambos en forma simultnea; por lo comn, debe disponerse de ms criterios. Por el momento, se reduce el criterio de minimizacin a la minimizacin de literales. Se expondrn otros criterios en el Captulo 5. El nmero de literales en una funcin booleana puede minimizarse por manipulaciones algebraicas. Desafortunadamente, no hay reglas especficas que seguir que garanticen la respuesta final. El nico mtodo disponible es un procedimiento de corte y ensayo empleando los postulados, teoremas bsicos y cualquier otro mtodo de manipulacin que llegue a ser familiar con el uso. Los siguientes ejemplos ilustran este procedimiento. EJEMPLO 2-1: Simplifique la siguiente funcin booleana a un nmero mnimo de literales.

l. x + x'y = (x + x')( x + y) = 1 . (x + y) = x + y
2. x( x'

3. 4.

+ y) = xx' + xy = O + xy = xy x'y'z + x'yz + xy' = x'z(y' + y) + xy' = xy + x'z + yz= xy + x'z + yz(x + x') = xy + x' z + xy z + x'y z = xy(1 + z) + x'z(1 + y) = xy + x'z

x' z

+ xy'

5. (x + y)(x' + z)(y + z) = (x + y)(x' + z) por la dualidad de la funcin 4.

Las funciones 1 y 2 son duales una de otra y utilizan expresiones duales en los pasos correspondientes. La funcin 3 muestra la igualdad de las funciones F3 y F4, expuestas con anterioridad. La cuarta ilustra el hecho de que un incremento en el nmero de literales algunas veces conduce a una expresin final ms simple. La funcin 5 no se minimiza en forma directa, pero puede derivarse del dual de los pasos usados para derivar la funcin 4. Complemento de una funcin El complemento de una funcin Fes F y se obtiene por el intercambio de nmeros Oa nmeros 1 y de nmeros 1 a nmeros O en el valor de F. El complemento de una funcin puede derivarse en forma algebraica mediante el teorema de De Morgan. Este par de teoremas se lista en la Tabla 2-1 para dos variables. Los teoremas de De Morgan pueden ampliarse a tres o ms variables. La forma de tres variables del primer
47

48

ALGEBRA BOOLEANA Y COMPUERTAS LOGICAS

CAP. 2

teorema de De Morgan se deriva a continuacin. que se listan en la Tabla 2-1.


(A

Los postulados

y los teoremas son los

+ B + C)' == (A + X)'
== AJX'
==A' (B+CY == AJ . (BJC') == AlBJC'

sea B + e == X por el teorema 5(a) (De Morgan) se sustituye B + e == X por el teorema 5(a) (De Morgan) por el teorema 4(b) (asociativo)

Los teoremas de De Morgan para cualquier nmero de variables son semejantes en forma al caso de dos variables y pueden derivarse por sustituciones sucesivas en forma similar al mtodo usado en la derivacin anterior. Estos teoremas pueden generalizarse como sigue:

(A

+B+

e+D
F)'

+ . . . + F)' = A' B e' D' ... F'


I

(ABeD ...

A'

+ B' +

C'

+ D' + ... + F'

La forma generalizada del teorema de De Morgan enuncia que el complemento de una funcin se obtienen por el intercambio de los operadores ANO y OR y complementando cada literal.

EJEMPLO 2-2: Encuentre el complemento de las funciones FI = x'j-z ' + x'y'z y F2 == x(y'z' + yz). Se aplica el teorema de De Morgan cuantas veces sea necesario y se obtienen los complementos como sigue:

F; = (x'yz' + x'y'z)'
F
= [x(y'z' = x'

= (x'yz')'(x'y'z)'

= (x

+ yz)]' = x' + (y'z' + yz)' + (y + z )(y' + z")

+ y' + z)(x + y + z') = x' + (y'z')' . (yz)'

Un procedimiento ms simple para derivar el complemento de una funcin es tomar la dual de la funcin y complementar cada literal. Este mtodo se sigue del teorema generalizado de De Morgan. Recurdese que la dual de una funcin se obtiene por el intercambio de los operadores ANO y OR y los 1 y los O.

EJEMPLO 2-3: Obtenga el complemento de las funciones FI y F2 del Ejemplo 2-2, tomando sus duales y complementando cada literal. 1. FI ==
x'yzJ

+ x'y'z. + y' + z). + y' + z) (x + y + z ') ==


+, z).
F t-

La dual de FI es (x' + y + z') (x' Complemento de cada literal: (x

2. F2 ==

x(y' z'

+ yz).
+ (y + z)(y' + z ') == F' 2'

La dual de F2 es x + (yJ + z) (y Complemento de cada literal: x '

ps

2-5 FORMAS CANONICA y ESTANDAR Mintrminos y maxtrminos Una variable binaria puede aparecer ya sea en forma normal (x) o en su forma complementaria (x'), Ahora considrense dos variables binarias x y y combinadas con un operador ANO. Ya que cada variable puede aparecer en cualquier forma, hay cuatro combinaciones posibles: xy', x'y, xy' y xy. Cada uno de esos cuatro trminos ANO representa una de las reas diferentes en el diagrama de Venn en la Fig. 2-1 y se denomina un mintrmino o un producto estndar. En forma semejante, pueden combinarse n variables para formar 2" mintrminos. Los 2" mintrminos diferentes pueden determinarse por un mtodo similar al que se muestra en la Tabla 2-3 para tres variables. Los nmeros binarios desde O a 2" - 1 se listan bajo las n variables. Cada mintrmino se obtiene de un trmino ANO de las n variables, con cada variable vuelta prima si el bit correspondiente del nmero binario es un O y no prima si es un 1. En la tabla tambin se muestra un smbolo para cada mintrmino y est en la forma mi; donde j indica el equivalente decimal del nmero binario del mintrmino denotado. De manera semejante, n variables forman un trmino OR, con cada variable vuelta prima o no prima, proporcionando 2" combinaciones posibles, denominadas maxtrminos o sumas estndar. Los ocho maxtrminos para tres variables,junto con su denotacin simblica, se listan en la Tabla 2-3. Cualesquiera 2" maxtrminos para n variables pueden determinarse en forma similar. Cada maxtrmino se obtiene de un trmino OR de las n variables, con cada variable no prima si el bit correspondiente es O y prima si es un 1.* Obsrvese que cada maxtrmino es el complemento de su mintrmino correspondiente y viceversa.
*En algunos libros se define maxtrmino como un trmino OR de n variables, con cada variable sin prima si el bites un l y con prima si es un O. La definicin que se ha adoptado en este libro es preferible, ya que lleva a conversiones ms simples entre funciones del tipo maxtrmino y mintrmino. T AULA 2-3 Mintrminos y maxtrminos para tres variables binarias.

Mintrminos x y z Trmino x'y'z' x'y' x'yz' x'yz xy'z' xy'z xyz' xyz Designacin

Maxtrminos Trmino x+y+z x + y + z' x + y' + Z x + y' + Z' x' + y + Z x' + y + z' x' + y' + Z x' + y' + z' Designacin

O O O O O 1 O O O 1 1 O O O 1 O

mo mI m2 m3 m4 ms m6 m7

Mo
MI

M2 M3 M4 Ms M6 M7
49

50

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

Una funcin booleana puede expresarse en forma algebraica mediante una tabla de verdad dada, formando un mintrmino para cada combinacin de variables que produce un l en la funcin y, tomando entonces los OR de todos esos trminos. Por ejemplo, la funcin FI en la Tabla 2-4 se determina al expresar las combinaciones 001, 100 y 111 como x'y'z, xy'z' y xyz, respectivamente. Ya que cada uno de estos mintrminos resulta en FI = 1, se debe tener:

JI

= x'y'z

+ xy'z' + xyz

= mi

+ m + m-

De manera semejante, puede verificarse con facilidad que:

J2 =

x'yz

+ xy'z + xyz' + xyz = m3 + ms + m6 + m

Estos ejemplos demuestran una propiedad importante del lgebra booleana: Cualquier funcin booleana puede expresarse como una suma de mintrminos (por "suma" se entiende la aplicacin del operador OR en los trminos). Ahora considrese el complemento de una funcin booleana. A partir de la tabla de verdad puede 1eerse al formar un mintrmino para cada combinacin que produce un Oen la funcin y aplicando el operador OR a esos trminos. El complemento de/l se lee como:

= .x'y'e'

+ x'yz' + x'yz + xy'z + xyz'


l'

Si se toma el complemento de f

se obtiene la funcin 11:

JI =
=

(x

+ Y + z)( x + y' + z)( x + y' + z')( x' + y + z')( x' + y' + z)


12 de la tabla:

AlOoAl2oAf3oAlSoAl6

En forma similar, es posible leer la expresin para

J2

= (x

+ y + z)(x + y + z')(x + y' + z)(x' + y + z)

=AlOAlIAf2A14
TABLA

2-4

Funcin de tres variables

x y

Funcin j'

Funcin

!2

O O O O
1 1 1 1

O O O 1 1 O
1 1

O
1

O O
1

O O O
1

O O O 1 1 O
1 1

O
1 1 1

O O
1

SEC.2-5

FORMAS

CANONICA

y ESTANDAR

51

Estos ejemplos demuestran una segunda propiedad importante del lgebra booleana: Cualquier funcin booleana puede expresarse como un producto de maxtrminos (por "producto" se entiende que se aplica el operador ANO a los trminos). El procedimiento para obtener el producto de los maxtrminos en forma directa de la tabla de verdad es como sigue. Frmese un maxtrmino para cada combinacin de las variables que produce un O en la funcin, y entonces frmese ANO de todos los maxtrminos. Las funciones booleanas expresadas como una suma de mintrminos o producto de maxtrminos se dice que estn en forma cannica.

Suma de mintrminos
Con anterioridad se enunci que para n variables binarias, pueden obtenerse 2n mintrminos diferentes y, que cualquier funcin booleana puede expresarse como una suma de mintrminos. Los mintrminos cuya suma define la funcin booleana son los que dan los 1 de la funcin en una tabla de verdad. Ya que la funcin puede ser lo bien O para cada mintrmino, y puesto que hay 2n mintrminos, pueden calcularse las funciones posibles que es factible formarse con n variables para hacer 22n Algunas veces es conveniente expresar la funcin booleana en la forma de su suma de mintrrninos. Si no puede hacerse en esta forma, entonces puede realizarse primero por la expansin de la expresin en una suma de trminos ANO. Despus cada trmino se inspecciona para ver si contiene todas las variables. Si se han perdido una o ms variables, se aplica el operador ANO con una expresin como x + x', en donde x es una de las variables perdidas. El siguiente ejemplo aclara este procedimiento. EJEMPLO 2-4: Exprese la funcin booleana F= A + B'C en una suma de mintrminos. La funcin tiene tres variables A, By C. El primer trmino A pierde dos variables; por tanto:

A
Todava

= A(B + B') = AB + AB'

se pierde una variable:

AB(C + C') + AB'(C + C') = ABC + ABC' + AB'C + AB'C'

El segundo trmino B'C pierde una variable:

B'C
Combinando

= B'C(A + A') = AB'C + A'B'C


se tiene:

todos los trminos,

F=A+B'C = ABC + ABC' + AB'C + AB'C'

+ AB'C + A'B'C

Pero AB'C aparece dos veces y, de acuerdo con el teorema 1 (x + x = x). es posible quitar uno de ellos. Reordenando los mintrminos de manera ascendente, por ltimo se obtiene:

52

ALGEBRA BOOLEANA Y COMPUERTAS LOGICAS

CAP. 2

F = A' B'C
= mi

+ AB'e' + AB'e + ABe' + ABe + m + ms + m + m

Algunas veces es conveniente expresar la funcin booleana, cuando est en su suma de mintrminos, en la siguiente notacin abreviada:
F(A, B,

e) = L (1,4,5,6,7)

El smbolo de suma L representa el operador OR que opera en los trminos; los nmeros siguientes son los mintrminos de la funcin. Las letras entre parntesis que siguen a F forman una lista de las variables en el orden tomado cuando el mintrmino se convierte en un trmino ANO. Producto de los maxtrminos Cada una de las funciones 22ft de n variables binarias tambin puede expresarse como un producto de maxtrminos. Para expresar la funcin booleana como un producto de maxtrminos, primero debe llevarse a una forma de trminos OR. Es posible hacer esto por el uso de la ley distributiva x + yz = (x + y)(x + z). Entonces, cualquier variable perdida x en cada trmino O se opera a OR con xr, Este procedimiento se aclara en el siguiente ejemplo.
EJEMPLO 2-5: Exprese la funcin booleana F = xy + xz en un producto de forma maxtrmino. Primero convierta la funcin en trminos OR usando la ley distributiva:

F = xy

+ x' z = (xy + x')( xy + z) = (x + x')(y + x')(x + z)(y + z) = (x' + y)(x + z)(y + z)


y

La funcin tiene tres variables: x, variable; por tanto:

y z. Cada trmino OR pierde una

x' + y = x' + y + zz' = (x' + y + z)( x' + y + z') x + z = x + z + yy' = (x + y + z)(x + y' + z) y + z = y + z + xx' = (x + y + z)(x' + y + z)
Se combinan todos los trminos y se eliminan los que aparecen ms de una vez y, por ltimo, se obtiene: F = (x

+ y + z)(x + y' + z)(x' + y + z)(x' + y + z')

= MoM2M4MS
Una forma conveniente de expresar esta funcin es como sigue:

F(x,y, z) =

nro, 2, 4, 5)

SEC.2-5

FORMAS

CANONICA

y ESTANDAR

53 los

El smbolo de producto, II, denota la operacin nmeros son los maxtrminos de la funcin.

ANO de maxtrrninos;

Conversin entre formas cannicas


El complemento de una funcin expresada como suma de mintrminos es igual a la suma de los mintrminos perdidos de la funcin original. Esto se debe a que la funcin original est expresada por los mintrminos que hacen la funcin igual al, mientras que su complemento es un 1 para los trminos en los que la funcin es un O. Como ejemplo, considrese la funcin:

F(A, E, e) = ~(l, 4, 5, 6, 7)
Esta tiene un complemento que puede expresarse como: mo

F'(A, E, e)

= ~(O, 2, 3) =

+ m2 + m3

Ahora bien, si se toma el complemento F en una forma diferente:

de F por el teorema de De Morgan, se obtiene

La ltima conversin se sigue de la definicin de mintrminos y maxtrminos como se muestra en la Tabla 2-3. Por la tabla, es claro que la siguiente relacin es vlida:

m;= ~
Esto es, el maxtrmino con subndice j es un complemento del mintrmino con el mismo subndice j y viceversa. El ltimo ejemplo demuestra la conversin entre una funcin expresada en sumas de mintrminos y su equivalente en producto de maxtrminos. Un argumento similar mostrar que la conversin entre el producto de maxtrminos y la suma de mintrminos es similar. Ahora se enuncia un procedimiento general de conversin. Para convertir de una forma cannica a otra, se intercambian los smbolos II y 2 y se listan los n meros perdidos de la forma original. Como otro ejemplo, la funcin:

F(x,y, z)
se expresa en la forma de producto mintrminos es:

II(O. 2, 4, 5)
Su conversin en suma de

de maxtrminos.

F(x,y, z )

= 2(1,3,6,7)

Obsrvese que, con objeto de encontrar los trminos perdidos, debe tomarse en cuenta que el nmero total de mintrminos o maxtrminos es Z", donde n es el nmero de variables binarias en la funcin.

Formas estndar

Las dos formas cannicas del lgebra booleana son formas bsicas que se obtienen al leer una funcin de la tabla de verdad. Estas formas muy rara vez son las que tienen el menor nmero de literales, debido a que cada mintrmino y maxtrmino debe contener, por definicin, todas las variables ya sea complementadas o sin complementar. Otra forma de expresar las funciones booleanas es la forma estndar. En esta configuracin, los trminos que forman la funcin pueden contener uno, dos o cualquier nmero de literales. Hay dos tipos de formas estndar: la suma de productos y el producto de sumas. La suma de productos es una expresin booleana que contiene trminos ANO, llamados trminos producto. de una o ms literales cada uno. La suma denota la operacin OR de esos trminos. Un ejemplo de una funcin expresada en suma de productos es:
F) =y'

+ xy + x'yz'

La expresion tiene tres trminos producto de una, dos y tres literales cada uno, respectivamente. Su suma es, en efecto, una operacin ORo Un producto de sumas es una expresin booleana que contiene trminos OR, llamados trminos suma. Cada trmino puede tener cualquier nmero de literales. El producto denota la operacin ANO de esos trminos. Un ejemplo de una funcin expresada en producto de sumas es: F2 = x(y'

+ z)(x' + y + z' + w)

Esta expresin tiene tres trminos suma de una, dos y cuatro literales cada uno. El producto es una operacin ANO. El uso de las palabras producto y suma surge de la similitud de la operacin ANO con el producto aritmtico (multiplicacin) y la semejanza de la operacin OR con la suma aritmtica (adicin). Una funcin booleana puede expresarse en una forma no estndar. Por ejemplo, la funcin: F3 = (AB

eD)(A' B'

+ e'D')

no es una suma de productos ni un producto de suma. Puede cambiarse a una forma estndar usando la ley distributiva para eliminar los parntesis: F3 = A'B'eD 2-6

+ ABC'D'

OTRAS OPERACIONES LOGICAS

Cuando los operadores binarios ANO y OR se colocan entre dos variables .v y y, forman dos funciones booleanas x . y y x + y, respectivamente. Se enunci previamente que hay 22n funciones para n variables binarias. Para dos variables, n = 2 y el 54

SEC.2-6

OTRAS OPERACIONES

LOGICAS

55

nmero de funciones booleanas posibles es 16.Por tanto, las funciones ANO y OR son slo dos de un total de 16 funciones posibles formadas con dos variables binarias. Sera instructivo encontrar las otras 14 funciones e investigar sus propiedades. Las tablas de verdad para las 16 funciones formadas con dos variables binarias x y y se listan en la Tabla 2-5. En esta tabla, cada una de las 16 columnas, de F a F5, representa una tabla de verdad de una funcin posible para las dos variables dadas x y y. Obsrvese que la funcin est determinada por las 16 combinaciones binarias que pueden asignarse a F Algunas de las funciones se muestran con un smbolo de operador. Por ejemplo, F representa la tabla de verdad para ANO y F7 representa la tabla de verdad para OR. Los smbolos de los operadores para esas funciones son (.) y (+), respectivamente. Las 16funciones que se listan en forma de tabla de verdad pueden expresarse de manera algebraica mediante expresiones booleanas. Esto se muestra en la primera columna de la Tabla 2-6. Las expresiones booleanas que se listan se simplifican a su nmero mnimo de literales. Aun cuando cada funcin puede expresarse en trminos de las operaciones booleanas ANO, OR y NOT, no hay razn para que no puedan asignarse smbolos especiales de operador para expresar las otras funciones. Tales smbolos de operador se listan en la segunda columna de la Tabla 2-6. Sin embargo, todos los nuevos smbolos que se muestran, excepto para el smbolo del operador OR-excluyenteffi, no son de uso comn por los diseadores digitales. Cada una de las funciones de la Tabla 2-6 se lista con un nombre que la acompaa y un comentario que explica la funcin en cierta forma. Las 16 funciones listadas pueden subdividirse en tres categoras: l. Dos funciones que producen un constante O o l. 2. Cuatro funciones con operaciones unitarias de complemento y transferencia. 3. Diez funciones con operadores binarios que definen ocho operaciones diferentes ANO, OR, NANO, NOR, O-excluyente, equivalencia, inhibicin e implicacin. Cualquier funcin puede ser igual a una constante, pero una funcin binaria puede ser igual slo a 1o O. La funcin complemento produce el complemento de cada
TABLA

2-5 Tablas de verdad para las 16 funciones de dos variables binarias

y O 1

Fo F O O O O O
O

F2 FJ O O
1

F" F5 F6 F7 Fa F9 Fo Fu O
1

F12 FlJ
1 1 1 1

Fu
1 1 1

F5
1 1 1 1

O O 1 1

O
1

O
1

O O 1
1

O
1

O
1 1 O

O
1 1 1

O O

O
1

O O
O

O O
1

O
1

O
1 1

O ,

O O

O
1 :::>

Smbolo

Operador

ffi

TAULA

2-6

Expresiones booleanas para las 16 funciones de dos variables

Funciones booleanas

Smbolo del operador

Nombre

Comentarios

Fo - O FI'" xy F2 - xy' F3 - x F4 == x'y Fs -y F6 - xy' + x'y F7 - x + Y Fs =- (x + y)' F9 - xy + x'y'


FIO - y' FII - X

x'y x/y y/x x E9y x+y xY x0y y'

+ y'

cr

FI2 - x'
FI3 - x' + y FI4 - (xy), F1S - 1

x' x::::>y xjy

Nulo ANO Inhibicin Transferencia Inhibicin Transferencia Excluyente-OR OR NOR Equivalencia * Complemento Implicacin Complemento Implicacin NANO Identidad

Constante binaria O xyy x pero no y


x

y pero no x y x o y pero no ambas xoy NOT-OR x igual a y No y Si y, entonces x No x Si x, entonces y NOT-AND Constante binaria 1

*La equivalencia tambin se conoce como igualdad. coincidencia y excluyente NOR.

una de las variables binarias. Una funcin que es igual a una variable de entrada recibe el nombre de transferencia. ya que la variable x o y se transfiere a travs de la compuerta que forma la funcin sin cambiar su valor. De los diez operadores binarios, cuatro (que corresponden a las funciones de inhibicin e implicacin) los utilizan especialistas en lgica, pero rara vez se usan en la lgica de computadora. Se han mencionado operadores ANO y OR junto con el lgebra booleana. Las otras cuatro funciones se emplean en forma extensa en el diseo de sistemas digitales. La funcin NOR es el complemento de la funcin OR y su nombre es la abreviatura de no-OR. En forma similar, NANO es el complemento de ANO y es una abreviatura de no-ANO. Excluyente OR se abrevia XOR o EOR es similar a OR, pero excluye la combinacin tanto de x como de y cuando son iguales a l. La equivalencia es una funcin que es 1 cuando dos variables binarias son iguales, esto es, cuando ambas son O o ambas son l. La excluyente OR y las funciones de equivalencia son los complementos una de otra. Esto puede verificarse con facilidad por la inspeccin de la Tabla 2-5. La tabla de verdad para la excluyente ORes F6 y para la equivalencia es F9 y, estas dos funciones son los complementos una de la otra. Por esta razn, la funcin de equivalencia con frecuencia se denomina excluyente NOR, es decir, excluyente-ORNOT. El lgebra booleana, como se define en la Seccin 2-2, tiene dos operadores binarios, que se han denominado ANO y OR y un operador unario, NOT (complemento). Por las definiciones, se deduce cierto nmero de propiedades de estos operadores y ahora se han definido otros operadores binarios en trminos de ellos. No hay
56

SEC.2-7

COMPUERTAS

LOGICAS

DIGITALES

57

nada excepcional en este procedimiento. Se puede empezar tambin con el operador NOR (!) , por ejemplo, y definir despus AND, OR Y NOT en trminos de l. Sin embargo, hay buenas razones para introducir el lgebra booleana en el modo que se ha hecho. Los conceptos de "y", "o" y "no" son familiares y las personas los utilizan para expresar ideas lgicas en la vida cotidiana. No obstante, los postulados de Huntington reflejan la naturaleza dual del lgebra, con nfasis en la simetra de + y . de uno con respecto a otro.

2-7 COMPUERTAS LOGICAS DIGITALES


Ya que las funciones booleanas se expresan en trminos de operaciones AND, OR y NOT, es fcil implantar una funcin booleana con estos tipos de compuertas. La posibilidad de construir compuertas para otras operaciones lgicas es de inters prctico. Los factores que hay que pesar cuando se considera la construccin de otros tipos de compuertas lgicas son (1) la factibilidad y economa de producir la compuerta con componentes t1sicos, (2) la posibilidad de extender la compuerta a ms de dos entradas, (3) las propiedades bsicas del operador binario como conmutabilidad y asociatividad y (4), la habilidad de la compuerta para implantar compuertas booleanas solas o junto con otras compuertas. De las 16 funciones que se definen en la Tabla 2-6, dos son iguales a una constante y otras cuatro se repiten dos veces. Solo que dan diez funciones que considerar como candidatos para compuertas lgicas. Dos, inhibicin y complicacin, no son conmutativas o asociativas y, por tanto, no es prctico usarlas como compuertas lgicas estndar. Las otras ocho: complemento, transferencia, AN D, OR, NANO, NOR, excluyente-OR, y equivalencia, se utilizan como compuertas estndar en el diseo digital. Los smbolos grficos y las tablas de verdad de las ocho compuertas se muestran en la Fig. 2-5. Cada compuerta tiene una o dos variables binarias de entrada designadas por x y y y una variable binaria de salida designada por F. Los circuitos AN D, OR e inversor se definen en la Fig. 1-6. El circuito inversor invierte el sentido lgico de una variable binaria. Produce la funcin NOR o complemento. El pequeo crculo en la salida del smbolo grfico de un inversor designa el complemento lgico. El smbolo de tringulo por s mismo denota un circuito buffer. Un buffer produce la funcin de transferencia pero no produce alguna operacin lgica particular, ya que el valor binario de la salida es igual al valor binario de la entrada. El circuito se usa simplemente para amplificacin de potencia de la seal y es equivalente a dos inversores conectados en cascada. La funcin NAND es el complemento de la funcin AND, como se indica por un smbolo grfico, que consta de un smbolo grfico AND seguido de un crculo pequeo. La funcin NOR es el complemento de la funcin OR y usa un smbolo grfico OR seguido de un crculo pequeo. Las compuertas NANO y NOR se utilizan en forma extensa como compuertas lgicas estndar y de hecho se emplean ms que las compuertas ANO y OR. Esto se debe a que las compuertas NANO y NOR se construyen fcilmente con circuitos de transistores y a que las funciones booleanas pueden implementarse con sencillez con dichas compuertas.

Nombre

Smbolo grfico

Funcin algebraica

Tabla de verdad

x
AND

F= xy

O O

O 1 O 100 1 1 1
x y

OR

F=x+y

O O
O 1
1

O
1 1
1

1 O
1

Inversor

X--{>o-F X-f>--F

F= x'

Buffer

F=x x
y

NAND

F = (xy)'

O
O 1 1 x

O
1 O 1
y

1
1 1 O F

NOR

F = (x

+ y)'

1
O O

O 1 100 1 1 x
y

Excluyente-OR (XOR)

F= xy' + x'y = x EBy

O
O 1 1

F O O
1 O 1 1 1 O

Excluyente-NOR

o
equivalente

F= xy + x'y' = x0y

x y F O O 1 O 1 O 100
1 1 1

Figura 2-5

Compuertas

lgicas digitales.

S8

SEC.2-7 COMPUERTAS LOGICAS DIGITALES

59

La compuerta excluyente-OR tiene un smbolo grfico similar al de la compuerta OR excepto por la lnea adicional curva en el lado de entrada. La equivalencia, o compuerta excluyente NOR es el complemento de la excluyente OR, como se indica por el crculo pequeo en el lado de salida del smbolo grfico. Extensin a entradas mltiples Las compuertas que se muestran en la Fig. 2-5, excepto por el inversor y el buffer, pueden extenderse para tener ms de dos entradas. Una compuerta puede extenderse para tener entradas mltiples si la operacin binaria que representa es conmutativa y asociativa. Las operaciones ANO y OR, definidas en el lgebra booleana, poseen esas dos propiedades. Para la funcin OR se tiene: x+y=y+x y (x conmutativa

+ y) + z

=x

+ (y + z)

=x

+y + z

asociativa

lo cual indica que las entradas de compuerta pueden intercambiarse y que la funcin O puede extenderse a tres o ms variables. Las funciones NANO y NOR son conmutativas y sus compuertas pueden extenderse para tener ms de dos entradas, siempre que se modifique ligeramente la definicin de la operacin. La dificultad es que los operadores NANO y NOR no son asociativos,esto es, (x!ynz =#= x!(y!z), como se muestra en la Fig. 2-6y a continuacin: (x!y)!z x!{y!z)

= [(x + y)' + z]' = (x + y)z' = xz' + yz' = [x + (y + z)']' = x'(y + z) = x'y + x'z

x ,. (

n z)

x' ( y + z )

Figura 2-6

Demostracin de la no asociabilidad del operador NOR; (x ~ y)


x(y ~ z).

p =:I=

60

ALGEBRA BOOLEANA Y COMPUERTAS LOGICAS

CAP. 2

Para superar esta dificultad, se define la compuerta mltiple NOR (o NANO) como una compuerta complementada OR (o ANO). As, por definicin, se tiene:

x~y~z = (x + y + z)' xtytz = (xyz)'


Los smbolos grficos para las compuertas de tres entradas se muestran en la Fig. 2-7. Al indicar por escrito operaciones NOR y NANO en cascada, deben utilizarse los parntesis correctos para indicar la secuencia apropiada de las compuertas. Para demostrar esto, considrese el circuito de la Fig. 2-7( e). La funcin booleana para el circuito debe escribirse como:

F = [(ABC)'(DE)']'

ABC + DE

La segunda expresin se obtiene a partir del teorema de De Morgan. Muestra tambin que una expresin en suma de productos puede inplantarse con compuertas NANO. En las Secciones 3-6, 4-7 y 4-8 puede encontrarse la exposicin detallada de las compuertas NANO y NOR. Las compuertas excluyente OR y de equivalencia son conmutativas y asociativas y pueden extenderse a ms de dos entradas. Sin embargo, las compuertas excluyente OR de entradas mltiples no son usuales desde el punto de vista del hardware. De hecho, incluso una funcin de dos entradas por lo comn se construye con otros tipos de compuertas. Adems, la definicin de esas funciones debe modificarse cuando se extienden a ms de dos variables. La excluyente-OR es una funcin impar, esto es, es igual a 1 si las variables de entrada tienen un nmero impar de 1. La funcin de equivalencia es una funcin par, es decir, es igual a 1 si las variables de entrada tienen un nmero par de O. La construccin de una funcin excluyente OR de tres entradas se muestra en la Fig. 2-8. En forma normal se implementa con compuertas de dos entradas en cascada, como se muestra en (a). De manera grfica, puede representarse con una sola compuerta de tres entradas como se muestra en (b). La tabla de verdad en

x~

~'~(x+y+Z)' (a) Compuerta NOR de tres entradas

~ ==L)-

(xyz)'

(b) Compuerta NANO de tres entradas

A B C F D E

[(ABC)' (DE)']' = ABC

+ DE

(e) Compuertas NANO en cascada Figura 2-7 Compuertas de entradas mltiples NOR y NANO puestas en cascada.

x y

F=xffiyffJz

o
(a) Uso de compuertas con dos entradas O O O 1 1 1 1

o
O 1 1 O O 1 1

o
1 O 1 O 1 O 1

o
1 1 O I O O I

~==D--F=XffJYffJZ

(b) Una compuerta de tres entradas

(e) Tabla de verdad Figura 2-8 Compuerta excluyente OR de tres entradas.

(e) indica todas las variables adicional

con claridad que la salida F es igual a 1 si slo una entrada es igual a 1 o si tres entradas son iguales al, esto es, cuando el nmero total de 1 en las de entrada es impar. En la Seccin 4-9 puede encontrarse un anlisis de la excluyente OR y la equivalencia.

2-8 FAMILIAS LOGICAS DIGITALES IC


El le se introdujo en la Seccin 1-9, donde se estableci que los circuitos digitales se construyen en forma invariable con le. En las secciones previas se han expuesto diversas compuertas lgicas digitales, ahora ya estn dadas las condiciones para presentar las compuertas le y exponer sus propiedades generales. Las compuertas digitales le se clasifican no slo por su operacin lgica, sino tambin por la familia de circuitos lgicos a las cuales pertenecen. Cada familia lgica tiene su propio circuito electrnico bsico con el cual se desarrollan circuitos y funciones digitales ms complejos. El circuito bsico de cada familia es una compuerta NANO o bien una compuerta NOR. Los componentes electrnicos que se emplean en la construccin del circuito bsico por lo general se utilizan para nombrar la familia lgica. En el comercio se han introducido muchas familias lgicas diferentes de IC digitales. Las que han alcanzado un amplio uso popular se listan a continuacin. TTL ECL Lgica de transistor-transistor Lgica de emisor acoplado Semiconductor Semiconductor de xido metlico complementario de xido metlico

MOS eMOS

FL

Lgica de inyeccin integrada

La lgica TTL tiene una lista extensa de funciones digitales y hoy da es la familia lgica ms popular. La lgica EeL se utiliza en sistemas que requieren 61

62

ALGEBRA BOOLEANA Y COMPUERTAS LOGICM'

CAP. 2

operaciones de alta velocidad. Las MOS e FL se usan en circuitos que requieren alta densidad de componentes y la CM OS se emplea en sistemas que necesitan bajo consumo de potencia. El anlisis del circuito electrnico en cada familia bsica se presenta en el Captulo 10. El lector familiarizado con la electrnica bsica puede consultar el Captulo 10 para as conocer estos circuitos electrnicos. Aqu la exposicinse limita a las propiedades generales de las diversas compuertas IC disponibles en forma comercial. Debido a la alta densidad con la cual puede-nfabricarse los transistores en MOS e FL, estas dos familias son las que ms se utilizan para las funciones LSI. Las otras tres familias, TTL, ECL, y CMOS, tienen dispositivos LSI y tambin un gran nmero de dispositivos MSI y SS!. Los dispositivos SSI son los que incluyen un pequeo nmero de compuertas o flip-flops (presentados en la Seccin 6-2) en un paquete le. El lmite del nmero de circuitos en los dispositivos SSI es el nmero de clavijas en el paquete. Por ejemplo, un paquete de 14 clavijas puede acomodar slo cuatro compuertas de dos entradas, debido a que cada compuerta requiere tres clavijas externas, dos para cada una de las entradas y una para la salida, con un total de 12clavijas. Las dos clavijas restantes se necesitan para suministrar potencia a los circuitos. Algunos circuitos tpicos SSI se muestran en la Fig. 2-9. Cada IC se encapsula un paquete de 14 o 16 clavijas. Las clavijas se numeran a lo largo de los dos lados del paquete y especifican las conexiones que pueden hacerse. Las compuertas dibujadas dentro de los IC son slo para informacin y no pueden verse debido a que el paquete IC real aparece como se muestra en la Fig. 1-8. Los LC'de la familia TTL por lo comn se distinguen por designaciones numricas como las series 5400 y 7400. La primera tiene amplios mrgenes de temperatura de operacin, adecuados para uso militar y, la segunda tiene mrgenes ms reducidos de temperatura, adecuados para uso industrial. La designacin numrica de la serie 7400 significa que los paquetes IC estn numerados como 7400, 7401, 7402, etc. Algunos proveedores ponen a la disposicin IC de la familia TTL con denominaciones numricas diferentes, como las series 9000 u 8000. En la Fig. 2-9(a) se muestran dos circuitos TTL SS!. La serie 7404 proporciona seis (hex) inversores en un paquete. La serie 7400 proporciona cuatro (cudruple) puertas NANO de dos entradas. Las terminales marcadas Vee y GND son las clavijas de suministro de potencia que requieren un voltaje de 5 volts para la operacin apropiada. El tipo ms comn de ECL se designa como la serie 10 000. En la Fig. 2-9(b) se muestran dos circuitos ECL. La serie 10102 proporciona compuertas NOR de dos entradas. Obsrvese que una compuerta ECL puede tener dos salidas, una para la funcin NOR y otra para la funcin O (clavija 9 del 10102 IC). EllO 107IC proporciona tres compuertas excluyentes OR. Aqu hay de nuevo dos salidas para cada compuerta; la otra salida de la funcin excluyente NOR o de equivalencia. Las compuertas ECL tienen tres terminales para suministro de potencia. Vec1 y VeC2 por lo comn se conectan a tierra y VEE a un suministro de -5.2 volt. Los circuitos CMOS de la serie 4000 se muestran en la Fig. 2-9(c). Slo pueden acomodarse en el 4002 dos compuertas NOR de cuatro entradas, debido a la limitacin de clavijas. El tipo 4059 proporciona seis compuertas buffer. Ambos ICs tienen

Vcc

Vcc

14

13

12

11

10

14

13

12

11

10

GND
Inversores HEX-7408 (a) Compuertas lTL. VCC2 16 15 VCC2

GND

7400-Cudruple con compuertas NANO de 2 entradas

14

13

12

11

10

16

15

14

13

12

11

10

10102-Cudruple con compuertas NOR de 2 entradas

lOl07-Triple con compuertas excluyente OR/NOR

(b) Compuertas ECL

VDD 14 13 12 11 10

NC

NC 16

NC IS
14 13

12

11

10

7 VDD 4050-Buffer Hex.

NC Vss
4002-Dual con compuertas NOR de 4 entradas

(e) Compuertas CMOS. Figura 2-9 Algunas compuertas tpicas en circuitos integrados.

63

64

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

dos terminales sin uso marcadas NC (no conexin). La terminal marcada VDD requiere un voltaje en el suministro de potencia de 3 a 15 volts, en tanto Vss por lo comn se conecta a tierra.

Lgicas positiva y negativa


La seal binaria en la entrada o salida de cualquier compuerta puede tener uno de dos valores, excepto durante la transicin. Un valor de seal representa la lgica 1 y el otro, la lgica O. Ya que se asignan dos valores de seal a dos valores lgicos, existen dos diferentes asignaciones de seales a lgica. Debido al principio de dualidad de lgebra booleana, un intercambio en la asignacin del valor de seal resulta en el implante de una funcin dual. Considrense los dos valores de una seal binaria tal como se muestra en la Fig. 2-10. un valor debe ser ms alto que el otro, ya que los dos valores deben ser diferentes con objeto de distinguir entre ellos. Se designa el nivel alto por H y el nivel bajo por L. Hay dos elecciones para la asignacin del valor de lgica. La eleccin del nivel alto H para que represente la lgica 1, como se muestra en la Fig. 2-IO(a), define un sistema de lgica positiva. La eleccin del nivel bajo L para representar la lgica 1, como se muestra en la Fig. 12-IO(b), define un sistema de lgica negativa. Los trminos positiva y negativa algunas veces pueden ser engaosos, ya que ambas seales de valor pueden ser positivas o negativas. No es la polaridad de la seal la que determina el tipo de lgica, sino ms bien la asignacin de valores lgicos de acuerdo con las amplitudes relativas de las seales. Las hojas de datos de los circuitos integrados definen las funciones digitales no en trminos de la lgica l o lgica O, sino ms bien en trminos de los niveles H y L. Se deja al usuario decidir la asignacin de una lgica positiva o negativa. Los voltajes de alto nivel y bajo nivel para las tres familias lgicas digitales IC se listan en la Tabla 2-7. En cada familia, hay unos mrgenes de valores de voltaje que el circuito reconocer como nivel alto o bajo. El valor tpico es el que ms se encuentra por lo comn. En la tabla tambin se listan los requisitos del suministro de voltaje para cada familia como una referencia. La familia TTL tiene valores tpicos de H = 3.5 volts y L = 0.2 volts. La familia ECL tiene dos valores negativos, con H = -0.8 volts y L = -1.8 volts. Obsrvese que aunque ambos niveles son negativos, el ms elevado eso -0.8. Las compuertas CMOS pueden usar un voltaje de suministro VDD en cualquier parte entre 3 y 15 volts; en forma tpica, utilizan ya sea 5 o 10 volts. Los valores de seal en las CMOS son una funcin
Valor lgico Valor de seal Valor lgico Valor de seal

,......---H

r-----H L
(b) Lgica negativa

o---~
(a) Lgica positiva Figura 2-10

Asignacin

de amplitud

de seal y tipo de lgica.

..
TABLA 2-7

Niveles H y L en las familias

lgicas le

Tipo de familia le

Voltaje de suministro (V)

Alto nivel de voltaje (V) Bajo nivel de voltaje (V) Mrgenes Tpico Mrgenes Tpico

TIL ECL CMOS


Lgica positiva: Lgica negativa:

Vcc == 5 VEE == -5.2 VDD == 3-10

2.4-5 -0.95--0.7
VDD

3.5 -0.8
VDD
lgica 1 lgica O

0-0.4 -1.9--1.6 0-0.5

0.2 -1.8
O
lgica O lgica l

del voltaje de suministro con H = VDD YL = O volts. Las asignaciones de polaridad para lgica positiva y negativa tambin se indican en la tabla. A la luz de esta exposicin, es necesario justificar los smbolos lgicos usados para los IC que se listan en la Fig. 2-9. Tmese, por ejemplo, una de las compuertas del IC 7400. Esta compuerta se muestra en forma de diagrama de bloques en la Fig. 2-11(b). La tabla de verdad del fabricante para esta compuerta dada en una hoja de datos se muestra en la Fig. 2-11(a). En esta tabla se especifica el comportamiento fsico de la compuerta, con H de 3.5 volts en forma tpica y L de 0.2 volts. Esta compuerta fsica puede funcionar ya sea como compuerta NANO o NOR, dependiendo de la asignacin de polaridad. En la tabla de verdad de la Fig. 2-11(c) se supone la asignacin de lgica positiva con H = 1 y L = O. Al verificar esta tabla de verdad en la Fig. 2-5, se reconoce como una compuerta NANO. El smbolo grfico para una compuerta NANO de lgica positiva se muestra en la Fig. 2-11(b) y es similar a la que se adopt con anterioridad. Ahora considrese la asignacin de lgica negativa a esta compuerta fisica con L = 1 y H = O. El resultado es la tabla de verdad que se muestra en la Fig. 2-11(e).Puede reconocerse que esta tabla representa la funcin NOR aun cuando sus entradas estn listadas hacia atrs. El smbolo grfico para una compuerta NOR de lgica negativa se muestra en la Fig. 2-11(f). El pequeo tringulo en los alambres de entrada y salida designa un indicador de polaridad. La presencia de este indicador de polaridad a lo largo de una terminal indica que se asigna una lgica negativa a la terminal. Por tanto, la misma compuerta fisica puede funcionar ya sea como una NANO de lgica positiva o como una NOR de lgica negativa. La que est dibujada en el diagrama depende por completo de la asignacin de polaridad que desee emplear el diseador. De manera semejante, es posible mostrar que una NOR de lgica positiva es la misma compuerta fsica que una NANO de lgica negativa. La misma relacin es vlida entre las compuertas ANO y OR o entre las compuertas excluyente-OR y equivalencia. En cualquier caso, si se supone lgica negativa en cualquier terminal de entrada o salida, es necesario incluir el smbolo del tringulo indicador de polaridad junto a la terminal. Algunos diseadores digitales utilizan esta convencin para facilitar el diseo de circuitos digitales cuando se usan exclusivamente compuertas NANO o NOR. En este libro no se emplea esta simbologa, pero se recurre a otros
65

L
L H

L
H L

z H H H
L

x
y

TTL
7400 gate

(a) Tabla de verdad de trminos de H y L.

(b) Diagrama de bloque de compuerta.

z
1

o
O 1
1

O
1 O
1

1
1 O

;==D-

(e) Tabla de verdad para lgica positiva: H= 1, L = O.

(d) Smbolo grfico para la compuerta NANO de lgica positiva.

x
1 1 O

y
1 O 1

z
O

O
O 1
(f) Smbolo grfico para la

(e) Tabla de verdad para lgica negativa: L = I,H= O.

compuerta NOR de lgica negativa.

Figura 2-11 Demostracin de las lgicas positiva y negativa.

mtodos para disear con las compuertas NANO y NOR. Obsrvese que los le que se presentan en la Fig. 2-9 se muestran con sus smbolos grficos de lgica positiva. Podran haberse ilustrado con sus smbolos de lgica negativa si as se hubiera deseado. La conversin de lgica positiva en lgica negativa y viceversa es en esencia una operacin que cambia los 1en O y los O en 1,tanto en las entradas como en las salidas de una computadora. Ya que esta operacin produce el dual de una funcin, el cambio de todas las terminales de una polaridad a la otra resulta en tomar la dual de la funcin. El resultado de esta conversin es que todas las operaciones ANO se convierten en operaciones OR (o smbolos grficos) y viceversa. Adems, no debe olvidarse incluir el indicador de polaridad en los smbolos grficos cuando se supone lgica negativa. El pequeo tringulo que representa un indicador de polaridad y el pequeo crculo que representa una complementacin tienen efectos similares pero diferente significados. Por tanto, puede reemplazarse uno por otro, pero la interpretacin es diferente. Un crculo seguido por un tringulo, como en la Fig. 2-11(f), representa una complementacin seguida por un indicador de polaridad de lgica negativa. Los dos se cancelan uno a otro y ambos pueden eliminarse. Pero si se eliminan ambos, entonces las entradas y salidas de la compuerta representarn polaridades diferentes. 66

jiP

Caractersticas especiales Las caractersticas de las familias IC de lgica digital por lo comn se comparan por el anlisis de circuito de la compuerta, bsica en cada familia. Los parmetros ms importantes que se evalan y comparan son la salida en abanico (multiplicidad de conexiones en la salida), disipacin de potencia, retardo de propagacin y margen de ruido. Se explicarn primero las propiedades de este parmetro y despus se utilizarn para comparar las familias IC lgicas. El abanico de salida especifica el nmero de cargas estndar que pueden impulsar la salida de una compuerta sin menoscabar su operacin normal. Una carga estndar por lo com n se define como la cantidad de corriente necesaria por una entrada de otra compuerta en la misma familia IC. Algunas veces el trmino cargado se usa en lugar de abanico de salida. Este trmino se deriva del hecho de que la salida de una compuerta puede suministrar una cantidad limitada de corriente, arriba de la cual cesa su operacin apropiada y se dice que est sobrecargada. La salida de una compuerta por lo general se conecta a las entradas de otras compuertas similares. Cada entrada consume una cierta cantidad de potencia de la entrada de la compuerta, de modo que cada conexin adicional se agrega a la carga de la compuerta. Las "reglas de carga" por lo comn se listan para una familia de circuitos digitales estndar. Estas reglas especifican la mxima cantidad de carga permitida para cada salida de cada circuito. El exceder la carga mxima especificada puede causar un mal funcionamiento debido a que el circuito no puede suministrar la potencia demandada de l. El abanico de salida es el nmero mximo de entradas (a otros circuitos) que pueden conectarse a la salida de una compuerta y se expresa por un nmero. Las capacidades del abanico de salida de una compuerta pueden considerarse cuando se simplifican las funciones booleanas. Debe tenerse cuidado de no desarrollar expresiones que resulten en una compuerta sobrecargada. Los amplificadores no inversores o buffer algunas veces se emplean para proporcionar capacidades adicionales de impulsin para cargas pesadas. La disipacin de potencia es la potencia suministrada requerida para operar la compuerta. Este parmetro se expresa en miliwatts (mW) y representa la potencia real disipada en la compuerta. El nmero que representa este parmetro no incluye la potencia suministrada por otra compuerta; ms bien, representa la potencia suministrada a la compuerta por el suministro de potencia. Un IC con cuatro compuertas requerir, de su suministro de potencia, cuatro veces la potencia disipada por cada compuerta. En un sistema dado, puede haber muchos IC y, la potencia requerida por cada IC debe considerarse. La disipacin total de potencia en un sistema es la suma total de la potencia disipada en todos los le. El retardo de propagacin es el retardo de tiempo de transicin promedio para que una seal se propague desde la entrada a la salida cuando la seal binaria cambia en valor. Las seales a travs de una compuerta toman cierta cantidad de tiempo para propagarse desde las entradas a la salida. Este intervalo de tiempo se define como el retardo de propagacin de la compuerta. El retardo de propagacin se expresa en nanosegundos (ns) y, un ns es igual a 10-9 de un segundo. 67

68

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

Las seales que viajan de las entradas de un circuito digital a sus salidas pasan a travs de una serie de compuertas. La suma de los retardos de propagacin a travs de las compuertas es el retardo total de propagacin del circuito. Cuando la velocidad de operacin es importante, cada compuerta debe tener un pequeo retardo de propagacin y el circuito digital debe tener un nmero mnimo de compuertas en serie entre las entradas y las salidas. En la mayora de los circuitos digitales las seales de entrada se aplican en forma simultnea a ms de una compuerta. Todas las compuertas que reciben sus entradas exclusivamente desde las entradas externas, constituyen el primer nivel lgico del circuito. Las compuertas que reciben cuando menos una entrada de una salida de una compuerta del primer nivel lgico se considera que estn en el segundo nivel lgico, y en forma semejante, para el tercer nivel y los ms altos. El retardo total de propagacin del circuito es igual al retardo de propagacin de una compuerta multiplicado por el nmero de niveles lgicos en el circuito. Luego, una reduccin en el nmero de niveles lgicos produce una reduccin del retardo de seal y en circuitos ms rpidos. La reduccin del retardo de propagacin en los circuitos puede ser ms importante que la reduccin en el nmero total de compuertas si la velocidad de operacin es un factor principal. El margen de ruido es el mximo voltaje de ruido aadido a la seal de entrada de un circuito digital que no causa un cambio indeseable en la salida del circuito. Hay dos tipos de ruido que considerar: el ruido CC es causado por una deriva en los niveles de voltaje de una seal. El ruido CA es un pulso aleatorio que puede crearse por otras seales de interrupcin. Por eso, el ruido es un trmino que se utiliza para denominar una seal indeseable que est superpuesta sobre la seal normal de operacin. La capacidad de los circuitos para operar en forma confiable en un ambiente de ruido es importante en muchas aplicaciones. El margen de ruido se expresa en volts (V) Y representa la seal de ruido mximo que puede tolerarse por la compuerta. Caractersticas de las familias lgicas

le

El circuito bsico de la familia lgica TTL es la compuerta NAND. Hay muchas versiones de la TTL y tres de ellas se listan en la Tabla 2-8. En esta tabla se dan las

rAHLA

2-8 Caractersticas tpicas de las familias lgicas

le
Margen de ruido (V)

Familia lgica le Estndar TTl Schottky TTl Baja potencia Schottky TTl ECl CMOS

Abanico de salida

Disipacin de potencia (mW)

Retardo de propagacin (ns)

10 10 20 25 50

10 22 2 25 0.1

10
3

0.4 0.4 0.4 0.2


3

10 2 25

SEC.2-8

FAMILIAS

LOGICAS

DIGITALES

IC

69

caractersticas generales de las familias lgicas le. Los valores que se listan son representativos en una base de comparacin. Para cualquier familia o versin, los valores pueden tener cierta variacin. La compuerta estndar TTL fue la primera versin de la familia TTL. Conforme progres la tecnologa, se agregaron mejoras adicionales. La TTL Schottky es una ltima mejora que reduce el retardo de propagacin, pero resulta en un aumento de la disipacin de potencia. La versin TTL Schottky de baja potencia sacrifica cierta velocidad para reducir la disipacin de potencia. Tiene el mismo retardo de propagacin que la TTL estndar, pero la disipacin de potencia se reduce en forma considerable. El abanico de salida de la TTL estndar es 10, pero la versin Schottky de baja potencia tiene un abanico de salida de 20. Bajo ciertas condiciones las otras versiones tambin pueden tener un abanico de salida de 20. El margen de ruido es mejor que 0.4 V, con un valor tpico de 1 V. El circuito bsico de la familia ECL es la compuerta NOR. La ventaja especial de las compuertas ECL es su bajo retardo de propagacin. Algunas versiones ECl pueden tener un retardo de propagacin tan bajo como 0.5 ns. la disipacin de potencia en las compuertas ECL es comparativamente alta y el margen de ruido bajo. Estos dos parmetros imponen una desventaja cuando se elige la ECl sobre las otras familias lgicas. Sin embargo, debido a su bajo retardo de propagacin, la ECl ofrece la velocidad ms alta entre todas las familias y es la eleccin final para sistemas muy rpidos. El circuito ms bajo de la CMOS es el inversor por el cual ambas compuertas NANO y NOR pueden construirse. la ventaja especial del CMOS es su disipacin de potencia en extremo baja. Bajo condiciones estticas, la disipacin de potencia de la compuerta CMOS es despreciable, con promedios de cerca de 10 nW. Cuando la seal de la compuerta cambia de estado, hay una disipacin dinmica de potencia que es proporcional a la frecuencia a la cual se ejerce el circuito. El nmero que se lista en la tabla es un valor tpico de la disipacin dinmica de potencia en las compuertas CMOS. Una desventaja principal de la compuerta CMOS es su alto retardo de propagacin. Esto significa que no es prctica para utilizarse en sistemas que requieren operaciones a alta velocidad. los parmetros caractersticos de la compuerta CMOS dependen del voltaje de suministro de potencia VDD que se use. La disipacin de potencia aumenta conforme aumenta el voltaje de suministro. El retardo de propagacin disminuye con el incremento en el voltaje de suministro, y el margen de ruido se estima que es alrededor del 40~/ del valor del voltaje de suministro.

BIBLlOGRAFIA
1. Boole, G., An lnvcstigation al" the Laws al Thought, New York: Dover Pub .. 1954. 2. Shannon, C. L, .. A Symbolic Analysis 01' Relay and Switching Circuits." Truns. 01 thc AlU. Vol. 57 (193g), 713-23. 3. Huntington, E. V .. "Sets ni" lndcpenJent Postulares Ior the Algebra of Logic." Trans. A 11/ . .\loth. Soc., Vol. 5 (1904). 2~~-309.

70

ALGEBRA BOOLEANA y COMPUERTAS LOGICAS

CAP. 2

4. Birkhoff, G., and T. C. Bartee, Modern Applied Algebra. New York: McGraw-Hill Book Co., 1970. 5. Birkhoff, G., and S. Maclane, A Survey oj Modern Algebra, 3a. ed. New York: The Macmillan Co., 1965. 6. Hohn, F. E., Applied Boolean Algebra, 2a. ed. New York: The Macmillan Co., 1966. 7. Whitesitt, J. E., Boolean Algebra and its Applications. Reading, Mass.: Addison- Wesley Pub. Co., 1961. 8. The lTL Data Book jor Design Engineers. Dallas, Texas: Texas lnstruments lnc., 1976. 9. MECL Integrated Circuits Data Book. Phoenix, Ariz.: Motorola Semiconductor Products, lnc., 1972. 10. RCA Solid State Data Book Series: COSIMOS Digital IntegratedCircuits. Somerville, N. J.: RCA Solid State Div., 1974.

PROBLEMAS
e 2-1. Cul de las seis leyes bsicas (cierre, asociativa, conmutativa, identidad, inversa y distributiva) se satisface por el par de operadores binarios que se listan a continuacin?

o
O
1

o
1

o
O
012

O
1

O
1

O
1

1
1

2
2

2
~ 2-2.

Muestre que el conjunto de tres elementos {O, 1, 2} y los dos operadores binarios + y . como se define en la tabla anterior no es un lgebra booleana. Establezca cul de los postulados de Huntington no se satisface. Demuestre mediante tablas de verdad la validez de los siguientes teoremas del lgebra booleana. (a) Las leyes asociativas. (b) Los teoremas de De Morgan para tres variables. (e) La ley distributiva + sobre . Repita el problema 2.3 utilizando diagramas de Venn. Simplifique las siguientes funciones booleanas a un nmero mnimo de literales. (a) xy + xy' (b) (x + y)(x + y') (e) xyz + x'y + xyz' (d) zx + zx'y (e) (A + B)'(A' + B')' (f) y(wz' + wz) + xy

2-3.

2-4. ,2-5.

2-6.

Reduzca las siguientes expresiones booleanas al nmero requerido de literales.

la) ABe + A' B'C + A' Be + ABe' + A' B'C'


(b) Be + Ae' + AB + BeD (e) [reD)' + A)' + A + Cl) + AB (d) (A + e + D)(A + e + D')(A +

e' +

D)(A + B')

a cinco literales a cuatro literales a tres literales a cuatro literales

>
PROBLEMAS 2-7. 71 Encuentre el complemento de las siguientes funciones booleanas y redzcalas a un nmero mnimo de literales. (a) (b) (e) (d) 2-8. (Be' + A' D)(AB' + cir B'D + A'Be' + AeD + A'Be [(AB)'A][(AB)' B) AB' + e' D'

Dadas dos funciones booleanas F y F2: (a) Muestre que la funcin booleana E=F + F2, obtenida al aplicarel operador OR a las dos funciones, contiene la suma de todos los mintrminos en F y F2 (b) Muestre que la funcin booleana G = FF2, obtenida al aplicar el operador ANO a las dos funciones, contiene los mintrrninos comunes tanto a F como F2 Obtenga la tabla de verdad de la funcin: F

2-9.

xy

+ xy' + y' z

2-10. Implemente las funciones booleanas simplificadas del problema 2-6 con compuertas lgicas. 2-11. Dada la funcin booleana: F = xy

+ x'y' + y' z

(a) Implemntela con las compuertas ANO, OR Y NOT (b) Implemntela slo con las compuertas OR y NOT (e) Implernntela slo con las compuertas ANO y NOT 2-12. Simplifique las funciones T y T2 a un nmero mnimo de literales. ABe TI T2

o o o 1 o o o 1 1 o o 1 o 1 o o 1 1 o 1 1 o o o 1 1 o 1 o 1 1 1 o o 1 1 1 1 o 1
2-13. Exprese las siguientes funciones de una suma de mintrminos y un producto de maxtrminos. (a) F(A, B, e, D) = D(A' + B) + B' D (b) F(w, x,y, z) = y'z + wxy' + wxz' + w'x'z (e) F(A, B, e, D) = (A + B' + e)(A + B')(A + (A' + B + e + D')(B + e' (d) F(A, B, e) '"'"(A' + B)(B' + C) (e) F(x, y, z) == 1 (f) F(x, y, z) == (xy + zXy + xz)

e' + D')

+ D')

72
2-14.

ALGEBRA BOOLEANA Y COMPUERTAS LOGICAS Con vierta las siguientes [unciones en la otra forma cannica.

CAP. 2

(a) (b) (e) (d)


2-15.

F(x, y, z) == ~(l, 3, 7) F(A, B, e, D) == ~(O, 2, 6, 11, 13, 14) F(x, y, z) == IT(O,3, 6, 7) F(A, B, C, D) == IT(O,1, 2, 3, 4, 6, 12)

Cul es la diferencia entre la forma cannica y la estndar? Cul forma es preferible cuando se implementa con compuertas una funcin booleana? Cul forma se obtiene cuando se lee una funcin de una tabla de verdad? La suma de todos los mintrminos de una [uncin booleana (a) Pruebe la enunciacin anterior para n == 3. (b) Sugiera un procedimiento para una prueba general. de n variables es l.

2-16.

2-17.

El prod ucto de todos los maxtrminos de una funcin booleana de 11 variables es O. (a) Pruebe la enunciacin anterior para n = 3. (b) Sugiera un procedimiento para una prueba general. Puede usarse el principio de dualidad despus de probar (b) del problema 2-16'1 Muestre que la dual de la excluyente OR es igual a su complemento.

2-18. 2-19.

Por la sustitucin de la funcin booleana equivalente a las operaciones binarias como se definen en la Tabla 2-6, muestre que: (a) Los operadores de inhibicin e implicacin no son ni conmutativos ni asociativos. (b) Los operadores excluyente OR y de equivalencia son conmutativos y asociativos. (e) El operador NANO no es asociativo. (d) Los operadores NOR y NANO no son distributivos . Una compuerta de mayora es un circuito digital cuya salida es igual a 1 si la mayora de las entradas son l. En otra forma, la salida es O. Mediante una tabla de verdad, encuentre la funcin booleana implementada por una compuerta de mayora de 3 entradas. Simplifique la funcin. Verifique la tabla de verdad para la compuerta excluyente OR de 3 entradas que se lista en la Fig. 2-8(c). Liste todas las ocho combinaciones de x, y y z; evale A =x EB y; despus evale F =A EB z= x EB y EB z. La familia lgica TTL SSI existe principalmente en paquetes de 14 clavijas. Dos clavijas se reservan para suministro de potencia y las otras clavijas se utilizan para terminales de entrada y salida. Cuntas compuertas estn encapsuladas en un paquete de esta clase si contiene los siguientes tipos de compuertas: (a) Compuertas excluyente-OR de 2 entradas. (b) Compuertas ANO de 3 entradas. (e) Compuertas NANO de 4 entradas. (d) Compuertas NOR de 5 entradas. (e) Compuertas NANO de 8 entradas. Muestre que una compuerta ANO de lgica positiva es una compuerta OR de lgica negativa y viceversa. Una familia lgica lC tiene compuertas NANO con abanico de salida de 5 y compuertas buffer con abanico de salida de lO. Muestre cmo la seal de salida de una sola compuerta NANO puede aplicarse a otras SO entradas de compuerta.

.. 2-20.

2-21.

2-22.

2-23. 2-24.