REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD PEDAGGICA EXPERIMENTAL LIBERTADOR

INSTITUTO DE MEJORAMIENTO PROFESIONAL DEL MAGISTERIO
NCLEO ACADMICO CARABOBO
CATEDRA CURRICULO

Grafos y Relaciones
INFORNE

Profesor:
Lcdo. Ros Julios
Integrantes:
C.I.: 22.225136 Freddy J, Soto B
Materia: Matemtica Discreta

Valencia; 24 de Enero del 2015

Introduccin

El siguiente trabajo La matemtica discreta es la parte de las matemticas que

estudia objetos discretos. Definir el concepto discreto sin entrar en demasiadas
formalidades no es sencillo pero podemos apelar a ciertos ejemplos matemticos
conocidos y contraponerlo al concepto de continuo que es la idea central del curso de
Bases de Matemticas. Lo discreto es lo finito o lo que, si no es finito, presenta el
aspecto de los nmeros naturales, objetos bien separados entre s; lo continuo es lo no
finito, lo infinitesimalmente prximo, como los nmeros reales, y de ah el concepto
de lmite y las ideas que de dicho concepto se derivan.
La matemtica discreta surge como una disciplina que unifica diversas reas
tradicionales de las Matemticas (combinatoria, aritmtica, grafos,...), como
consecuencia de, entre otras cosas, su inters en la informtica y las
telecomunicaciones: la informacin se manipula y almacena en los ordenadores en
forma discreta (palabras formadas por ceros y unos), se necesita contar objetos
(unidades de memorias, unidades de tiempo), se precisa estudiar relaciones entre
conjuntos finitos (bsquedas en bases de datos), es necesario analizar procesos que
incluyan un nmero finito de pasos (algoritmos).
La matemtica discreta proporciona, por otro lado, algunas bases matemticas
para otros aspectos de la informtica: estructuras de datos, algortmica, bases de
datos, teora de autmatas, sistemas operativos, investigacin operativa. as como
ayuda al desarrollo de ciertas capacidades fundamentales para el Educador ya sea en
Matemtica y la Informtica: capacidad de formalizar, de razonar rigurosamente, de
representar adecuadamente algunos conceptos.

CAPITULO 4
GRAFOS

Grafos Eurelianos o Camino Eurelianos

Se entiende que es un ciclo euleriano o circuito euleriano es aquel camino que
recorre todas las aristas de un grafo tan solo una nica vez, siendo condicin
necesaria que regrese al vrtice inicial de salida (ciclo = camino en un grafo donde
coinciden vrtice inicial o de salida y vrtice final o meta). Una definicin ms formal
lo define como: "aquel ciclo que contiene todas las aristas de un grafo solamente una
vez". Se debe tener en cuenta que no importa la repeticin de vrtices mientras no se
repitan aristas.
En la teora de grafos, un camino euleriano es un camino que pasa por cada
arista una y solo una vez. Un ciclo o circuito euleriano es un camino cerrado que
recorre cada arista exactamente una vez. El problema de encontrar dichos caminos
fue discutido por primera vez por Leonhard Euler, en el famoso problema de los
puentes de Knigsberg.
En relacin con los ciclos eulerianos Carl Hierholzer public la primera
caracterizacin

completa

de

los

grafos

eulerianos

en 1873,

probando

matemticamente que de hecho los grafos eulerianos son exactamente aquellos grafos
que estn conectados con todos y donde cada uno de los vrtices tienen grado par.
Grafos etiquetados
Dentro de las matemticas, en la disciplina de teora de grafos, un grafo
etiquetado es la asignacin de etiquetas, tradicionalmente representada mediante

enteros, a las aristas o vrtices, o ambos, de un grafo. Formalmente, dado un grafo G,

un vrtice etiquetado es una funcin que hace corresponde vrtices de G a un
conjunto de etiquetas. Un grafo con tal funcin definida es llamado grafo de vrtices
etiquetados. De la misma manera, una arista etiquetada es una funcin de asignacin
de aristas de G tal conjunto de etiquetas. En este caso, G es llamado como grafo de
aristas etiquetadas. Cuando las etiquetas de las aristas pertenecen a un conjunto
ordenado (i.e., los nmeros reales), sta puede ser llamada como grafo ponderado.
Cuando es usado sin calificacin, el trmino grafo etiquetado generalmente se
refiere a un grafo con vrtices etiquetados con todas las etiquetas distintas. Tal grafo
puede ser equivalentemente etiquetado mediante enteros consecutivos {1, ..., n},
donde n es el nmero de vrtices en el grafo.1 Para muchas aplicaciones, a las aristas
y los vrtices le corresponde etiquetas que tienen un significado en el dominio
asociado. Por ejemplo, las aristas pueden ser asignadas mediante pesos que
representan el coste de atravesar entre los vrtices implicados.
En la definicin de arriba se entiende como grafo un grafo simple indirecto
finito. Sin embargo, la nocin de etiquetado puede ser aplicada a todas las
extensiones y generalizaciones de grafos. Por ejemplo, en teora de autmatas y teora
de lenguaje formal es conveniente considerar multigrafos etiquetados, i.e., un par de
vrtices puede ser conectado por varias aristas etiquetadas.
Arboles
Definiciones Bsicas
Hay un tipo especial de grafo, denominado arbol, que se presenta en mltiples
aplicaciones. En ciencias de la computacin los rboles son particularmente tiles.
Por ejemplo se utilizan para organizar informacin de tal modo que sea posible
efectuar eficientemente operaciones que atanan a esa informacin. Para construir
algoritmos eficientes para localizar artculos en una lista. Para construir cdigos
eficientes para almacenar y transmitir datos. Para modelar procedimientos que son

llevados a cabo al utilizar una secuencia de decisiones. Introduzcamos pes el

concepto de arbol.
Arbol
Un arbol es un grafo T = (V, E) a cclico y conexo
Dado que un arbol no puede tener ciclos, no podra contener ni aristas multiples ni
bucles, por lo tanto cualquier arbol debe ser un grafo simple.

Arboles Generadores
Un problema importante que est asociado a una red representada por un grafo
consiste en obtener un arbol que contenga todos los vrtices del grafo y algunas de
sus aristas para asegurar la conectividad, o lo que es lo mismo, un arbol generador del
grafo.
Arbol Generador
Un Arbol generador (spanning tree) de un grafo G es un subgrafo generador
de G que adems es un arbol.
Arboles de decisin
Una aplicacin frecuente del teorema 3.7 es al estudio de los arboles de
decisin. Cada vrtice interno de un arbol de decisin representa una decisin, y los
posibles resultados de la decisin, se representan por las aristas que conducen al
siguiente nivel. El resultado final del proceso est representado por las hojas del
arbol. Si el resultado de cada decisin es simplemente que una afirmacin es cierta o
es falsa, tenemos un arbol binario.
Un rbol de bsqueda binaria

Es un rbol binario T en el cual se asocian ciertos datos con los vrtices. Los
datos estn ordenados de modo que, para cada vrtice v en T, cada elemento de dato
en el subrbol izquierdo de v sea menor que el elemento de dato en v y cada elemento
de dato en el subrbol derecho de v es mayor que el elemento de dato en v.

Los arboles de bsqueda binaria son tiles para localizar datos. Es decir, dado
un elemento D, podemos determinar con facilidad si D est en un rbol de bsqueda
binaria y, de estar presente, conocer su posicin. Para determinar si un elemento de
dato D esta en un rbol de bsqueda binaria, comenzaramos en la raz. Luego
compararamos de manera sucesiva D con el elemento de dato del vrtice en cuestin.
Si D es igual al elemento de dato del vrtice en cuestin, hemos encontrado a D, por
lo cual habremos concluido. Si D es menor que el elemento de dato en el vrtice en
cuestin v, nos movemos al hijo izquierdo de v y repetimos el proceso. Si D es mayor
que el elemento de dato en el vrtice en cuestin v, nos movemos al hijo derecho de v
y repetimos el proceso. Si en algn momento no existe un hijo al cual moverse,
podemos concluir que D no est en el rbol.

CAPITULO 5
RELACIONES

1. Producto Cartesiano
Para empezar se entiende por producto cartesiano que emplea en el mbito de
la matemtica, ms precisamente en el campo del lgebra. El producto cartesiano
revela una relacin de orden entre dos conjuntos, constituyndose como un tercer
conjunto. El producto cartesiano de un conjunto A y de un conjunto B es el conjunto

constituido por la totalidad de los pares ordenados que tienen un primer componente
en A y un segundo componente en B.
Veamos un ejemplo. Si el conjunto A est formado por los elementos 3, 5, 7 y 9,
mientras que el conjunto B alberga los elementos m y r, el producto cartesiano de
ambos conjuntos es el siguiente:

A x B = {(3,m), (3,r), (5, m), (5,r), (7,m), (7,r), (9,r), (9,r)}

El producto cartesiano, por lo tanto, est formado por todos los pares ordenados que
se pueden formar a partir de dos ciertos conjuntos. Cada par ordenado se constituye
por dos elementos: el primer elemento pertenece a un conjunto y el segundo
elemento, al otro. Si seguimos con nuestro ejemplo, en el par ordenado (3,m), 3 es el
primer elemento (corresponde al conjunto A) y m es el segundo elemento
(perteneciente al conjunto B).
Supongamos que, en una casa, hay tres personas (Carlos, Juan y Antonia) y dos libros
(Rayuela y Cien aos de soledad). El producto cartesiano de ambos conjuntos
(personas y libros) estar formado por todos los repartos posibles de las obras
literarias entre los individuos.
P x L = {(Carlos, Rayuela), (Carlos, Cien aos de soledad), (Juan, Rayuela), (Juan,
Cien aos de soledad), (Antonia, Rayuela), (Antonia, Cien aos de soledad)}

Dicha informacin puede resultar til para crear un organigrama que especifique
cmo se distribuirn los dos libros para que todos tengan la oportunidad de leerlos en
algn momento.
2. Propiedades de las relaciones (reflexiva, irreflexiva, simtrica, asimtrica,
anti simtrica, transitiva)
Una relacin R en un conjunto A es reflexiva si (a, a) R para todas las a A,
esto es, si a R e para todas las a e A. Una relacin R en un conjunto A es irreflexiva si
a R a para toda a A. Por consiguiente, R es reflexiva si cada elemento a e A est
relacionado consigo mismo y es irreflexiva si ningn elemento est relacionado
consigo mismo.
Ejemplo 1:
(a) Sea ? = [(a, a)\ a A], de modo que A es la relacin de igualdad en el conjunto A.
Entonces A es reflexiva, ya que (a, a) ? para todas las a e A. Relaciones Simtricas y
Asimtrica
Una relacin R en un conjunto A es simtrica si cuando a R b, entonces b R a. De esto
se sigue que R no es simtrica se tiene a y b A con a R b, pero b R a. Una relacin R
en un conjunto A es asimtrica si cuando a R b, entonces b Ra. De esto se sigue que R
no es simtrica si se tiene a y b e A con ambos a R b y b R a. Una relacin R en un
conjunto A es asimtrica si cuando a R b y b R a, entonces a = b. Otra forma de
expresar esta definicin es diciendo que R es anti simtrica si cuando a ? b, se tiene a
R b o b R a. De esto se sigue que R no es anti simtrica si se tiene a y b en A. a ? b, y
ambas a R b y b R a.
Ejemplo Sea A = [a, b, c, d, e} y sea R la relacin simtrica dada por
R = {(a, b), (b, a), (a, c), (c, a), (b, c), (c, b), (b, e), (e, b), (e, a), (a, e), (c,a), (a,c)} El
grafo dirigido de R se muestra en la figura 2(a), mientras que en la figura
Relaciones Transitivas

Se dice que una relacin R en un conjunto A es transitiva si cuando a R b y b R e,

entonces a R c. Se sigue que R no es transitiva si y slo si se puede encontrar
elemento a, b y c en A tal que a R b y b R c, pero a R c. Ejemplo: Sea A = Z el
conjunto de los enteros y sea R la relacin considerada en el ejemplo 2 Para ver si R
es transitiva, se supone que a R b y b R c. Por consiguiente, a < b; b < c. Entonces se
sigue que a < c, por lo cual a R c. De aqu que R sea transitiva.
Una relacin R en un conjunto A es transitiva si y slo si satisface las siguientes
propiedades: Si existe una trayectoria de longitud mayor que 1 del vrtice a al vrtice
b, hay una trayectoria de extensin 1 de a a b (esto es, a est relacionada con b).
Establecido algebraicamente, R es transitiva si y slo si Rn R para todas las n = 1.

3. Relaciones de Orden
Decimos que una relacin binaria es de orden cuando cumple las propiedades
reflexiva, antisimtrica y transitiva. Cuando adems cumple la propiedad conexa,
diremos que el conjunto est totalmente ordenado, en caso contrario diremos que el
conjunto est parcialmente ordenado.
Por medio de una relacin de orden podemos establecer una ordenacin de un
conjunto a partir de un criterio. Aunque este criterio no tiene por que ser nico. Puede
que existan formas diferentes para ordenar el conjunto.
4. Representacin De Las Relaciones De Orden
Como mencionamos en el artculo de ayer, todas las relaciones se pueden
representar de dos formas, utilizando el diagrama cartesiano, Cuando representamos
una relacin de orden mediante el diagrama cartesiano, obtenemos los puntos de la
diagonal que divide al eje en dos, puntos de la forma (a,a) y ningn punto para los
valores en los que x<y. En cambio con el diagrama sagital cada elemento est

relacionado consigo mismo, y las puntas de las flechas solo tienen camino de ida, no
de vuelta.
Ejemplo: Representar la relacin R definida sobre el conjunto M={m,u,r,c,i,a}
mediante el grafo:
R(M)={(m,m), (u,u);(r,r);(c,c);(i,i);(a,a);(m,u);(c,i);(i,a);(c,a)}
Utilizando el diagrama cartesiano:
2. Ejemplo: La relacin ser mltiplo de sobre el conjunto de los nmeros naturales N,
es una relacin de orden.
Vamos a comprobar que se cumplen todas las propiedades:
1- Es reflexiva: ya que para todo elemento x, del conjunto N se cumple que xRx. Por
ejemplo: 2R2, ya que 2=21.
2- Es antisimtrica: Dados dos elementos cualesquiera se cumple que el uno est
relacionado con otro, pero no al contrario: xRy, pero x noR y. Por ejemplo: 4R2, pero
2 noR 4.
3- Es transitiva: Si un nmero es mltiplo de otro, que a su vez es mltiplo de otro, en
entonces el primer nmero es mltiplo del litmo: xRy, e yRz, entonces xRx. Por
ejemplo: 18R9, 9R3, entonces 18R3.
4-Pero no se cumple la propiedad conexa, ya que dados dos elementos cualesquiera,
estos no tienen por qu estar relacionados. Por ejemplo: si consideramos el 4 y el 5,
entonces 4 noR 5, y adems 5 noR4.
Luego, la relacin ser mltiplo de no es una relacin de orden total, por tanto R(N) es
un conjunto parcialmente ordenado.

5. Relacin de Equivalencia

Las relaciones de equivalencia son relaciones entre los elementos de un

conjunto cualquiera y su caracterstica principal es que abstraen el concepto de
igualdad. La importancia de estas relaciones consiste en que dividen a los elementos
del conjunto en diferentes clases, llamadas clases de equivalencia, de tal suerte que
cada elemento pertenece a una y slo una clase.
Tomemos un conjunto cualquiera
cual denotamos por

). Si

relacin de equivalencia en

y sean

est relacionado con

dos elementos en
escribiremos

(lo
. Una

es una relacin que satisface las siguientes

propiedades:
Reflexividad:
Simetra: si

para

toda

Transitividad: si

entonces
y

, entonces

en

.
.

Es fcil ver que la igualdad entre elementos de cualquier conjunto satisface las
propiedades anteriores. Veamos algunos ejemplos:
Ejemplo 1 Usemos como conjunto una bolsa de lunetas1 y como relacin: tiene el
mismo color que . Veamos que efectivamente es una relacin de equivalencia:
Reflexividad: toda luneta tiene el mismo color que s misma,

Simetra: si la luneta tiene el mismo color que la luneta , entonces la luneta tiene el
mismo color que la luneta ,

Transitividad: si tiene el mismo color que y el mismo color que , entonces tiene
el mismo color que .

Ejemplo 2

De manera anloga, es fcil ver que los siguientes ejemplos son

relaciones de equivalencia: Sea

relacin:

el conjunto de todos los seres humanos y la

tiene el mismo cumpleaos que .

a.

Sea todos

los seres humanos y la relacin:

tiene el mismo signo

del zodiaco que .

Sea todos

b.

los seres humanos y la relacin: tiene el

mismo signo del zodiaco que .

Notemos que en los ejemplos anteriores estamos usando el mismo conjunto
$ X$ y dos relaciones diferentes en l. Estas relaciones se pueden comparar, porque
si dos personas tienen el mismo cumpleaos, entonces tienen el mismo signo del
zodiaco, es decir, la relacin en el ejemplo a) implica la relacin en el ejemplo b),
pero no al revs, pues hay personas que son Gminis pero que tienen cumpleaos
distintos.
6. Clausura De Una Relacin:
Clausura Reflexiva: Es la menor relacin reflexiva que contiene a la dada. Si
la relacin es reflexiva, es su propia Clausura Transitiva. Si la relacin est dada por
una matriz booleana, la Clausura Reflexiva se obtiene completando con 1 la diagonal
principal.
Clausura Simtrica: Es la menor relacin simtrica que contiene a la dada. Si
una relacin es simtrica, es su propia Clausura Simtrica. Si la relacin est dada
como matriz booleana, se cambian los 1 por 0 necesarios para que sea simtrica
respecto de la diagonal principal.
Clausura Transitiva: Es la menor relacin transitiva que contiene a la dada. Si
la relacin es transitiva, es su propia Clausura Transitiva.
7. Conjunto Parcialmente Ordenado

En matemticas, especialmente en teora del orden, un conjunto parcialmente

ordenado (o poset, del ingls partially ordered set) es un conjunto equipado con una
relacin binaria de orden parcial. sta formaliza el concepto intuitivo de orden,
secuencia, o arreglo de los elementos del conjunto. Un tal orden no necesariamente
debe ser total, es decir, no se necesita que se puedan comparar unos con otros todos
los elementos del conjunto; esto sin embargo puede ocurrir en algunos casos (en otras
palabras, el orden total es un caso particular del orden parcial).
Un orden parcial es una relacin binaria R sobre un conjunto X que es
reflexiva, antisimtrica, y transitiva, es decir, para cualesquiera a, b, y c en X se tiene
que:

aRa (reflexividad).
Si aRb y bRa, entonces a = b (antisimetra).
Si aRb y bRc, entonces aRc (transitividad).

Un conjunto con un orden parcial se denomina conjunto parcialmente

ordenado o poset. A veces se usa la expresin conjunto ordenado para uno
parcialmente ordenado, siempre que quede claro que no se har referencia a otras
clases de orden. En particular, a un conjunto totalmente ordenado tambin se lo llama
ordenado a secas, en especial en campos donde stos son ms comunes que los
parcialmente ordenados.
Usualmente se usa la notacin de "" en lugar de "R" para el orden parcial.
Ejemplos:
Conjunto de los subconjuntos de {x,y,z}, ordenado por inclusin.
Algunos de los ejemplos ms conocidos son los siguientes:

El conjunto de los naturales con su orden usual (la relacin "menor o igual").

Este orden es adems un orden total.

El conjunto de los enteros con su orden usual. Este orden es tambin total.

Un subconjunto finito {1, 2,..., n} de los naturales. Este orden es tambin

total.
El conjunto de naturales ordenado por la relacin de divisibilidad.
El conjunto de subconjuntos de un conjunto dado (i.e. su conjunto de partes)

ordenado por inclusin.

El conjunto de subespacios de un espacio vectorial, ordenado por inclusin.
El conjunto de subespacios de una topologa, ordenado por inclusin.

8. Diagrama de Hasse
Un diagrama de Hasse es una representacin grfica simplificada de un
conjunto parcialmente ordenado finito. Esto se consigue eliminando informacin
redundante. Para ello se dibuja una arista ascendente entre dos elementos solo si uno
sigue a otro sin haber otros elementos intermedios.
En un diagrama de Hasse se elimina la necesidad de representar:

ciclos de un elemento, puesto que se entiende que una relacin de orden

parcial es reflexiva.
aristas que se deducen de la transitividad de la relacin.

De dos miembros x e y de un conjunto parcialmente ordenado S que y sigue a x

si x y y no hay elemento de S entre x e y. El orden parcial es entonces precisamente
la clausura transitiva de la relacin de seguir.
El diagrama de Hasse de S se define como el conjunto de todos los pares
ordenados (x, y) tales que y sigue a x, es decir, el diagrama de Hasse se puede
identificar con la relacin de seguir
Ejemplo
Concretamente, uno representa a cada miembro de S como un punto negro en
la pgina y dibuja una lnea que vaya hacia arriba de x a y si y sigue a x.

Por ejemplo, sea el conjunto A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} (todos los
divisores de 60). Este conjunto est ordenado parcialmente por la relacin de
divisibilidad. Su diagrama de Hasse puede ser representado como sigue:

Por ejemplo, en el diagrama de Hasse del poset de todos los divisores de un

nmero n, ordenados parcialmente por divisibilidad, n mismo est en el tope del
diagrama, el nmero 1 estara en el fondo, y los divisores ms pequeos (primos)
seguiran al elemento inferior.

9. Algebra de Boole
Resea Histrica
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 matemticas. 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 teora 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, importancia que se ha ido incrementando hasta nuestros das, en el manejo
de informacin digital (por eso hablamos de Lgica Digital). Gracias a ella, Shannon
(1930) pudo formular su teora 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 Sistema Binario. Al igual que en
lgebra tradicional, tambin se trabaja con letras del alfabeto para denominar
variables y formar ecuaciones para 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 en transistores. 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 mquinas,
etctera. 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 programacin de 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 matemtica que subyace en ella.

lgebra Booleana

El lgebra booleana es un sistema matemtico deductivo centrado en los

valores 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 booleano, 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.

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) = (AB)
+(AC) y A+ (BC) = (A+B) (A+C).

P5 Para cada valor A existe un valor A' tal que AA' = 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).
Es posible probar todos los teoremas del lgebra booleana utilizando stos
postulados, adems es buena idea familiarizarse con algunos de los teoremas ms
importantes de los cuales podemos mencionar los siguientes:

Teorema 1: A + A = A

Teorema 2: A A = A

Teorema 3: A + 0 = A

Teorema 4: A 1 = A

Teorema 5: A 0 = 0

Teorema 6: A + 1 = 1

Teorema 7: (A + B)' = A' B'

Teorema 8: (A B)' = A' + B'

Teorema 9: A + A B = A

Teorema 10: A (A + B) = A

Teorema 11: A + A'B = A + B

Teorema 12: A' (A + B') = A'B'

Teorema 13: AB + AB' = A

Teorema 14: (A' + B') (A' + B) = A'

Teorema 15: A + A' = 1

Teorema 16: A A' = 0

Los teoremas siete y ocho son conocidos como Teoremas de DeMorgan en
honor al matemtico que los descubri.

Caractersticas:

Un lgebra de Boole es un conjunto en el que destacan las siguientes

caractersticas:

Se han definido dos funciones binarias (que necesitan dos parmetros)

que

llamaremos

aditiva

(que

representaremos

por

+ y) y multiplicativa (que representaremos por xy) y una funcin

monaria (de un solo parmetro) que representaremos por x'.

Se han definido dos elementos (que designaremos por 0 y 1)

Y 3- Tiene las siguientes propiedades:

Funcin Booleana.

Una funcin booleana es una de A x A x A x....A en A, siendo A un conjunto

cuyos elementos son 0 y 1 y tiene estructura de lgebra de Boole.
Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayora. Cada uno
puede votar si o no. Representemos el voto de cada uno por xi. La funcin devolver
s (1) cuando el numero de votos afirmativos sea 3 y en caso contrario devolver 0.
Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0.
Producto mnimo (es el nmero posible de casos) es un producto en el que aparecen
todas las variables o sus negaciones.
El nmero posible de casos es 2n.

Referencia Bibliogrfica

Johnson baugh Richard - 2005 Matemticas Discretas Sexta Edicin

Prentice Hall
ROSEN, K.H.: "Matemtica Discreta y sus Aplicaciones". Ed. McGraw-Hill,
2004.

WEB

http://www.monografias.com/trabajos21/matematica-discreta/matematica-

discreta.shtml#relaciones#ixzz3O07kj96B
Relacin
de
orden
|
La

http://matematica.laguia2000.com/general/relacion-de-orden#ixzz3NyktR7Ui
Definicin de producto cartesiano - Qu es, Significado y Concepto

Gua

http://definicion.de/producto-cartesiano/#ixzz3NybeQdvt

de

Matemtica