Universidad Regional Autónoma de Los Andes Uniandes

UNIVERSIDAD REGIONAL AUTNOMA DE LOS
ANDES UNIANDES
ELECTRNICA DIGITAL I

1

ANDES UNIANDES

ESPECIALIDAD : SISTEMAS MERCANTILES
NIVEL : UNO
CICLO : MAYO 2012 - SEPTIEMBRE 2012
NOMBRE : BYRON PADILLA
MODULO : ELECTRNICA DIGITAL I

Puyo Ecuador

ANDES UNIANDES

2

Ensayo de algebra de Boole

El lgebra de Boole es una estructura algebraica desarrollada por el matemtico
autodidacto George Boole (1815-1864) partiendo de sus investigaciones sobre las leyes
del pensamiento. Posteriormente, algunos matemticos perfeccionaron su sistema y lo
han utilizado en el diseo de los circuitos lgicos de las computadoras. El lgebra de
Boole nos permite simplificar las conexiones fsicas de los circuitos lgicos de las
computadoras, simplificando una expresin algebraica usando los teoremas bsicos de
esta estructura. Esto trae como consecuencia la reduccin de hardware y por
consiguiente, el espacio necesario para alojarlo.

Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole ,
constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente con
el advenimiento de la computadora digital. Son usadas ampliamente en el diseo de
circuitos de distribucin y computadores , y sus aplicaciones van en aumento en muchas
otras reas. En el nivel de logica digital de una computadora , lo que comnmente se
llama hardware, y que est formado por los componentes electrnicos de la mquina, se
trabaja con diferencias de tensin, las cuales generan funciones que son calculadas por
los circuitos que forman el nivel. stas funciones, en la etapa de disea del hardware,
son interpretadas como funciones de boole. En el presente trabajo se intenta dar una
definicin de lo que es un algebra de boole; se tratan las funciones booleanas,haciendo
una correlacin con las frmulas proposicionales. Asimismo, se plantean dos formas
cannicas de las funciones booleanas, que son tiles para varios propsitos, tales como
el de determinar si dos expresiones representan o no la misma funcion. Pero para otros
propsitos son a menudo engorrosas, por tener ms operaciones que las necesarias.
Particularmente, cuando estamos construyendo los circuitos electrnicos con que
implementar funciones booleanas, el problema de determinar una expresin mnima
para una funcion es a menudo crucial. No resultan de la misma eficiencia en dinero y
tiempo, principalmente, dos funciones las cuales calculan lo mismo pero donde una
tiene menos variables y lo hace en menor tiempo. Como solucin a este problema, se
plantea un metodo de simplificacin, que hace uso de unos diagramas especiales
llamados mapas o diagramas de Karnaugh, y el cual tiene la limitacin de poder trabajar
adecuadamente slo con pocas variables.Se realizan estas presentaciones con el fin de
demostrar la afinidad existente entre el algebra de boole y la logica proposicional, y con
el objeto de cimentar el procedimiento de simplificacin presentado en la lgica de
proposiciones
Definicin: Algebra de Boole

A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The
Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of Thought"
(1854), desarroll la idea de que las proposiciones lgicas podan ser tratadas mediante
herramientas matematicas. Las proposiciones lgicas (asertos, frases o predicados de la
lgica clsica) son aquellas que nicamente pueden tomar valores Verdadero/Falso, o
preguntas cuyas nicas respuestas posibles sean S/No. Segn Boole, estas
proposiciones pueden ser representadas mediante smbolos y la teoria que permite
trabajar con estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la
Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta con operaciones
lgicas que siguen el comportamiento de reglas algebraicas. Por ello, al conjunto de
reglas de la Lgica Simblica se le denomina LGEBRA DE BOOLE.
A mediados del siglo XX el lgebra Booleana result de una gran importancia prctica,
ANDES UNIANDES

3

importancia que se ha ido incrementando hasta nuestros das, en el manejo de
informacion digital (por eso hablamos de Lgica Digital). Gracias a ella, Shannon
(1930) pudo formular teoria de la codificacin y John Von Neumann pudo enunciar el
modelo de arquitectura que define la estructura interna de los ordenadores desde la
primera generacin.
Todas las variables y constantes del lgebra booleana, admiten slo uno de dos valores
en sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos valores bivalentes y
opuestos pueden ser representados por nmeros binarios de un dgito (bits), por lo cual
el lgebra booleana se puede entender cmo el lgebra del sistemas binario Al igual
que en lgebra tradicional, tambin se trabaja con letras del alfabeto para denominar
variables y formar ecuaciones ara obtener el resultado de ciertas operaciones mediante
una ecuacin o expresin booleana. Evidentemente los resultados de las
correspondientes operaciones tambin sern binarios.
Todas las operaciones (representadas por smbolos determinados) pueden ser
materializadas mediante elementos fsicos de diferentes tipos (mecnicos, elctricos,
neumticos o electrnicos) que admiten entradas binarias o lgicas y que devuelven una
respuesta (salida) tambin binaria o lgica. Ejemplos de dichos estados son:
Abierto/Cerrado (interruptor), Encendida/Apagada (bombilla), Cargado/Descargado
(condensador) , Nivel Lgico 0/Nivel lgico 1 (salida lgica de un circuito
semiconductor), etctera.
Los dispositivos con los cuales se implementan las funciones lgicas son llamados
puertas (o compuertas) y, habitualmente, son dispositivos electrnicos basados
entransistores. Estos dispositivos, y otros que veremos a lo largo de esta unidad, son los
que permiten el diseo, y la ulterior implementacin, de los circuitos de cualquier
ordenador moderno, as como de muchos de los elementos fsicos que permiten la
existencia de las telecomunicaciones modernas, el control de maquinastctera. De
hecho, pensando en los ordenadores como una jerarqua de niveles, la base o nivel
inferior sera ocupada por la lgica digital (en el nivel ms alto del ordenador
encontraramos los actuales lenguajes de progrmacionde alto nivel).
En esta unidad se representan las puertas lgicas elementales, algunas puertas complejas
y algunos ejemplos de circuitos digitales simples, as como algunas cuestiones de
notacin. Por otra parte se plantean actividades de trabajo, muchas de las cuales
implican una respuesta escrita en vuestro cuaderno de trabajo. El deseo del autor es que
os resulte sencillo y ameno adentraros en el mundo de la lgica digital y despertaros la
curiosidad, tanto por ella, como por la matematicasque subyace en ella.
El lgebra booleana es un sistema matemtico deductivo centrado en losvalores cero y
uno (falso y verdadero). Un operador binario " " definido en ste juego de valores
acepta un par de entradas y produce un solo valor ooleano, por ejemplo, el operador
booleano AND acepta dos entradas booleanas y produce una sola salida booleana.Para
cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden
deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra
booleana a menudo emplea los siguientes postulados:
Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario
si para cada par de valores booleanos se produce un solo resultado booleano.
Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A
para todos los posibles valores de A y B.
Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B
C) para todos los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) =
(A B) % (A C) para todos los valores booleanos A, B, y C.
ANDES UNIANDES

4

Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a
un operador binario " " si A I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador
booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A.
Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de
operadores y valores:- Los dos posibles valores en el sistema booleano son cero y uno, a
menudo llamaremos a stos valores respectivamente como falso y verdadero.- El
smbolo representa la operacin lgica AND. Cuando se utilicen nombres de variables
de una sola letra se eliminar el smbolo , por lo tanto AB representa la operacin
lgica AND entre las variables A y B, a esto tambin le llamamos el producto entre A y
B.- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin
lgica OR entre A y B, tambin llamada la suma de A y B.- El complemento lgico,
negacin NOT es un operador unitario, en ste texto utilizaremos el smbolo " ' " para
denotar la negacin lgica, por ejemplo, A' denota la operacin lgica NOT de A.- Si
varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la
expresin depende de la procedencia de los operadores, la cual es de mayor a menor,
parntesis, operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el
operador lgico AND como el OR son asociativos por la izquierda. Si dos operadores
con la misma procedencia estn adyacentes, entonces se evalan de izquierda a derecha.
El operador lgico NOT es asociativo por la derecha.Utilizaremos adems los siguientes
postulados:
P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT
P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No
existe elemento de identidad para el operador NOT
P3 Los operadores y + son conmutativos.
P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (A B)+(A C) y
A+ (B C) = (A+B) (A+C).
P5 Para cada valor A existe un valor A' tal que A A' = 0 y A+A' = 1. ste valor es el
complemento lgico de A.
P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).

ANDES UNIANDES

5

1. ALGEBRA DE BOOLE

En 1847, George Boole desarrolla el lgebra como anlisis matemtico.
En 1938, Shannon emplea esta lgebra en circuitos de conmutacin.

Es una estructura algebraica consistente de: un conjunto de elementos(sea B el conjunto); dos
operaciones binarias(sean + y -, las operaciones); tales que se cumplen los axiomas de clausura,
conmutatividad, asociatividad, distributividad, identidad y complementariedad.

1.1. Postulados

P.1 Definicin: El lgebra de Boole es un sistema algebraico cerrado que contiene un
conjunto B de dos elementos, {0, 1}; y dos operadores { , +}. Los operadores tambin suelen
representarse segn: {AND, OR}.
La clausura implica que si a y b pertenecen a B, entonces: a b y a+b tambin pertenecen a B.

P.2 Dos expresiones son iguales si una puede ser substituida por la otra.

P.3 Existen elementos nicos (0 y 1) en B tal que para cada a en B se tienen:

a + 0 = a
a 1 = a

P.4 Conmutatividad. (a y b pertenecen a B)

a + b = b + a
a b = b a

P.5 Asociatividad. (a , b y c pertenecen a B).

a + (b + c) = (a + b) + c
a (b c) = (a b) c

P.6 Distributividad. (a , b y c pertenecen a B).

a + (b c) = (a + b) (a + c)
a (b + c) = (a b) + (a c)

Ntese que en la distribucin para la suma en el producto, la expresin a la derecha es diferente
de la empleada habitualmente para nmeros reales y enteros.

P.7 Complementariedad. ( a pertenece a B)
Existe complemento nico de a que se representa por a y tambin por: a
a + a = 1
a - a = 0

Al complemento nico de a lo representaremos, para facilitar su escritura segn convenga,
como: a', y tambin como: not a. El complemento podra haberse definido como un operador
unario de la estructura algebraica.
En el lenguaje C se emplea ~a para denotar el complemento; el operador and se anota & y el
operador or emplea el smbolo |.

ANDES UNIANDES

6

Observar que, con la formulacin de postulados, se pueden demostrar como teoremas las
siguientes proposiciones:

a a
1 0
0 1
=
=
=

Es decir, las igualdades anteriores no son postulados.

Sobre las demostraciones de Teoremas.
Cada paso en las demostraciones consiste en la aplicacin de P.2, regla de sustitucin, en
conjuncin con otros postulados o teoremas ya demostrados. Se agrega a cada lnea, como
comentario, el postulado usado.

Teorema. Complemento de 1.
Se tiene:
a - 1 = a ; P3 Elemento nico 1.
0 - 1 = 0 ; P2 Sustitucin de a por 0.
(i) 1 - 0 = 0 ; P4 Conmutacin del producto.
Y tambin:
a + 0 = a ; P3 Elemento nico 0.
(ii) 1 + 0 = 1 ; P2 Sustitucin de a por 1.
Por (i) y (ii) se tienen:
1 + 0 = 1
1 - 0 = 0
El postulado P7 para el complemento de uno es:
1 + 1 = 1
1 - 1 = 0
Empleando P2 puede sustituirse 0 por 1.
Se logra demostrar que: 1 = 0
En forma similar puede demostrarse que el complemento de cero es uno: 0 = 1

Teorema de involucin.
a a =
Demostracin:
Si el complemento nico de a es (a). Por P7, debera cumplirse:
a + (a) = 1
a - (a) = 0 (i)
Por P.7 se tienen:
a + a = 1
a - a = 0
Aplicando P4, a las dos ltimas proposiciones, se tienen:
a + a = 1
a - a = 0 (ii)
Comparando (i) y (ii), y empleando P2, se demuestra que puede substituirse (a) por a.

Notas:

1) No est definida la substraccin.

. cancelarse pueden No
: Ejemplo
B A y AB
BC B A AB C A B A AB + + = + +

ANDES UNIANDES

7

Notar que el operador and no suele escribirse entre las letras de las variables.

2) No est definida la divisin.

Ejemplo: AB = AC no puede reducirse a B = C.

3) Expresiones aparentemente diferentes pueden ser idnticas.
4) A'B' = (AB)'

1.2. Diagramas de Venn

Si consideramos que el lgebra de conjuntos es un lgebra de Boole, en la que los conjuntos
corresponden a los elementos, la interseccin al AND, y la unin al OR; entonces las
proposiciones del lgebra de Boole se pueden representar por diagramas de conjuntos.

En los diagramas de Venn los conjuntos se muestran como reas. El '1' es el conjunto universal,
y el '0' es el conjunto vaco.
Los diagramas de Venn, permiten visualizar los postulados y teoremas.

La figuras anteriores ilustran las operaciones de suma y producto lgico:

La siguientes figuras ilustran el conjunto universal y el conjunto vaco.

1.3. Dualidad
Dada un expresin, la dual se obtiene reemplazando los operadores:
+ por
por +,

y las constantes: 1 por 0
0 por 1.
y dejando las variables sin cambios.
BC + B A + AB = C A + B A + AB : Ejemplo
a
a
a1 a + 0
A+B
B
A

(A+B)

Unin
A
B

AB Interseccin
AB
ANDES UNIANDES

8

Es decir: si se tiene la funcin f(x1, x2, ..., xn, 0, 1, +, -); entonces la funcin dual puede
describirse por: f(x1, x2, ..., xn, 1, 0, -, +).

Principio de dualidad: Si una expresin booleana es vlida, tambin lo ser la expresin
dual.

Observaciones:
Los postulados 3 al 7 se muestran en parejas de expresiones duales.
Los teoremas tambin pueden plantearse en forma dual.
Ntese que una variable no se complementa para formar la expresin dual.
Este es un teorema acerca de teoremas, y plantea que cualquier teorema que pueda ser
demostrado, tambin podr ser demostrado para la proposicin dual.
Ver una formulacin matemtica en Teorema 16.

Antes de obtener la expresin dual, conviene asociar los operandos con los operadores que les
corrresponden, mediante el uso de parntesis.
AB + C debe interpretarse como: (AB) + C; en este caso, la expresin dual es: (A +B) C
Si se determina directamente la expresin dual, mediante el procedimiento de cambiar el or por
and y viceversa, se obtendra errneamente: A + BC.

1.4. Teoremas

T.8 Idempotencia. a + a = a
a a = a
Demostracin de la primera proposicin.
a = a ;P2
= a + 0 ;P3
= a + ( a a ) ;P7
= ( a + a )( a + a ) ;P6
= ( a + a ) 1 ;P7
= a + a ;P3

T.9 Unin con el Universo e Interseccin con el vaco.
a + 1 = 1
a 0 = 0

Demostracin de la primera proposicin:
a +1 = a + 1 ;P2
= a + a + a ;P7
= a + a ;T8 y P5
= 1 ;P7

T.10 Absorcin.
a + ab = a
a (a + b) = a
a + ab = a + ab ; P.2
= a 1 + ab ; P.3
= a (1 + b) ; P.6
= a (b + 1) ; P.4
= a 1 ; T.9
= a ; P.3
Se absorbe b.
ANDES UNIANDES

9

T.11 Absorcin del complemento.

a ab a b
a a b ab
+ = +
+ = ( )

a + ab = a + ab ;P2
= ( a + a ) ( a + b ) ;P6
= 1 ( a +b ) ;P7
= ( a +b ) ;P3

T.12 De Morgan.

b a ab
b a b a
+ =
= +

Demostracin de la segunda proposicin:

Por P7 se tiene que si (ab) es el complemento nico de ab, entonces:
(ab) + (ab) = 1 T12.a
(ab) (ab) = 0

Por otro lado tenemos:
(ab)(a +b) = ( ab )( a+b ) ;P2
= aba + abb ;P6
= 0 b + a 0 ;P4, P7 y P5
= 0 + 0 ;T9
= 0 ;P3 T12.b
Tambin tenemos que:
(ab) + (a +b) = (ab) + (a + b) ;P2
= (a' + b') + (ab) ; P4
= ((a +b) + a)((a +b) + b) ;P6
= ((a +a') + b')( a' + (b + b')) ;P4 y P5
= ( 1 +b)(a +1) ;P7
= (1)(1) ;T9
= 1 ;P3 T12.c

Entonces de T12.a, T12.b y T12.c, y empleando P2, se logra:
(ab) = (a + b)
Generalizacin de De Morgan:
f (x1, x2, ..., xn, 0, 1, +, -) = f(x1, x2, ..., xn, 1, 0, -, +)
Ver Teorema 16.

T.13 Consenso.
) )( ( ) )( )( ( c a b a c b c a b a
c a ab bc c a ab
+ + = + + +
+ = + +

bc es el trmino de consenso entre ab y a'c.

T.14 Fusin.
ab ab a
a b a b a
+ =
+ + = ( )( )

ANDES UNIANDES

10

T.15 Factorizacin
b a ac c a b a
b a c a c a ab
+ = + +
+ + = +
) )( (
) )( (

Un caso ms general del T.15b es el siguiente.
( )( ) Ca Co Ca Co Ca Co Ca Co
1 1 1 2 1 2 1 1
+ + = +
Donde se han empleado los siguientes mnemnicos para las variables: Ca por cabeza y Co por
cola.

Los teoremas ms frecuentemente empleados son: T.8, T.9, T.10, y T.12.

1.4.2.- Visualizacin de teoremas mediante diagramas de Venn.

Ejemplo:
T.13: c a ab bc c a ab + = + +

Las figuras anteriores ilustran los dos trminos del lado derecho del teorema. La figura
siguiente muestra el trmino de consenso bc. La figura de la derecha muestra la suma lgica de
ab+bc', y se puede advertir que el trmino bc queda incluido.

Obs. Se puede decir que bc est incluido en ab+ac; y tambin que bc es un trmino
denominado consenso entre ab y ac.

2. Funciones Booleanas

2.1. Definiciones

a
b
c
ab
a
b
c
ac
a
b
c
bc
a
b
c
ab+ac
ANDES UNIANDES

11

i) Una variable es un smbolo, el cual puede ser sustituido por un elemento del conjunto
{0,1}.
ii) El elemento que es sustituido por el smbolo de la variable se llama el valor de la
variable.
iii) Una funcin de n variables f(x
1
,x
2
, .. ,x
n
), es un mapeo o correspondencia que asocia un
valor a f, con cada una de las posibles combinaciones de valores que pueden tomar las variables.
iv) Una expresin queda definida, recursivamente, por las reglas:
a) Constantes y variables son expresiones.
b) Si x e y son expresiones, entonces:
x+y, x y, x, y tambin lo son.
v) Una funcin booleana es cualquier funcin f(x
1
,x
2
, .. ,x
n
), para la cual existe una
expresin
X(x
1
,x
2
, .. ,x
n
), tal que:
f(x
1
,x
2
, .. ,x
n
) = X(x
1
,x
2
, .. ,x
n
)
vi) Un literal es el smbolo empleado para una variable o su complemento.

Entonces:

Si x
1
,x
2
, ,x
n
son variables que pueden tomar los valores 1 y 0 entonces:

f(x
1
,x
2
, .. ,x
n
), es una funcin booleana de x
1
,x
2
, .. ,x
n
.

La funcin f puede tomar valores 1 0 dependiendo de los valores de las variables.

Resumen:
La siguiente sintaxis, muestra la formacin recursiva de expresiones como suma de trminos.
Una expresin es un OR de sus trminos.
Un trmino es el AND de sus factores.
Un factor es: una constante, o una variable, o un NOT de un factor, o una expresin
entre parntesis.

Ejemplo: 0 + a + bc + d + (c+d) e

La siguiente sintaxis, muestra la formacin recursiva de expresiones como producto de
trminos.
Una expresin es un AND de sus trminos.
Un trmino es el OR de sus factores.
Un factor es: una constante, o una variable, o un NOT de un factor, o una expresin
entre parntesis.
Ejemplo: a(1)(c+d)(e + f)

2.2. Representacin de Funciones Booleanas

Cada salida de un sistema digital combinacional puede describirse por una funcin booleana de
sus variables de entrada. Es decir, las salidas de una red combinacional dependen solamente de
sus entradas. Lo anterior se considera la definicin de un sistema digital combinacional.

ANDES UNIANDES

12

a) Una funcin puede ser descrita por una expresin.

Ejemplo: f( A, B, C) = AB + AC + AC

La funcin puede evaluarse para las diferentes combinaciones de valores que tomen las
variables.
Se ilustra la evaluacin de la funcin para A = 1, B = 0 y C = 0.

f( 1, 0, 0) = 1- 0 + 1- 0 + 1 - 0
= 0 + 0 - 0 + 1 - 1
= 1
b) Una funcin puede ser descrita por una tabla de verdad.
Una tabla de verdad despliega todas las posibles combinaciones de valores de las variables y el
valor asociado de la funcin. Por ejemplo, para la expresin del punto a):

A B C f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1

c) Esquema Lgico.
Un diagrama empleando smbolos estandarizados para las funciones lgicas.

Para la tabla del punto b):

f
C
A
C
A
B
A
ANDES UNIANDES

13

d) Diagrama Temporal. Formas de ondas de las entradas y de las salidas.
Empleando simuladores, pueden obtenerse formas de ondas de las seales. En estos diagramas
pueden observarse los retardos de propagacin a travs de las compuertas.

Se generaron las ocho combinaciones posibles para las variables de entrada y se grafic la salida
f, la misma de los tres puntos anteriores.

Los cambios de f no estn alineados con los cambios de las entradas, debido a que toma tiempo
para que una compuerta cambie su estado. Es similar a una tabla de verdad, pero horizontal.

Ntese que entre 10 y 20, la seal f debera estar en 1 lgico(a=1, c'=1), sin embargo esto ocurre
un poco despus(tipo 2 unidades). Esto se debe al retardo de propagacin a travs de las
compuertas. Tambin se aprecia en la grfica que la salida tiene una cada a cero, un poco
despus del tiempo 40; como se ver despus, es una perturbacin.

Las formas de ondas pueden tambin visualizarse mediante un analizador lgico, o con un
osciloscopio.
Las formas de ondas fueron generadas con un programa para simular sistemas
digitales(CircuitMaker) que se dispone, en versin estudiantil gratuita, en la red.

Otras formas de representacin:

e) Diagramas de Venn. Similares al visto en el Teorema 13.

f) Mapas de Karnaugh. Representacin que se desarrollar ms adelante.

g) N-cubos. Diagrama en un espacio discreto multidimensional, que se ver ms adelante.

h) Empleando lenguajes para descripcin de sistemas booleanos.

c
b
a
f
100 90 80 70 60 50 40
30 20 10 0
ANDES UNIANDES

14

2.3. Nmero de funciones de n variables.

Si hay n variables, la tabla de verdad tendr N = 2
n
renglones. Para un rengln determinado la
funcin puede tomar valor 0 1. Entonces pueden escribirse 2
N
tablas de verdad diferentes.
Es decir,
2
2
n
funciones booleanas de n variables.

La siguiente tabla muestra el rpido crecimiento del nmero de funciones booleanas de n
variables.

n
N=2
n

2
2
n

0 1 2
1 2 4
2 4 16
3 8 256
4 16 65536
... ...

El caso n = 0 se interpreta como una funcin descrita por 0 variables; es decir por una
constante. En esta situacin existe slo un valor posible (N=1) y como la constante puede ser 0
1 el nmero de funciones de cero variables es 2.

Ejemplo:

Para n = 2 las tablas de verdad tienen cuatro renglones. Los cuatro casilleros de una funcin
pueden llenarse de 16 formas, las que se muestran en la siguiente tabla.

A B f
0
f
1
f
2
f
3
f
4
f
5
f
6
f
7
f
8
f
9
f
10
f
11
f
12
f
13
f
14
f
15

0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

Las funciones se han numerado, en binario, considerando el primer rengln como el dgito
menos significativo. Por ejemplo: 0111 equivale a 7, en sistema binario. Lo cual puede verse
de la siguiente relacin: 02
3
+12
2
+ 12
1
+12
0
= 7
Las 16 funciones booleanas de dos variables pueden representarse en forma analtica, mediante
expresiones booleanas.

f
0
= 0 f
8
= AB
f
1
= A'B' = (A + B)' f
9
= A'B' + AB
f
2
= A'B f
10
= A'B + AB = B
f
3
= A'B' + A'B = A' f
11
= A'B' + A'B + AB = A' + B
f
4
= AB' f
12
= AB' + AB = A
f
5
= A'B' + AB' = B' f
13
= A'B' + AB' + AB = A + B'
f
6
= A'B + AB' f
14
= A'B + AB' + AB = A + B
f
7
= A'B' + A'B + AB' = A' + B' = (AB)' f
15
= A'B' + A'B + AB' + AB = 1

Las diferentes expresiones pueden comprobarse mediante tablas de verdad.
Algunas de estas funciones son tan utilizadas, que se las reconoce con un nombre.

Definiciones:
ANDES UNIANDES

15

La funcin 1 se denomina nor(por: not or). La funcin 8 se denomina and; la 14 or; la 3 es la
negacin de A, o not A.
La funcin 6, se denomina xor, por or exclusivo. Toma valor verdadero si los valores lgicos de
A y B son diferentes; por esto tambin se la denomina desigualdad o diferencia.
La funcin 9 se denomina xnor. Toma valor verdadero si los valores lgicos de A y B son
iguales. Por esto se la denomina igualdad o coincidencia.
La funcin 9 se denomina equivalencia lgica; la funcin 11 es la implicancia lgica.

Estas funciones pueden generalizarse para ms de dos variables, por ejemplo:
and(a, b, c) = a b c
or (a, b, c, d) = a + b + c + d

Alcance sobre OR (inclusivo) y XOR (exclusivo).
A B OR XOR
0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 0

Observar que difieren en el ltimo rengln.

Sobre la implicacin material o condicional.
La expresin: p q, se lee: Si p entonces q.
B + A = B) (A, or = B) (A,
B A = B) (A, nand = B) (A,
B A = B) (A, xor = B) (A,
B A = B) (A, and = B) (A,
B A = B) (A, nor = B) (A,
14
7
6
8
1
f
f
f
f
f
+

B A = B A = B) (A,
B A = B)) (A, (xor not = B) (A,
11
9
+

f
f
ANDES UNIANDES

16

Con p el antecedente y q el consecuente, se tiene:
p q p q
1 1 1
0 0 1
0 1 1
1 0 0

La implicacin es falsa si el consecuente es falso cuando el antecedente es verdadero. Debe
notarse que cuando el antecedente es falso el condicional es verdadero. Si el antecedente y
consecuente son verdaderos, entonces el condicional es verdadero.
Se destaca que la implicacin condicional es una expresin que puede ser falsa.
p q equivale lgicamente con (p'+q).
Si se considera que 1 es mayor que 0, tambin puede tratarse como p s q.
Tambin es equivalente con la expresin q' p', que se denomina implicacin conjugada.

Condiciones suficientes y necesarias.
Cuando p q es verdadero, para que q sea verdad es condicin suficiente que p sea verdad.
Pero no es condicin necesaria, ya que q puede ser verdad, an siendo p falso.
Cuando p q es verdadero, para que p sea verdad es necesario que q sea verdad.
La siguiente expresin se denomina silogismo: (p - (p q) ) q

Razonamiento Deductivo.
La expresin p q tambin puede leerse: q se deduce lgicamente de p. O tambin: La
conclusin q se infiere de la hiptesis p.
Para que el razonamiento sea vlido la expresin p q, debe ser una tautologa.

Se denomina tautologa a una expresin que es verdadera bajo cualquier interpretacin. Y se
denomina contradiccin a una expresin que es falsa bajo cualquiera interpretacin.

Formas de razonamiento:
- Modus ponens:
En esta forma de razonar debe demostrarse que (p - (p q) ) q es una tautologa.
- Modus tolens:
En esta forma de razonar debe demostrarse que (q' - (p q) ) p' es una tautologa.
- Transitividad.
En esta forma de razonar debe demostrarse que (p q) - (q r) (p r) es una
tautologa.

Formulacin de expresiones booleanas.

A partir de la descripcin de un problema, generalmente expresada en forma de texto, se desea
obtener frmulas lgicas mediante expresiones que emplean variables booleanas.

Ejemplo(Taub): En un estante hay 5 libros(v, w, x, y, z) que se pueden tomar cumpliendo las
siguientes reglas:
a) Se seleccionan v o w o ambos
b) Se seleccionan x o z pero no ambos
c) se selecciona v y z juntos, o bien una seleccin que no incluya a ninguno de ellos
d) si se selecciona y, tambin debe seleccionarse z
e) si se selecciona a w, tambin debe seleccionarse a v e y.
Expresar cmo seleccionar un grupo de libros cumpliendo las reglas anteriores.

ANDES UNIANDES

17

Solucin.
Sean:
- u la proposicin lgica que indica que la seleccin de libros cumple las reglas
- el nombre del libro es la proposicin lgica que indica que se tom dicho libro para formar
la seleccin.

Como las reglas de seleccin deben cumplirse simultneamente, debe entenderse que debe
cumplirse la primera regla y la segunda, y as sucesivamente.
Por lo tanto: u es igual al and de las reglas individuales.

La regla a), establece el or ( incluye a ambos) de v con w. Es decir: v + w.
La regla b), establece el xor (no incluye a ambos) de x con z. Es decir: x z.
Para la regla c), se tiene:
v z regla c)
0 0 1
0 1 0
1 0 0
1 1 1
Es decir: (v z)'
La regla d) traducida es: y z
La regla e) traducida es: w vy
Entonces: u = (v + w)( x z) (v z)' (y z)( w vy )
Reemplazando los operadores por or, and y not, se obtiene:
u = (v + w)(xz' + x'z)(vz + v'z')(y' + z)( w' + vy)

Efectuando los productos:
(v+w) (vz +v'z') = vvz + vv'z + vwz + v'wz' que se simplifica a: vz + v'wz'
(xz' +x'z)(y' +z) = xy'z' + x'y'z + xzz' + x'zz que se simplifica a : xy'z' + x'z
entonces queda: u = (vz + v'wz' )( xy'z' + x'z )( w' + vy)

El producto (vz + v'wz' )( w' + vy) puede simplificarse a: (vw'z + vyz)
Y el producto ( xy'z' + x'z ) (vw'z + vyz) = x'vw'z + x'vyz

Finalmente: u = vx'z(w' +y)
Que puede leerse:
Se debe seleccionar v y z, y rechazar x; y si se selecciona w tambin debe seleccionarse y.
Una frase alternativa para (w' +y) es: si no se selecciona w, la seleccin de y es opcional.
Ejemplo(Dietmeyer). Tres interruptores(a, b, c) controlan dos ampolletas(una roja R, y otra
verde V) del modo siguiente:
a) Cuando los tres interruptores estn cerrados, se enciende la luz roja.
b) Cuando el interruptor A est abierto y B o C estn cerrados se enciende la luz verde.
c) No deben encenderse ambas ampolletas a la vez.
d) En el resto de los casos la roja debe encenderse, excepto cuando los tres interruptores estn
abiertos, en este caso no debe encenderse ninguna ampolleta.

Solucin:
Se emplea la siguiente asignacin de valores lgicos:
a interruptor cerrado se asigna 1 lgico,
a ampolleta encendida se le asigna 1 lgico.
La especificacin b) se interpreta como o incluyente.
De la condicin d), se extrae la especificacin e)
e) cuando los tres interruptores estn abiertos no debe encenderse ninguna ampolleta.

ANDES UNIANDES

18

Si se puede completar la tabla de verdad, el problema est completamente especificado:

Se va completando la tabla, con las especificaciones, la ltima en aplicar es la d).
Se advierte que si no se hubiese dado, por ejemplo, la especificacin c), el problema queda
indeterminado. En estos casos es preciso efectuar suposiciones o agregar especificaciones.
Por esto podra decirse que una tabla de verdad es una especificacin formal.

Una vez que se tiene la tabla pueden encontrarse las expresiones para R y V en funcin de A, B
y C.
Puede comprobarse que cada uno de la funcin est asociado a un producto lgico de las
variables A, B y C. Y que la funcin es la suma lgica de esos productos, se tiene entonces que:
R = AB'C' + AB'C + ABC' + ABC que puede simplificarse, empleando teoremas, a: R = A.
V = A'B'C + A'BC' + A'BC que puede simplificarse a: V = A'(B +C)
2.4. Simplificacin (reduccin) de Funciones.

2.4.1. Criterios de Reduccin.

Cada funcin tiene una y slo una tabla de verdad asociada; sin embargo pueden escribirse
diferentes expresiones booleanas para la misma funcin. Esto implica diferente costo.

a) Si se minimiza el nmero de compuertas empleadas, se tendr un circuito ms pequeo lo
que influencia directamente el costo de manufactura, debido a un circuito impreso ms simple.
Tambin disminuyen las probabilidades de fallas debidas a componentes defectuosas, debido al
menor nmero de stas.
b) Si se minimiza el nmero de entradas a las compuertas, se tendr menos transistores en cada
compuerta y por lo tanto un costo menor. Si se considera las seales y sus complementos,
presentes en una expresin, como entradas de compuertas, puede definirse el concepto de literal
en una expresin.

Un literal es la ocurrencia de una variable o su forma complementada en una expresin.
Si se desea minimizar las entradas, debe minimizarse el nmero de literales en una expresin.

Ejemplo:
f(x, y, z) = xy(z+yx) +yz es una expresin que tiene 7 literales.

Puede reducirse a: f(x, y, z) = (xy)z = (x +y)z que tiene 3 literales.

Es usual asumir que se dispone de las variables y sus complementos como entradas de una red
combinacional. Como se ver ms adelante algunos elementos bsicos de memoria(flip-flops)
entregan como salidas las variables y sus complementos, en las figuras siguientes se muestran
un flip-flop JK y un flip-flop D, la seal CP(clock pulse) es el reloj:
por condicin e
A B C R V
0 0 0 0 0
0 0 1 0 1
0 1 0 0 1
0 1 1 0 1
1 0 0 1 0
1 0 1 1 0
1 1 0 1 0
1 1 1 1 0

por condicin a. por
condicin c
por condicin
b.

por condicin
por condicin d
ANDES UNIANDES

19

Tambin en los dispositivos programables existen circuitos inversores en las entradas:

Como se ha dicho: Existen diversas expresiones para una misma funcin.
Sea la funcin f(A, B, C) = A' B' (C +D)
Si consideramos la seal interna: S1 = C + D, se puede expresar: f = A' B' S1

Que puede implementarse con compuertas segn:

La representacin es en dos niveles. Definiendo el nivel por el nmero de compuertas a travs
de las cuales se propagan las seales de entrada hasta llegar a la seal de salida.
La implementacin tiene 7 entradas. Y emplea una compuerta que tiene ms de dos entradas(3
en el and del ejemplo).

Si expresamos ahora la misma funcin f por la expresin: f = (A' (B' (C + D))
Y si consideramos las siguientes seales internas: S1 = C + D; S2 = S1 B'.
Puede expresarse a f segn: f = A' S2. De este modo todas las compuertas empleadas no tienen
ms de dos entradas, segn puede verse en el esquema siguiente:

La implementacin tiene 8 entradas. Esto es sumando las entradas a todas las compuertas.
Notando que un cambio en la seal C o D o B, debe propagarse por tres compuertas, se dice que
el circuito est implementado en tres niveles. La seal A se propaga en dos niveles hasta la
salida f.

c) Si lo que se desea es aumentar la velocidad de respuesta, se requiere disminuir el nmero de
niveles.
Para lograr esto, en general se requerirn compuertas con mayor nmero de entradas lo cual
aumenta el costo en tamao.

Obviamente existir un compromiso entre velocidad y costo; el que se suele denominar
compromiso: tiempo-espacio.

A
B
C
S1
S2
f
D
A A'
A
A
B
C
D
f
S1
_
_
D
CP Q
Q
J
CP
K
R
Q
Q
ANDES UNIANDES

20

Los circuitos lgicos que tienen igual tabla de verdad son equivalentes, pero pueden tener
diferente costo, en tiempo o en espacio.

Existen diversas herramientas para explorar el compromiso entre retardos y tamao, que
permiten generar automticamente diferentes soluciones, empleando minimizacin lgica para
reducir la complejidad espacial y optimizacin de los retardos para aumentar la velocidad de
respuesta.

Algunos teoremas tiles con funciones de varias variables son los siguientes.

Teoremas relativos a funciones de varias variables.

T.16 Funcin Dual
) , , 1 , 0 , ,..., , ( ) , , 1 , 0 , ,..., , (
2 1 2 1
+ - = + -
n n d
x x x f x x x f
Este teorema permite calcular la funcin dual( f
d
) de una funcin f. Debe notarse que no se
intercambian las constantes y los operadores.

T.17 Reduccin.
x f x x x
x f x x x
n n
n n
1 1
1 1
+ = +
=
x f (0,x
x f (1,x
1 2
1 2
( ,..., ) ,..., )
( ,..., ) ,..., )

T.18 Teorema de Shannon
f (x x f (1,x x f (0,x
f (x (x f (0,x x f (1,x
1 1 2 1 2
1 1 2 1 2
, ,..., ) ,..., ) ,..., )
, ,..., ) ,..., )) ( ,..., ))
x x x x
x x x x
n n n
n n n
2
2
= +
= + +

Universidad Regional Autónoma de Los Andes Uniandes

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Universidad Regional Autónoma de Los Andes Uniandes

Hochgeladen von

Copyright:

Verfügbare Formate

UNIVERSIDAD REGIONAL AUTNOMA DE LOS

Das könnte Ihnen auch gefallen