Logica Matematica 2015-1

Notas de Clases de Lgica Matemtica (Borrador, Draft)
Carlos Alberto Banquet Brango

Departamento de Matemticas y Estadstica
Universidad de Crdoba
Montera, Colombia
Abril de 2015
Prefacio
Este libro est diseado para ser desarrollado en el primer semestre del programa de Ingeniera
de Sistemas . . . ..
ii
ndice general
Prefacio
ii
1. Lgica Informal
1.1.
Introduccin.
1.2.
Armaciones o Enunciados.
1.4.
Operaciones Bsicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Relaciones entre Armaciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1.
Implicaciones Importantes.
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.2.
Equivalencias Importantes.
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Argumentos Vlidos.
1.4.1.
1.5.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Cuanticadores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
1.5.1.
Cuanticador Universal.
13
1.5.2.
Cuanticador Existencial.
1.5.3.
1.6.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1.
1.3.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Reglas de Inferencia.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Negando armaciones con Cuanticadores.
Ejercicios
14
. . . . . . . . . . . . . . . . . . .
14
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
2. Conjuntos
18
2.1.
Deniciones Bsicas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.
Operaciones entre Conjuntos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
18
19
iv
ndice general
2.2.1.
2.3.
lgebra de Conjuntos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conjuntos Finitos y Principio de Conteo
. . . . . . . . . . . . . . . . . . . . . . . . .
3. Cdigos y Sistemas de Numeracin

3.1.
Sistema de Numeracin Decimal
3.2.
Sistema de Numeracin Binario
3.2.1.
Conteo en Binario
21
26
32
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
3.3.
Sistema de Numeracin Octal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
3.4.
Sistema de Numeracin Hexadecimal . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
3.5.
Conversin entre Sistemas de Numeracin
. . . . . . . . . . . . . . . . . . . . . . . .
36
3.5.1.
Conversin Decimal a Binario . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
3.5.2.
Conversin del Sistema Decimal al Octal . . . . . . . . . . . . . . . . . . . . .
38
3.5.3.
Conversin del Sistema Decimal a Hexadecimal
. . . . . . . . . . . . . . . . .
39
3.5.4.
Conversin entre los Sistemas Binario y Octal . . . . . . . . . . . . . . . . . .
40
3.5.5.
Conversin entre los Sistemas Hexadecimales y Binario . . . . . . . . . . . . .
41
Operaciones Aritmticas en el Sistema Binario . . . . . . . . . . . . . . . . . . . . . .
42
3.6.1.
Suma Binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
3.6.2.
Resta Binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
3.6.3.
Multiplicacin Binaria
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
3.6.4.
Divisin Binaria
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
3.6.
3.7.
Ejercicios
4. lgebra de Boole
4.1.
Denicin y Propiedades Bsicas
4.2.
Expresiones o funciones booleanas
46
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
4.2.1.
Forma normal disyuntiva
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
4.2.2.
Forma normal conjuntiva
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
ndice general
4.2.3.
4.3.
4.4.
4.5.
Como pasar de una forma a otra (Conjuntiva
. . . . . . . . .
54
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
4.3.1.
Mapas de Karnaugh de dos variables . . . . . . . . . . . . . . . . . . . . . . .
55
4.3.2.
Mapas de Karnaugh de tres variables . . . . . . . . . . . . . . . . . . . . . . .
55
4.3.3.
Mapas de Karnaugh de cuatro variables
56
4.3.4.
Algoritmo de Minimizacin mediante Mapas de Karnaugh
Mapas de Karnaugh
Disyuntiva)
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . .
56
Compuertas lgicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
4.4.1.
Compuerta NAND
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
4.4.2.
Compuerta NOR
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
Ejercicios
vi
ndice general
Captulo 1
Lgica Informal
1.1. Introduccin.
La lgica es la ciencia de los principios de inferencia o razonamientos formalmente vlidos; esta
se ocupa de la validez de los razonamientos y no de la verdad o falsedad de los enunciados que la
componen. En Matemticas la lgica es el esqueleto sobre el cual se realizan las pruebas o demostraciones.
1.2. Armaciones o Enunciados.

Denicin 1.1
(Armacin).
Intuitivamente una armacin es algo que expresamos (en forma oral,
escrita o de cualquier otra manera) y que en un contexto dado es inequvocamente cierto o falso.
Ejemplo 1.2. La capital de Colombia es Bogot y debajo de la torre Eiel hay un carro rojo.
Ambas son armaciones. De la primera no tenemos duda si es verdadera o falsa y de la segunda
no hay certeza, sin embargo, tambin es una armacin y no es necesario estar en la capacidad de
saber personalmente la respuesta.
Ejemplo 1.3. Viajar en la noche y mirar televisin. No son armaciones. De stas no se puede
decir que sean verdaderas o falsas.
Toda armacin es verdadera o falsa y no hay una armacin que sea verdadera y falsa al mismo
tiempo. Esta suposicin le llamamos la
Ley del Medio Excluido.
La mayora de los matemticos
la aceptan, sin embargo, algunos demasiado formales se rehusan a usarla. Una consecuencia de esta
suposicin es que si una armacin no es falsa tendr que ser verdadera.
A partir de armaciones podemos construir otras armaciones. Teniendo como base las armaciones:
P:
La capital de Colombia es Bogot,
Q:
1
debajo de la torre Eiel hay un carro rojo,
Captulo 1.
podemos construir nuevas armaciones, por ejemplo:
debajo de la torre Eiel hay un carro rojo,
Q:
Q:
Lgica Informal
La capital de Colombia es Bogot y
La capital de Colombia es Bogot o debajo de
la torre Eiel hay un carro rojo.
1.2.1. Operaciones Bsicas.

Las palabras y, o, no, si,..., entonces, si y slo si, nos permitirn hacer nuevas armaciones
y adems, conociendo los valores de verdad de las armaciones que componen la nueva armacin,
podremos deducir el valor de verdad de esta. Dichas palabras tienen una notacin especial y su
sentido en matemticas es preciso.
1.
Conjuncin:
armacin
(Corresponde al y del lengua je comn). Sean P y Q armaciones. La

P Q se lee P y Q e intuitivamente es verdadera si ambas son verdaderas y
falsa si alguna de ellas es falsa, pero su denicin precisa se consigna en la siguiente tabla, que
llamamos tabla de verdad.
En el lenguaje comn la palabra
y
P Q
podra tener otros signicados, sin embargo para nosotros
el signicado es el que nos da la tabla.
2.
Disyuncin:
Q,
(Corresponde al
intuitivamente
P Q
o
del lengua je comn). La armacin
P Q
se lee
es verdadero si cualquiera de las dos armaciones lo es o si ambas lo
son. De forma mas precisa:
P Q
Este es un o inclusivo y no exclusivo. En el lengua je coloquial muchas veces no se permite

que ambas sean verdaderas. Por ejemplo: Despus del almuerzo como postre o me lavo los
dientes. En la armacin anterior dada en lenguaje comn uno entiende que no har las dos
cosas despus de almuerzo. Aqu el o es exclusivo, pero en el lenguaje matemtico el o que
se usa es el inclusivo.
3.
Negacin:
intuitivamente
(Corresponde al
no
es falso cuando
denicin precisa de la negacin es:
del lenguaje comn). La armacin

es verdadero y
es verdadero cuando
se lee no
P ,
no lo es. La
1.2.
Armaciones o Enunciados.
Por ejemplo, si P: La capital de Colombia es Bogot, su negacin ser
P:
La capital de
Colombia no es Bogot.
4.
Condicional:
P Q
verdadera y que
si,..., entonces...
(Corresponde al
se lee Si
P,
Q.
entonces
del lenguaje comn). La armacin
Intuitivamente es verdadera si nunca ocurre que
sea
sea falso al mismo tiempo. La denicin precisa es:
P Q
Las dos primeras lneas son creibles, las dos ltimas nos cuestan ms trabajo. Tratemos de
entenderlas con el siguiente ejemplo: Si tu madre diceSi ganas Clculo Diferencial, entonces
te compro un computador. Es claro que si ganas Cculo y tu madre compra el computador,
entonces la armacin condicional se verica. Tambin es claro que si ganas Cculo y tu madre
no compra el computador, la armacin condicional no se verica. Pero tambin es cierto que
si no ganas Clculo, entonces tu madre puede o no comprar el computador, en estos casos
debemos pensar que la armacin es cierta.
P Q
se puede escribir
consecuente.
Q P.
Usualmente a
lo llamamos el
antecedente
y a
el
As pues, los dos ltimos renglones de la tabla los interpretamos as: Si el ante-
cedente es falso, cualquier cosa puede ocurrir con el consecuente.
P Q
tambin se lee si
entonces
Q; Q
dado que
P, Q; Q
P ; P es
si
P ; P
Q; Q siempre que P ; suponiendo P ,

Q y Q es necesario para P .
slo si
suciente para
En el siguiente ejemplo todas las armaciones quieren decir lo mismo.
Ejemplo 1.4.
Si
b)
p = 2m
c)
d)
p = 2m
e)
Suponiendo que
f)
g)
5.
a)
para algn
mZ
, si
es un nmero par slo si

para
mZ
p
para algn
sea par.
sea par entonces
p = 2m
siempre que
mZ
para algn
m Z.
es par.
para algn
Bicondicional.
p = 2m
es par es suciente para que
p = 2m
p = 2m
es un nmero par,
p = 2m
m Z.
para algn
para algn
es necesario para que
m Z.
m Z.
sea par.
Si y slo si . La armacin P Q intuitivamente nos dice que es

P y Q sean ambas verdaderas o ambas falsas, pero que es falsa en caso
verdadera siempre que
contrario. Ms precisamente:
Captulo 1.
P Q
Lgica Informal
Ejemplo 1.5. Yo estudiar Clculo Diferencial hoy si y slo si tu lo haces tambin. Esto se
verica si ambos estudiamos o ambos no lo hacemos, pero claramente si yo lo hago y tu no lo
haces no se verica (o viceversa). Es decir, no puede ser el caso que uno estudie y el otro no.
P Q, P si y slo si Q, P si y solamente si Q, P es necesario

Q. Tambin podemos escribir a Q P en vez de P Q. Algunas veces
Otras formas de leer
y suciente para
abreviamos si y slo si por sii.
Con estas cinco operaciones bsicas
, , ,
Ejemplo 1.6. Qu signicado tiene
podemos armar armaciones ms complicadas.
P (Q R)?
Esto lo podemos ver en una tabla de verdad.
Q R
P (Q R)
esta tabla la podemos resumir de la siguiente forma:
[P
(Q
R)]
En la columna en negrilla queda el valor de verdad de
P (Q R).
Obsrvese el papel que desempean los parntesis en la armacin

como la puntuacin en el lengua je comn y elimina ambigedades.
P (Q R). Ellos funcionan
1.3.
Relaciones entre Armaciones.
Ejercicio 1.7. Hacer la tabla de
(P Q) R
y compararla con la tabla de
P (Q R).
Una
Tautologa
es una armacin que siempre es verdadera, sin importar el valor de verdad de
sus componentes.
Ejercicio 1.8. La armacin
Una
Contradiccin
P P
es una tautologa. En efecto observemos su tabla de verdad.
P P
es una armacin que siempre es falsa sin importar el valor de verdad de
sus componentes.
P P
es una contradiccin. Esto lo vemos en su tabla de verdad.
P P
(X Y ) ( X Y )
es una tautologa. En efecto veamos su tabla
de verdad
(X Y )
( X
1.3. Relaciones entre Armaciones.

Las relaciones entre armaciones no son propiamente armaciones sino algo que llamamos
Meta-
armaciones.
Ejemplo 1.11. Las siguientes frases son Meta-armaciones: Si la armacin Juan es alto y Pedro
es bajo es verdadera, entonces esto implica que la armacin Pedro es bajo es verdadera. La
armacin Juan tiene el cabello negro o Rosa tiene el cabello rojo es equivalente a la armacin
Rosa tiene el cabello rojo o Juan tiene el cabello negro.
Podemos decir entonces que una meta-armacin es algo que se expresa de algunas armaciones. Esta clase de meta-armaciones son nuestros prototipos principales. La del primer ejemplo es
Captulo 1.
Lgica Informal
llamada implicacin que es anlogo al condicional, y la del segundo ejemplo es llamada equivalencia,
anloga al bicondicional y nos ayudar a construir argumentos vlidos.
Denicin 1.12
P Q
(Implicacin).
P Q
(lase
implica
Q).
Diremos que
P Q
si la armacin
es una tautologa. Es decir, debe ser cierta en cualquier circunstancia, no importando los
valores de verdad de las componentes P y Q.
Obsrvese que el condicional no es lo mismo que la implicacin.

mientras que
valores de
P Q
Q para
es una meta-armacin. En realidad
P Q
que
P Q
P Q
es una armacin,
nos dice que no importan los
sea verdadera y por eso se puede decir que
siempre implica
Q.
1.3.1. Implicaciones Importantes.

Las siguientes implicaciones son ciertas y sern muy usadas en la construccin de argumentos
vlidos.
Sean
P, Q, R
armaciones.
1.
[(P Q) P ] Q
2.
[(P Q) Q] P
3.
(P Q) P
(Simplicacin).
4.
(P Q) Q
(Simplicacin).
5.
Q (P Q)
(Adicin).
6.
P (P Q)
(Adicin).
7.
[(P Q) P ] Q
(Modus Tollendo Ponens).
8.
[(P Q) Q] P
(Modus Tollendo Ponens).
9.
(P Q) (P Q)
(Bicondicional-Condicional).
10.
(P Q) (Q P )
11.
[(P Q) (Q P )] (P Q)
(Condicional-Bicondicional).
12.
[(P Q) (Q R)] (P R)
(Silogismo Hipotetico).
13.
[(P Q) (R S) (P R)] (Q S)
(Modus Ponens).
(Modus Tollens).
(Dilema Constructivo).
Al decir que estas implicaciones son ciertas, lo que estamos diciendo es que los condicionales
correspondientes son tautologas. Probemos por ejemplo el Modus Tollendo Ponens. Para esto
debemos ver que
de verdad.
[(P Q) P ] Q
es una tautologa y esto lo hacemos por medio de una tabla
1.3.
Relaciones entre Armaciones.
[(P Q)
P]
Luego es tautologa. Observamos que en el lenguaje comn una armacin de Modus Tollendo Ponens
es muy lgica. Por ejemplo Juan tiene ojos verdes o Rosa el cabello rojo, pero Juan no tiene o jos
verdes, luego Rosa tiene el cabello ro jo.
Denicin 1.13. Diremos que P equivale a

denota por
P Q.
Se puede ver que
P Q
Q
P Q es una tautologa. Esto se

slo si P Q y Q P son ambas
si la armacin
es verdadero si y
verdaderas.
Observe que
P Q
no es lo mismo que
P Q,
pues la primera es una meta-armacin y la
segunda es una armacin.
1.3.2. Equivalencias Importantes.

Las siguientes armaciones sern tambin vlidas en la construccin de argumentos vlidos.
1.
( P ) P
2.
(P Q) (Q P )
(Ley Conmutativa).
3.
(P Q) (Q P )
(Ley Conmutativa).
4.
[(P Q) R] [P (Q R)]
(Ley Asociativa).
5.
[(P Q) R] [P (Q R)]
(Ley Asociativa).
6.
[P (Q R)] [(P Q) (P R)]
(Ley Distributiva).
7.
[P (Q R)] [(P Q) (P R)]
(Ley Distributiva).
8.
(P Q) ( P Q)
9.
(P Q) ( Q P )
(Doble negacin).
(Denicin Alterna del Condicional).
(Contrarrecproco).
10.
(P Q) (Q P )
11.
(P Q) [(P Q) (Q P )]
12.
[ (P Q)] ( P Q)
(Ley de De Morgan).
13.
[ (P Q)] ( P Q)
(Ley de De Morgan).
(Simetra).
Captulo 1.
14.
[ (P Q)] (P Q)
15.
[ (P Q)] [(P Q) ( P Q)]
Probemos que
Lgica Informal
(Negacin del Condicional).
[ (P Q)] (P Q).
(Negacin del Bicondicional).
En efecto, debemos mostrar que el bicondicional corres-
pondiente es una tautologa. Lo cual se ve claramente en la siguiente tabla.
(P Q)]
(P Q)
1.4. Argumentos Vlidos.

Las pruebas que hemos hecho hasta ahora han sido por medio de tablas de verdad, sin embargo,
lo usual en matemticas es el de dar armaciones que se van encadenando a partir de unas hiptesis
hasta llegar paso a paso a una conclusin deseada. En esta seccin miraremos este proceso desde
el punto de vista de la lgica, sin embargo a partir del captulo siguiente haremos pruebas como se
hacen en matemticas, sin tener explcitas las reglas de la lgica, aunque de todas formas reconoceremos que ellas estn all detrs guindonos en las pruebas.
Argumento.
Segun la lgica es una coleccin de armaciones, siendo la ltima llamada la conclu-
sin y el resto se llaman las premisas.
Argumento Vlido.
Es aquel argumento cuya conclusin se sigue necesariamente de las premisas.
Por ejemplo, si las premisas fueran todas verdaderas, la conclusin no podra ser falsa.
Observemos el siguiente argumento lgico.
Ejemplo 1.14. Interprete simbolicamente el siguiente argumento: Si Rosa est bailando o est
comiendo, entonces est en su casa. Si Rosa est leyendo entonces no est en su casa. Rosa est
bailando, entonces no est leyendo.
Solucin. Para hacer la interpretacin denamos
A, B, C
de la siguiente forma.
A = Rosa est bailando.

B = Rosa est comiendo.
C = Rosa est en su casa.
D = Rosa est leyendo.
As que de forma simblica el argumento queda de la siguiente forma.
A
D
A
D
B
C
1.4.
Argumentos Vlidos.
Lo anterior es lo mismo que
[(A B C) (D C) A] D.
Observa los parntesis y
corchetes como hacen su trabajo. Y podramos hacer una tabla de verdad para probar que es una
tautologa, pero sta se hace demasiado larga y tediosa. En vez de seguir usando tablas de verdad,
daremos una reglas de inferencia que nos permitirn ir produciendo los encadenamientos necesarios
para llegar a la conclusin.
1.4.1. Reglas de Inferencia.

Las reglas de inferencia provienen de las listas de implicaciones y equivalencias vistas anteriormente. Aunque destacaremos slo las ms importantes aclaramos que cualquiera de las implicaciones
o equivalencias vistas permiten extraer reglas de inferencia. Ahora las escribiremos en diferente formato.
Modus Ponens.
P
P
Q
Modus Tollens.
P
Q
P
P
P
Doble Negacin.
P
P
Repeticin.
P
P
Simplicacin.
P
P
Adjuncin.
P
Q
10
Captulo 1.
P
Q
P
Lgica Informal
Adicin.
P
P
P
P
Q
P
P
Q
P
P
Q
P
P
Q
Modus Tollendo Ponens.
Bicondicional.
Q
Q
Q
P
Condicional Bicondicional.
P
Q
P
Q
P
Q
P
Q
P
Q
R
R
P
R
P
Q
Q
S
R
S
Silogismo Hipottico.
Dilema Constructivo.
Estas reglas de inferencia nos permitirn construir los argumentos vlidos. Repetimos que aqu hemos
listado slo las ms importantes, pero debemos saber que hay muchas otras reglas de inferencia. Cada
vez que se tenga una implicacin o una equivalencia ella facilita una regla de inferencia.
1.4.
Argumentos Vlidos.
11
Ejemplo 1.15. Usemos nuestras reglas para justicar nuestro argumento en el cual concluimos que
Rosa no est leyendo. Simblicamente ste es.
AB
D
A
D
C
C
Solucin:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
AB
D
A
A B
C
C
D
C
C
Las premisas no necesitan justicacin
(3) y Adicin.
(1) y (4) Modus Ponens.
(5) Doble Negacin.
(2) y (6) Modus Tollens.
Esta clase de prueba, a menudo llamada una derivacin por los lgicos, es una serie de armaciones conectadas con meta-armaciones que son justamente las justicaciones que estamos escribiendo
en la segunda columna. Ntese que las tres primeras armaciones, que son las premisas no las justicamos. Si un argumento tiene una derivacin se dice que es derivable. La derivabilidad no depende
del valor verdad de las premisas o de la conclusin. Para un argumento puede haber distintas derivaciones.
Ejemplo 1.16. Veamos otra derivacin del argumento anterior.
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
AB
D
A
A B
C
C
C
C
A B
D
C
C
(3) y Adicin.
D
C
C
D
D
(2) y Contrarrecproco.
Doble Negacin.
(6) y Bicondicional-Condicional.
(7), (5) y Silogismo Hipottico.
(1) y (8) Silogismo Hipottico.
(9) y (4) y Modus Ponens.
Aparentemente estamos hablando de dos cosas diferentes cuando decimos argumento vlido y
argumento derivable. Sin embargo (aunque no es fcil de probar), tenemos que un argumento es
vlido si y slo si es derivable. As pues, para mostrar que un argumento es vlido lo que debemos
mostrar es que es derivable, en vez de tratar de hacerlo por medio de tablas de verdad. Para mostrar
12
Captulo 1.
Lgica Informal
que un argumento es invalido lo que debemos es tratar de encontrar algunos valores de verdad en las
componentes de las armaciones de tal manera que todas las premisas resultan verdaderas excepto
la conclusin.
El argumento del siguiente ejemplo es invlido.
Ejemplo 1.17.
A
S
A
R
En efecto, si suponemos que
S H
es
y que
AH
es
tambin
R
H
H
S
V ; R es V ; S es F y H es V obtenemos que A R es V ;
es V , pero R S es falso. Esto nos permite concluir que el
argumento es invlido. Pero debemos tener cuidado, porque con otra escogencia de valores podra
ser que todo, premisas y conclusiones, fueran verdaderas.
En un argumento debemos tener cuidado para que las premisas no sean contradictorias entre s, ya
que de algo falso se puede inferir cualquier cosa.
Hgamos un ejemplo ms.
Ejemplo 1.18. Determine si el siguiente argumento es vlido o no.
Q P
QR
( P S)
(R S)
Solucin: En este caso se tiene lo siguiente.
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
Q P
QR
( P S)
P Q
P R
P S
P
S
R
R S
( R S)
(R S)
Por tanto el argumento es vlido.
(1) y Contrarecproco.
(2), (4) y Silogismo Hipottico.
(3) y Ley de Morgan.
(6) y Simplicacin.
(6) y Simpliicacin.
(5), (7) y Modus Ponens.
(8), (9) y Adjuncin.
(10) y Ley de Morgan
(11) y Denicin Alterna del Condicional.
1.5.
Cuanticadores.
13
1.5. Cuanticadores.
A veces encontramos expresiones, que involucran variables, tales como
8 x3 ; y 2 = 3 x+y 2 = 7
de las cuales no podemos decir que sean expresiones verdaderas o falsas, a menos que digamos algo
sobre las variables. Mientras no se haya especicado como son las variables, dichas variables se llaman libres. Una expresin con variables libres no es una armacin.
Retomemos
8 x3 .
Para todo nmero real
Preguntmonos cundo sera cierta dicha armacin. La respuesta sera:
2 x, 8 x3 ".
Esta nueva expresin si es una armacin, all la variable
no es libre, pues hemos puesto condiciones para ella. En este caso decimos que la variable est amarrada, acotada o delimitada. Esta variable la hemos amarrado por medio de la expresin Para todo
nmero real
2 x".
Esta expresin es un ejemplo de un cuanticador. Tambin podramos haber
dicho. Para todo nmero real

que
x < 1, 8 x3 ",
pero esta ltima armacin es falsa. Podemos decir
est delimitada por el cuanticador Para todo nmero real
x < 1".
En otras palabras cuando tengamos expresiones donde aparezcan variables libres, las podemos
convertir en armaciones amarrando"sus variables por medio de sus cuanticadores, el objeto de
estos es el de darle condiciones a las variables.
Debemos ser muy cuidadosos en el manejo de los cuanticadores. Es muy fcil introducir errores si
ellos no se manejan bien. Muchas veces es recomendable usar la simbolizacin matemtica de ellos
para poder usarlos mejor. En el lenguaje corriente se es muy impreciso en el uso de los cuanticadores, sin embargo en el lengua je matemtico no debe haber duda con su manejo.
La frase Alguien es golpeado por un carro cada hora qu signica? Que una misma persona es
golpeada por un carro cada hora. No!, lo que queremos decir es que para cada hora existe una persona
que es golpeada por un carro. La segunda frase es ms precisa que la primera. Por qu lo es? Veremos
que ella se adeca ms al lenguaje matemtico, cuando hay dos cuanticadores. Por eso, cuando
veamos que hay armaciones que involucran cuanticadores es conveniente reescribir simblicamente
para que los cuanticadores se vean explcitamente y los podamos manejar correctamente.
1.5.1. Cuanticador Universal.

Denicin 1.19. Sea
P (x)
una expresin donde
aparece libre. Sea
la coleccin de los posibles
x. Un cuanticador universal aplicado a P (x) produce una armacin denotada por (x

U )P (x) la cual es verdadera si P (x) es verdadera para todos los posibles valores de x y falsa en
valores de
en
otro caso.
En lo que sigue denotaremos por
N = {1, 2, 3, 4, ...}.
al conjunto de los nmeros naturales y recordemos que
14
Captulo 1.
Lgica Informal
Ejemplo 1.20. La armacin
( x
en
N)(x + 1 0)
x satisface que x 1, por tanto x+1 2 > 0. Pero (x en R)(x+1

0) es falsa, porque no todos los valores de x en R hacen que x + 1 sea mayor o igual que cero. Por
ejemplo tome x = 6 y note que en este caso x + 1 = 6 + 1 = 5 < 0.
es verdadera, pues todo natural
U se sobreentiende por el contexto, entonces escribimos siplemente (x)P (x). La

armacin (x en U )P (x) se puede leer de cualquiera de las siguientes formas: Para todos los valores
de x en U , la armacin P (x) es verdadera; la armacin P (x) es verdadera para todo x en U ; todos
los valores de x en U satisfacen P (x); para todo x en U se tiene P (x); para todo x en U , P (x).
Si la coleccin
Ejemplo 1.21. Sea

del mundo.
(x
en
P (x) la armacin
D)P (x) quiere decir
el perro
es caf. Sea
la coleccin de todos los perros
Todo perro en el mundo es caf, la cual indudablemente
es falsa. Obsrvese que cuando se amarra la variable ya no la necesitamos explicitar, esto tambin
quiere decir que el nombre de la variable es intrascendente. As pues, las armaciones
y
(z
en
D)(P (z))
(x en D)P (x)
tienen el mismo signicado.
1.5.2. Cuanticador Existencial.

Denicin 1.22. Sea
P (x)
una expresin donde
x aparece libre. U
a P (x) produce una
x. Un cuanticador existencial aplicado

en U )P (x) la cual es verdadera, si y slo si es verdadera
coleccin U . Si esto no se cumple entonces es falsa.
valores de
es una coleccin de posibles

armacin denotada por
al menos para algn valor de
(x
en la
Ejemplo 1.23. La armacin Existe un estudiante en esta clase de cabello negro. Quiere decir
que hay uno, dos, tres o ms estudiantes que tienen cabello negro.
(x en U )P (x) es verdadero, entonces (x en U )P (x) tambin lo es. La armacin

(x en U )P (x) se puede leer de cualquiera de las siguientes formas: Existe un x en U tal que P (x)
se satisface; para algn valor de x, tenemos que P (x) es cierto; existe algn x en U tal que P (x) es
verdadero; existe al menos un valor x en U tal que P (x) se satisface.
En particular si
Ejemplo 1.24. Si
entonces
(x
en
P (x)
D)P (x)
es la armacin: El perro es caf.
Obsrvese que la implicacin
1.5.3.
es la coleccin de todos los perros,
es verdadero.
(x)P (x) (x)P (x)
es cierta; pero no al revs.
Negando armaciones con Cuanticadores.
Ejemplo 1.25. Neguemos: Todo alumno en este saln tiene cabello negro. Para ello basta decir
Existe un alumno en este saln que no tiene el cabello negro.
1.6.
Ejercicios
15
Esta es la clave:
(x)P (x) (x)( P (x))
Obsrvese que para negar el primer ejemplo, no
es necesario decir que todo alumno en este saln no tiene el cabello negro, que simblicamente sera
(x)( P (x)).
Es decir
(x)( P (x))
no es lo mismo que
(x)( P (x)).
Similarmente, negar que Existe un alumno con cabello morado es equivalente a decir que Todos
los alumnos no tienen el cabello morado.
La clave es
(x)P (x) (x)( P (x)).
Y no estara bien negado decir que Existe un alumno que
no tiene el cabello morado.
Ejemplo 1.26. Negar la siguiente armacin
(x
en
N)(x = 2 x 1)
Solucin: Como la negacin de una cuanticador universal es uno existencial y aplicando la Ley de
Morgan, tenemos que
(x
As que la negacin de
en
(x
N)(x = 2 x 1) (x
en
N)( (x = 2 x 1))
(x
en
N)(x 6= 2 x < 1)
en
N)(x = 2 x 1)
es
(x
en
N)(x 6= 2 x < 1).
1.6. Ejercicios
1. Hacer una tabla de verdad para las siguientes armaciones
a)
[(P Q) (R S)] [(P R) (Q S)].
b)
[(P Q) (R (S T ))] [(P (R T )) T ].
c)
(P Q) [(P R) (Q S)].
d)
(A E) [ C (A B)].
2. Si
es una armacin verdadera,
es falsa,
es verdadera y
es falsa Cul es el valor de
verdad de las siguientes armaciones?
a)
[( P Q) (R S)] P.
b)
(P Q) [ R ((P S) Q)].
3. Por cada uno de los siguientes argumentos, si es vlido, de una derivacin, y si no es vlido
justique.
a)
Si la comida es verde, entonces est cruda. Si la comida huele entonces est rancia. La
comida es verde o est rancia. Luego la comida est cruda o huele.
b)
Si a Susan le gusta el pescado, entonces le gustan las cebollas. Si a Susan no le gusta el

ajo entonces no le gustan las cebollas. Si le gusta el ajo, entonces le gustan las guayabas.
Le gusta el pescado o le gusta el cilantro. No le gustan las guayabas. Por tanto a Susan
le gusta el cilantro.
c)
No es el caso que Fred toque tanto guitarra como una auta. Si Fred no toca guitarra
y no toca auta, entonces el toca rgano y arpa. Si l toca arpa, entonces toca rgano.
Luego Fred toca rgano.
16
Captulo 1.
d)
Lgica Informal
Si tu robas un banco, va a la crcel. Si vas a la crcel, tu no te diviertes. Si tienes

vacaciones, tu te diviertes. Tu robas un banco o tienes vacaciones. Por tanto tu vas a la
crcel o te diviertes.
4. Si los siguientes argumentos son vlidos, d una derivacin y si no lo son, demuestrelo.
f)
a)
Q S
( A C) (D A)
( P R) Q
DA
S
C A
P R
g)
b)
R P
RS
P D
P (S R)
Q P
RS
h)
Q S
SA
c)
S P
RQ
QT
( P R)
i)
P Q
SQ
P (R Q)
d)
( S R) Q
S
( S P ) ( P R)
RQ
R
SQ
j)
P (Q R)
e)
Q (S T )
( A B) (P R)
(U S)
P R
T U
(A B)
1.6.
Ejercicios
17
k)
l)
(P Q) R
(P R) (Q R)
(R Q) (P (S T ))
(P R) (Q S)
P S
ST
5. Niegue cada una de las siguientes armaciones.
a)
(P Q) R.
b)
( P R) ( R Q).
c)
[ (P R)] (P S).
d)
( x > 0)( y > 0)[ P (x) (P (y) R(x))].
e)
( > 0)( > 0)(|x 1| < |f (x) f (1)| < ).
f)
( R > 0)( x, y
6. Si
FA
es falacia,
TA
en
A)[(|x y| < R x2 6= y 2 ) |x2 + y| 2].
es una tauloga y
a)
P FA
es una falacia.
b)
P TA
es una tautologa.
c)
P F A P.
d)
P T A P.
es una proposicin, muestre que
7. Determine si cada una de las siguientes armaciones es verdadera o falsa.
a)
(x
en
N)(x + 1 < 0).
b)
(x
en
N)(x + 1 > 0 x 1 = 8).
c)
(x
en
N)(x + 4 = 0 x + 1 > 0).
d)
(x
en
N)(x + 8 = 0 x + 1 > 0).
Captulo 2
Conjuntos
2.1. Deniciones Bsicas
Construiremos nuestra teora estableciendo tres conceptos indenibles. Ellos son conjunto, elemento y pertenece a. Aunque son conceptos indenidos, daremos una denicin intuitiva de ellos,
basada en el lenguaje comn. Se notar que en cierto sentido stas no son buenas deniciones, pues
usan palabras que a su vez no hemos denido.
Conjunto:
Cualquier coleccin de objetos (no necesariamente matemticos).
Elemento o miembro:
Un objeto de un conjunto es llamado elemento o miembro del conjunto.
a A signica el elemento a pertenece al conjunto A

a
/ A es la negacin de la armacin anterior.
Ley del Medio Excluido:
Dado un conjunto A y un objeto cualquiera
mente una de las dos armaciones siguientes se verica
x A
suponemos que unica-
x
/ A.
La manera ms simple de representar conjuntos es hacer una lista que encerramos entre llaves.
Por ejemplo
A = {a, b, c, d},
B = {m Z : Existe un entero k tal que m = 2k},
C = {x Z : Existe un entero q tal que x = 2q}.
Observe que en las dos ltimas deniciones lo
nico que cambia es la variable, pero los conjuntos descritos son los mismos, es decir, el nombre de
las variables es irrelevante.
Aceptaremos tambin la existencia del conjunto vaco y el conjunto universal. El
que contiene a todos lo elementos de los cuales estamos
18
conjunto vaco
. El conjunto universal es el conjunto

hablando, lo denotaremos por U.
es el conjunto que no tiene elementos y lo denotaremos por
2.2.
19
2.2. Operaciones entre Conjuntos

Contenencia de Conjuntos
Dados dos conjuntos
x A,
si para todo
diremos que
se tiene que
x B.
esta contenido en
B,
lo cual denotamos por
A B,
En smbolos sera
A B (x)(x A x B)
A continuacin se puede observar gracamente lo que signica que
A B,
AB
B
A
Este tipo de esquemas usualmente son llamados de Diagramas de Venn.
Igualdad de Conjuntos
Diremos que dos conjuntos
son iguales si
AB
B A.
Usando la denicin anterior
tenemos que
A = B (x)(x A x B).
Unin de Conjuntos
A y B es el conjunto formado
A B. De forma mas precisa
La unin de dos conjuntos

a
o a
B.
Se denota por
por todos los elementos que pertencen
A B = {x : x A x B} .
La disyuncin,
se utiliza en el sentido inclusivo, es decir, signica o.
Interseccin de Conjuntos
A y B
A B.
La interseccin de dos conjuntos

pertencen a
y a
B.
Se denota por
es el conjunto formado por todos los elementos que
A B = {x : x A x B} .
20
Si
Captulo 2.
no tienen elementos en comn, es decir, si
A B = ,
entonces diremos que
Conjuntos
son
conjuntos disjuntos.
A continuacin se ilustra en diagramas de Venn la unin e interseccin de conjuntos, los conjuntos

que queremos mostrar aparecen sombreados.
AB
AB
Diferencia de Conjuntos
La diferencia entre dos conjuntos

pertenecen a
y no a
B.
Se denota por
y B es el conjunto formado
A B. Mas precisamente
por todos los elementos que
A B = {x : x A x 6 B} .
El conjunto
conjunto
AB
se lee
menos
respecto del conjunto
B
y recibe tambin el nombre de complemento relativo del
A.
Complemento
El complemento de un conjunto
universal que no pertenecen a
A.
es el conjunto formado por todos los elementos del conjunto
Se denota po
Ac .
Ac = {x : x
/ A} .
Note que el complemento de
es la diferencia entre
A,
es decir,
Ac = U A.
Adems, se
tiene la siguiente propiedad que es muy til para resolver problemas relacionados con el lgebra de
Conjuntos.
A continuacin se ilustra usando diagramas de Venn la diferencia y complemento de conjuntos,

los conjuntos que queremos mostrar aparecen sombreados.
2.2.
21
Ac
AB
A
A
Proposicin 2.1. Sean
conjuntos. Entonces
A B = A Bc.
Prueba:
x (A B) x A x
/ B x A x B c x (A B c ).
Lo que termina la prueba.
2.2.1. lgebra de Conjuntos

Bajo las operaciones denidas en los apartados anteriores, los conjuntos satisfacen varias leyes
o identidades. Observaremos que existe una dualidad entre las leyes que utilizan la interseccin,
unin, el universo o el vaco. Ms exactamente, cuando tenemos una propiedad de conjuntos siempre
podemos obtener otra intercambiando la unin con inteseccin y el universo con el vaco, como lo
podemos observar en las siguientes propiedades.
Leyes Idempotentes
Dado cualquier conjunto
1.
AA=A
2.
AA=A
Prueba:
Sea
en un universal arbitrario
un elemento arbitrario del universal
U,
U,
se verica
entonces usando el hecho que
p p p
se tiene
x (A A)
De la arbitrariedad de
Anloga se prueba que
[x A x A]
xA
x se sigue que x [x (A A) x A] .
A A = A.
Por tanto
A A = A.
De forma
22
Captulo 2.
Conjuntos
Leyes Conmutativas
Dados dos conjuntos
1.
AB =BA
2.
AB =BA
Prueba:
Sea
de un universal arbitrario
cualquier elemento de
U,
U,
se verica
p q q p,
tenemos
que
x (A B)
xAxB
xBxA
x (B A)
x es un elemento cualquiera de U , se sigue que x [x A B x B A] . Por tanto AB =

B A. De una forma similar se demuestra que A B = B A.

Como
Leyes Asociativas
Dados tres conjuntos
A, B
1.
A (B C) = (A B) C
2.
A (B C) = (A B) C
Prueba:
En efecto, sea
un elemento arbitrario de
U.
U,
se verica
Como
p (q r) (p q) r,
tenemos
que
x [A (B C)]
x A [x (B C)]
x A (x B x C)
(x A x B) x C
x (A B) x C
x [(A B) C].
x se sigue que (x)[x A (B C) x (A B) C], de aqu se sigue

A (B C) = (A B) C. Anlogamente se demuestra que A (B C) = (A B) C.
De la arbitrariedad de
que
Leyes Distributivas
Dado tres conjuntos
A, B
de un conjunto universal
U,
se verica
2.2.
23
1.
A (B C) = (A B) (A C)
2.
A (B C) = (A B) (A C)
Prueba:
En efecto, sea
cualquier elemento de un conjunto universal
x [A (B C)]
donde usamos el hecho que
U,
entonces
x A [x (B C)]
x A (x B x C)
(x A x B) (x A x C)
x (A B) x (A C)
x [(A B) (A C)],
p (q r) (p q) (p r).
Al ser
cualquier elemento de
U,
se
sigue que
(x)[x A (B C) x (A B) (A C)],
consecuentemente,
(A B) (A C).
A(B C) = (AB)(AC). De una forma similar se prueba que A(B C) =

Leyes de Identidad
Dado un conjunto cualquiera
1.
A=A
2.
AU =U
3.
A=
4.
AU =A
Prueba:
1.
Solo mostraremos
(1)
(3),
A = A. En efecto, sea x
p F A p, tenemos que
x (A )
Luego,
3.
Sea
un elemento arbitrario de
xAx
x A, (x
de aqu se sigue que
es cualquier elemento de
x (A )
se verica
el resto queda como ejercicio al lector.
(x)[x (A ) x A],
A = .
U,
U,
U,
es falso siempre
xAx
x ,
(x
).
A = A.
entonces como
p F A F A,
es falso siempre
se obtiene
).
24
Captulo 2.
Conjuntos
Ley Involutiva
de un universal
U,
se verica
(Ac )c = A.
Prueba:
Sea
cualquiera de
U,
x (Ac )c
Luego,
(x)[x (Ac )c x A],
es decir,
x
/ Ac
x A.
( p) p,
se tiene
(Ac )c = A.
Leyes del Complemento
1.
A Ac = U
2.
Uc =
3.
A Ac =
4.
c = U
Prueba:
Demostraremos
A Ac = U .
(1)
(3)
U,
se verica
y los otras quedan como ejercicio.
Como el universal contiene a todos los conjuntos tenemos que
A Ac U.
Solo
Ac .
U A
Para esto usaremos la Ley del Medio Excluido. En efecto,
c
c
sea x cualquier elemento de U, entonces x A x A . Lo que muestra que U A A . Por
c
tanto A A = U.
debemos mostrar que
3.
AAc = . En efecto, como vaco esta en cualquier conjunto, tenemos que AAc . Debemos
c
c
mostrar la otra contenencia. Para esto considere x (A A ), entonces x A x A , as que
x Ax
/ A, lo cual es absurdo, por tanto podemos concluir cualquier cosa, en particular
que x . Lo que termina la prueba.
Leyes de Morgan
Dados dos conjuntos
1.
(A B)c = Ac B c
2.
(A B)c = Ac B c
en un universal
U,
se tiene que
2.2.
Prueba:
25
Solo mostraremos (1), el resto queda como ejercicio al lector. En efecto, sea
arbitrario del conjunto universal
U.
x un elemento
Entonces,
x (A B)c
x
/ (A B)
(x
/ Ax
/ B)
(x Ac x B c )
x (Ac B c ).
(p q) ( p q). Como x es un elemento

(x)[x (A B)c x (Ac B c )], luego (A B)c = Ac B c .
Note que aqu se uso el hecho que

de
U,
se sigue que
arbitrario
A continuacin se prueban algunas propiedades importantes de la teora de conjuntos las cuales

estn bastante relacionadas con las propiedades de las proposiciones expuestas en el captulo anterior.

1.
AAB
2.
AB A
A, B, C
subconjuntos arbitrarios de un conjunto universal
3. Si
A B,
entonces
AB =B
4. Si
A B,
entonces
AB =A
5.
U.
Entonces,
A (B A) = A B
Prueba:
1.
A A B.
En efecto, si
es cualquier elemento de
xA
Luego,
2.
(x)[x A x (A B)],
A B A.
En efecto, sea
xAxB
x A B.
por tanto
un elemento de
3. Si
A B,
(x)[x (A B) x A],
entonces
A B = B.
entonces usando adicin se tiene
xAB
Por tanto
U,
A (A B).
U.
Entonces usando simplicacin se tiene que
xAxB
xA
de donde se sigue que
En efecto, sea
A B A.
cualquiera de
y supongamos que
A B.
Entonces
x (A B)
Lo que muestra que
B (A B),
xAxB
xBxB
x B.
(x)[x (A B) x B],
lo que termina la prueba.
luego
A B B.
Por (1) se tiene que
26
4. Si
A B,
contraria.
Captulo 2.
Conjuntos
A B = A. Por la parte (2), tenemos queA B A. Veamos

Supongamos que A B y sea x un elemento arbitrario de U , entonces
la inclusin
entonces
xA
Luego,
(x)[x A x (A B)],
xAxB
x (A B) .
de donde se sigue que
A (A B).
Lo que termina la
prueba.
5.
A (B A) = A B.
En efecto
A (B A) = A (B Ac )
= (A B) (A Ac )
= (A B) U
= AB

La prueba de la siguiente proposicin es dejada como ejercicio al lector
1.
2.
AB A
A, B, C
subconjuntos de un conjunto universal
3. Si
AB
C D,
entonces
(A C) (B D)
4. Si
AB
C D,
entonces
(A C) (B D)
5.
A=A
6.
A (B A) =
7.
A (B C) = (A B) (A C)
8.
A (B C) = (A B) (A C)
9.
A (A B) = A
10.
A (A B) = A
U.
Entonces,
2.3. Conjuntos Finitos y Principio de Conteo

Se dice que un conjunto es
donde
nito
si es vaco o contiene exactamente
elementos diferentes,
denota algn entero no negativo. En caso contrario, se dice que el conjunto es
innito.
2.3.
27
Por ejemplo, el conjunto de letras en el alfabeto espaol es nito, mientras que el conjunto de los
enteros positivos pares,
{2, 4, 6, . . .} ,
es innito.
A es nito, n (A) denotar el nmero de elementos de A. La prueba de la siguiente

frmula se escapa a los objetivos de este libro, por lo tanto la aceptaremos com cierta. Si A y B son
conjuntos nitos, entonces A B es nito y
Si un conjunto
n (A B) = n (A) + n (B) n(A B).

Podemos aplicar este resultado para obtener una frmula semejante para cualquier nmero nito
de conjuntos nitos. As, para
tambin lo es
ABC
k = 3,
tenemos que si
A, B
son conjuntos nitos, entonces
n(A B C) = n(A) + n(B) + n(C) n(A B) n(A C) n(B C) + n(A B C).

Hagamos un ejemplo de aplicacin de la frmula anterior.
Ejemplo 2.4. Supongamos que
100
de los
120
estudiantes de matemticas de una facultad toman
por lo menos un idioma entre, Francs, Alemn y Ruso. Suponga tambin que 65 estudian Francs,
45 estudian Alemn, 42 estudian Ruso, 20 estudian Francs y Alemn, 25 estudian Francs y Ruso,
15 estudian Alemn y Ruso. Encontrar el nmero de estudiantes que estudian los tres idiomas al
mismo tiempo.
Solucin:
Sean
F, A
los conjuntos de estudiantes que estudian Francs, Alemn y Ruso,
respectivamente. Queremos encontrar el nmero de estudiantes que estudian todos los tres idiomas,
esto es
n(F A R).
En efecto, por la frmula anterior,
n (F A R) = n (F ) + n (A) + n (R) n (F A) n (F R) n (A R) + n (F A R) .
Ahora,
n (F A R) = 100, ya que 100 de los estudiantes estudian por lo menos uno de los idiomas.
Substituyendo se tiene que
100 = 65 + 45 + 42 20 25 15 + n (F A R) ,
n (F A R) = 8,
y por lo tanto,
o sea que
estudiantes estudian los tres idiomas. Usamos ahora
este resultado para llenar el diagrama de Venn correspondiente. Para tal n note que:
estudian todos los idiomas
20 8 = 12
estudian Francs y Alemn pero no Ruso
25 8 = 17
estudian Francs y Ruso pero no Alemn
15 8 = 7
estudian Alemn y Ruso pero no Francs
65 12 8 17 = 28
estudian solamente Francs
28
Captulo 2.
45 12 8 7 = 18
estudian solamente Alemn
42 17 8 7 = 10
estudian solamente Ruso
120 100 = 20
Conjuntos
no estudian ninguno de los idiomas.
As el diagrama completo est en la gura siguiente
A
12
28
18
8
17
20
7
10
Este diagrama nos permite responder cualquier pregunta que nos hagan. Por ejemplo, el nmero de
personas que estudian unicamente Ruso es 10. El nmero de personas que estudian exactamente un
solo idioma es
28 + 18 + 10 = 56.
Lo que tenemos que tener claro es que signica cada rea del
diagrama de Venn anterior.
Ejercicios
1. Demostrar las siguientes relaciones entre conjuntos.
a)
A (B C) = (A B) C
b)
A (B C) = (A B) (A C)
c)
(A B) (B A) =
d)
Si
AB =A
entonces
BA
e)
Si
AB =B
entonces
BA
f)
Si
XA
g)
Si
BA
entonces
BC AC
h)
Si
BA
entonces
BC AC
i)
Si
j)
A B = A (A B) = (A B) B
k)
(A B) C = (A C) (B C)
l)
(A B) C = (A C) (B C)
m)
XB
entonces
entonces
X AB
A=
(A B) C = A (B C)
n)
A (B C) = (A B) (A C)
A (B C) = (A B) (C A)
2.3.
o)
29
A = (A B) (A (A B))
2. Dar un contraejemplo para probar que las siguientes proposiciones no son vlidas siempre.
a)
(A B = A D) = B = D
b)
(A B = A D) = B = D
c)
(A B = ) = A = B
d)
(B C A C) = (B A)
e)
(A C) = (A B B C)
f)
(B C A C) = (B A)
g)
(X A B) = (X A X B)
h)
(A B) C = A (B C)
i)
((A B) = ) = ((A = ) (B = ))
3. Para cada uno de los numerales siguientes, elaborar un diagrama de Venn-Euler que represente
el conjunto indicado.
a)
(A B) C
b)
(A C) (B A)
c)
(A B) C
d)
(A B) (C B)
e)
(A B C)c
f)
(A B C)c
g)
Ac B c C c
h)
(Ac C c ) B c
4. A una conferencia internacional sobre contaminacin del medio ambiente, asisten

cialistas, de los cuales
Portugus e Ingls;
20
50
hablan Ingls,
60
Ingls y Castellano;
Portugus y
20
50
Castellano; de ellos
100 espe30 hablan
Portugus y Castellano. Cuntos asistentes
hablan los tres idiomas?

5. Una ensambladora de autos recibi una orden de fabricacin de
con las siguientes caractersticas:
18
con aire acondicionado;
23
38
automviles tipo sedn,
con vidrios elctricos y
29
con
3 deben tener solamente vidrios elctricos, 8 deben tener solamente

9 de los vehculos deben tener solamente vidrios elctricos y cojinera de lujo,
cojinera de lujo. De estos,

cojinera de lujo,
de los vehculos deben tener los tres aditamentos. Determinar:
a)
Cuntos vehculos llevan aire acondicionado y cojinera de lujo, solamente?
b)
Cuntos vehculos llevan aire acondicionado solamente?
c)
Cuntos vehculos llevan aire acondicionado y vidrios elctricos solamente?
6. En un inventario minero realizado en algunas regiones del pas acerca de la produccin futura
de recursos no renovables, se encontr que:
Oro;
poseen solamente Carbn y Oro;
poseen Petrleo,
solo poseen Oro,
15
poseen Carbn y
13
poseen
poseen los tres recursos; ninguna
de las regiones posee Petrleo y Carbn solamente. Determinar:
30
Captulo 2.
a)
Cuntas regiones intervinieron en el inventario?
b)
Cuntas regiones poseen solamente Petrleo?
c)
Cuntas regiones poseen solamente Carbn?
Conjuntos
7. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a ingresar a la
universidad por ciertos programas:
Biologa,
16
50
preeren Medicina,
preeren Ingeniera y Biologa,
Biologa y Medicina,
11
47
preeren Ingeniera,
preeren Ingeniera y Medicina,
preeren
preeren
preeren las tres. Determinar:
a)
Cuntos aspirantes fueron encuestados?
b)
Cuntos aspirantes preeren nicamente Medicina?
c)
Cuntos aspirantes no preeren Biologa?
d)
Cuntos aspirantes preeren Medicina o Biologa pero no Ingeniera?
e)
Cuntos aspirantes preeren Medicina o Ingeniera?
8. La secretara de educacin municipal requiere la provisin de
13
35
15
profesores de Matemticas;
13
profesores de Fsica y
cubrimiento de los cargos se requiere que:

dicten Fsica y Sistemas y
15
29
cargos docentes en las reas:
profesores de Sistemas. Para el
6 profesores dicten Matemticas y Fsica, 4 profesores
profesores dicten Matemticas y Sistemas. Determinar:
a)
Cuntos profesores se requiere que dicten las tres reas?
b)
Cuntos profesores se requiere que dicten Matemticas nicamente?
c)
Cuntos profesores se requiere que dicten Matemticas y Sistemas pero no Fsica?
9. Con relacin al problema anterior. En respuesta a la solicitud de traba jo, se seleccionaron
29
16
aspirantes cuyas solicitudes presentan las siguiente informacin:

pueden dictar Sistemas,
Sistemas,
pueden dictar Matemticas y Fsica,
puede dictar las tres reas,
15 pueden dictar Fsica,

5 pueden dictar Fsica y
pueden dictar solamente Sistemas. Determinar:
a)
Cuntos aspirantes selecionados se presentaron para dictar matemticas?
b)
Qu puestos no pueden cubrirse?
c)
Cuntos solicitantes y en qu rea no pueden ser nalmente admitidos?
10. En un curso compuesto por 22 alumnos; 12 estudian Alemn ; 11 estudian Ingls y 11 francs,
6 estudian Alemn e Ingls; 7 estudian Ingls y Francs ; 5 estudian Alemn y Francs y 2
estudian los tres idiomas. Cuntos alumnos estudian slo ingls?
11. En una encuesta sobre preferencias de los canales de televisin A, B y C se obtuvo la siguiente
informacin : 55 encuestados ven el canal A, 15 slo ven el canal A y el canal B , 33 ven el
canal A y el canal C, 3 slo ven el canal C , 25 ven los tres canales, 46 ven el canal B, 6 no
ven televisin y 2 slo ven el canal C y el canal B.
Seale:
a)
La cantidad de personas encuestadas
b)
La cantidad de personas que ven slo el Canal B
2.3.
31
12. En un total de 250 personas encuestadas sobre su desayuno se obtuvieron las siguientes respuestas, 30 personas tomaban t con leche, 40 personas tomaban caf con leche, 80 personas
tomaban leche, 130 personas tomaban t o leche y 150 tomaban caf o leche. Como es natural
ninguna persona toma cafe, leche y t cafe y t en el mismo desayuno.
a)
Cuntas personas tomaban t puro?
b)
Cuntas personas tomaban leche pura?
c)
Cuntas personas tomaban caf puro?
d)
Cuntas personas no tomaba ninguna de estas tres cosas al desayuno?
13. Una tienda de artculos electrnicos vende en un da 44 equipos de msica, todos los que
tienen Compac disk (CD) tienen Tocacassette (TC). Algunos tienen control remoto (CR) y
otros ninguna de las tecnologas nombradas. Si se vendieron: 16 equipos con CR pero sin CD;
12 equipos con TC pero sin CD ni CR; 24 equipos sin CR; 9 equipos con CR y TC; 16 equipos
con TC pero sin CR.
a)
Cuntos equipos que tenan alguna de stas tecnologas se vendieron?
b)
Cuntose quipos se vendieron con CD y CR?
c)
Cuntos equipos con CR pero sin TC se vendieron?
Captulo 3
Cdigos y Sistemas de Numeracin

Un sistema de numeracin es un conjunto de smbolos y reglas que se usan para representar
cantidades y realizar operaciones con ellas. El sistema numeracin que mas se usa en la actualidad
es el decimal, que sin duda alguna resulta de la contabilidad de los dedos de las manos. Este sistema
aparece por primera vez en la India alrededor del ao 500 DC y al paso del los aos la notacin fue
llevada a Europa por los rabes como mtodo predominante del calculo. Sin embargo, las computadoras usan un sistema en base dos para el manejo de datos e informacin, aprovechando el hecho
que los dispositivos electrnicos del computador pueden tener dos estados de polarizacin: ON y
OFF, que quedan registrados en su memoria como
0.
Otros sistemas numricos que son usados
cuando traba jamos con computadoras, son el Hexadecimal y el Octal, los cuales son utilizados principalmente como un mtodo para la representacin de nmeros binarios. Los sistemas de numeracin
ms usados son los siguientes:
1. Sistema de numeracin decimal, el cual posee diez smbolos, los nmeros

2. Sistema binario, usa los smbolos
1.
3. Sistema octal, representado por los nmeros
0, 1, 2, 3, 4, 5, 6, 7.
4. Sistema hexadecimal, usa diezcisis smbolos, los nmeros
A, B, C, D, E
0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
0, 1, 2, 3, 4, 5, 6, 7, 8, 9
y las letras
F.
3.1. Sistema de Numeracin Decimal

En general para representar un nmero en cualquier base, digamos
b,
utilizaremos el siguiente
formato
( s3 s2 s1 s0 , s1 s2 s3 )b ,
donde
si
representa un smbolo cualquiera del sistema de numeracin y el subndice
sicin del smbolo con respecto al punto base o punto decimal.
32
indica la po-
3.1.
Sistema de Numeracin Decimal
33
Una cantidad cualquiera, representada por el nmero
Nb =
donde los
ai
b,
puede ser expresada en la forma
ai bib ,
son los smbolos que caracterizan al sistema y
representacin de
en base
Nb ,
(3.1)
bb ,
tal como lo indica la notacin, es la
b en la base b. En otras palabras cualquier nmero Nb
de un sistema de numeracin
b, cuyos coecientes son

0 hasta b 1. Por ello si b = 10,
puede ser expresado como un polinomio de potencias en la base
smbolos del sistema de numeracin y pueden tomar un valor desde
0 a 101 = 9 y diremos que estamos en presencia del sistema decimal cuya

10. Para denotar los nmeros decimales simplemente escribiremos N en vez de N10 .
tendremos los smbolos de

base es el nmero
Por ejemplo considere el nmero decimal
7419,
este puede ser escrito como
7419 = 7103 + 4102 + 1101 + 9100

7, 4, 1 y 9
potencias de 10.
Los smbolos
las
son los coecientes. Los valores posicionales o pesos estn representados por
En el caso de nmeros fraccionarios se utilizan potencias negativas de la base
10,
como puede
verse en el siguiente ejemplo.
Ejemplo 3.1.
435, 232 = 4102 + 3101 + 5100 + 2101 + 3102 + 2103 .
Un ejemplo que tal vez no entendamos ahora es el siguiente, en este caso representaremos un
nmero en base 3
Ejemplo 3.2.
(2102)3 = 2(11)33 + 1(11)23 + 0(11)13 + 2(11)03 .

En este caso vale la pena notar que
(11)3
representa el nmero 4 en base tres.
Un hecho muy importante es el siguiente, si hicieramos la expansin (3.1) pero cambiando
b10 = b
en base
no obtendriamos
Nb
sino
N10 .
a su equivalente en base 10, en la siguiente seccin mostraremos algunos ejemplos.
Proposicin 3.3. Sea
Nb = ( s2 s1 s0 , s1 s2 )b
un nmero en base
b,
entonces
+ s2 b2 + s1 b1 + s0 b0 + s1 b1 + s2 b2 +
es la representacin de
Nb
bb
por
La siguiente proposicin nos permite pasar cualquier numero
en base diez.
34
Captulo 3.
3.2. Sistema de Numeracin Binario

El sistema de numeracn binario, tal como el decimal y otros antes mencionados, es un sistema
de numeracin posicional. Cualquier sistema de estos solo requiere un numero nito de smbolos, llamados dgitos del sistema, para representar nmeros extremadamente grades. En trminos de estos
dgitos, la ejecucin de clculos nmericos es relativamanete sencilla. En el caso del sistema binario
la base es
b= 2
y por lo tanto tiene dos smbolos
1,
los cuales son conocidos como bits (del
ingls Binary Digits).
Como una aplicacin de la Proposicin 3.3 a continuacin mostraremos como pasar un nmero
binario a decimal
Ejemplo 3.4. Sea el nmero
N2 = (110101)2 ,
donde el subndice
indica la base, entonces
N10 = 1 25 + 1 24 + 0 23 + 1 22 + 0 21 + 1 20
N10 = 32 + 16 + 4 + 1
N10 = 53
Por tanto
(110101)2 = (53)10 .
Para los nmeros fraccionarios se usan las potencias negativas, tal como lo ilustramos a continuacin
Ejemplo 3.5. Sea
N2 = (0, 1101)2 ,
entonces:
N10 = 0 20 + 1 21 + 1 22 + 0 23 + 1 24
N10 = 0,5 + 0,25 + 0,0625
N10 = (0,8125)10
Por tanto
(0,1101)2 = (0,8125)10 .
3.2.1. Conteo en Binario

El sistema binario es el ms usado en sistemas digitales, ya que el hecho de tener dos smbolos nos
permite asociar a cada smbolo con dos estados los cuales pueden ser prendido y apagado, positivo y
negativo, mayor qu y menor qu, perforado y tapado; dando esta propiedad una gran versatilidad
en el diseo con dispositivos electrnicos sencillos. El hecho de tener dos smbolos no implica que
no podamos contar nmeros grandes, para ello tenemos en cuenta que si queremos contar
necesitamos un nmero de bits,
nmeros decimales del
suciente tomar
al
9,
K,
tal que
2K
> n
objetos
o sea que si queremos expresar o contar los
necesitaremos un nmero entero
tal que
2K > 10,
por tanto es
K 4. As que con 4 bits formamos los nmeros del 0 al 9 de acuerdo a la siguiente
3.3.
Sistema de Numeracin Octal
35
tabla:
Decimal
Binario
0
1
2
3
4
5
6
7
8
9
0000
0001
0010
0011
0100
0101
0110
0111
1000
1001
Si queremos contar debemos recordar que el sistema decimal llega hasta el

delante y continuamos hasta llegar al
19,
9,
colocamos un
y as sucesivamente. Entonces nos queda algo como
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18...

En binario se hace lo mismo; comenzamos
10, 11;
siguientes que son
0, 1;
luego agregamos otro
agregamos un
y agregamos
para formar lo
delante y aparecen 100, 101, 110, 111, por tanto
obtenemos
0, 1, 10, 11, 100, 101, 110, 111, 1000, 1001, 1010, ...
Una manera de contar en binario es pensar en decimal y eliminar todos los nmeros que tengan
dgitos distintos de
1,
lo cual vemos arriba, y esto es extensible a cualquier sistema. Por ejemplo
en base tres tendriamos, recuerde que este caso los smbolos son
0, 1
2,
0, 1, 2, 10, 11, 12, 20, 21, 22, 100, 101, 102, 110, 111, 112, 121, 122, ...
3.3. Sistema de Numeracin Octal

El sistema de octal tiene base
0, 1, 2, 3, 4, 5, 6, 7,
b = 8
y por tanto utiliza ocho smbolos, que son los dgitos
para denotar las cantidades numricas. Igual que el sistema binario, todo nmero
octal puede representarsse en el sistema decimal usando sus valores posicinales y las potencias de
ocho, tal como lo ilustramos a continuacin.
Ejemplo 3.6. Sea
N8 = (373,043)8 .
Entonces
N10 = 3 82 + 7 81 + 3 80 + 0 81 + 4 82 + 3 83
N10 = 192 + 56 + 3 + 0,0156 + 0,005859...
N10 = (251,021459...)10
Observe que no necesariamente el valor es exacto.
Para contar en octal, seguimos la misma tcnica de la seccin anterior:
0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, ...
36
Captulo 3.
3.4. Sistema de Numeracin Hexadecimal

Este sistema tiene como base el nmero decimal
nmeros enteros del

enteros del
10
al
al
16
y por tanto, posee diecisis smbolos, los
y los literales A, B, C, D, E, F representando estos ltimos los smbolos
15.
Ejemplo 3.7. Sea
N16 = (E5D7, A3)16
N10 = E 163 + 5 162 + D 161 + 7 160 + A 161 + 3 162

N10 = 14 163 + 5 162 + 13 161 + 7 160 + 10 161 + 3 162
Por tanto
N16 = (58839, 63671875)10 .
En la siguiente tabla se muestra un resumen de los cuatro sistemas de numeracin que utilizaremos, y en la prxima seccin se explicar como pasar de uno a otro.
Sistema
Base
Smbolos
Decimal
10
2
8
16
0, 1, 2, 3, 4, 5, 6, 7, 8, 9
0, 1
0, 1, 2, 3, 4, 5, 6, 7
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F
Binario
Octal
Hexadecimal
3.5. Conversin entre Sistemas de Numeracin

En las secciones anteriores ya vimos como pasar un nmero cualquiera en base
b,
digamos
Nb ,
al
sistema decimal, para lo cual usamos las Proposicin 3.3. Entonces en lo que sigue solo explicaremos
como pasar un numero decimal arbitrario
nmero decimal
a un nmero en base
b.
Como ya sabemos, cualquier
puede ser representado como
N = an bn + an1 bn1 + + a0 + a1 b1 + + am bm .
Deniendo
Ne = an bn + an1 bn1 + + a0
Nf = a1 b1 + + am bm ,
se tiene que
N = Ne + Nf ,
donde
Ne
Nf
son la parte entera y fraccionaria de
Ahora, si dividimos
Ne
por
b,
N,
respectivamente.
se obtiene
Ne
a0
= an bn1 + an1 bn2 + +
b
b
1
= cociente 1 + residuo .
b
3.5.
37
Lo que nos dice que el primer residuo al dividir

y lo dividimos por
En el caso de
Ne
por
es
a0 .
Si tomamos ahora el cociente
b, obtenemos un cociente 2 y en este caso el residuo ser a1 y as consecutivamente.
Nf
se har lo mismo pero multiplicando por
en cada caso. En las siguientes
sub-secciones haremos varios ejemplos con los sistemas de numeracin que ms nos interesan.
3.5.1. Conversin Decimal a Binario

Siguiendo el esquema de la seccin precedente, dividiremos consecutivamente por dos la parte
entera y multiplicaremos por dos la parte fraccionaria.
Ejemplo 3.8. Convertir
(653)10
a binario. En este caso como el nmero es entero dividimos por 2,
como se muestra a continuacin.
a0
653
1
a1
2
326
0
a2
2
163
1
a3
2
81
1
a4
2
40
0
a5
2
20
0
a6
2
10
0
a7
2
5
1
a8
2
2
0
a9
2
1
1
2
0
Por tanto
65310 = 10100011012
Observe que los residuos se colocan en orden inverso.
A continuacin presentamos un ejemplo donde el nmero tiene una parte fraccionaria, en este
caso se convierte primero la parte entera, ya realizado en el ejemplo anterior, y luego la parte
fraccionaria usando la tcnica de multiplicar sucesivamente por dos.
Ejemplo 3.9. Convierta
(653,61)10
a binario.
0,612 = 1,22
0,222 = 0,44
0,442 = 0,88
0,882 = 1,76
0,762 = 1,52
0,522 = 1,04
Por tanto
(653,61)10 = (1010001101,10011...)2
a1
a2
a3
a3
a4
a5
=1
=0
=0
=1
=1
=1
38
Captulo 3.
Podemos comprobar el resultado anterior utilizando el desarrollo de potencias en base a dos
(0,100111...)2 = 121 + 124 + 125 + 126

= 0,5 + 0,625 + 0,03125 + 0,015625
= (0,609375)10
Observe que el resultado no es exacto porque detuvimos el proceso en
a6 ,
si calculamos ms
fracciones binarias nos acercaremos ms al resultado.
3.5.2. Conversin del Sistema Decimal al Octal

Esta conversin se realiza de manera similar a la de decimal a binario, con la excepcin de que
en este caso la divisin consecutiva se hace por ocho, en lugar de dos.
Supongamos que queremos convertir
a0
(653)10
653
5
a1
a octal
8
81
1
a2
8
10
2
a3
8
1
1
8
0
(653)10 = (1215)8
Recuerde que la escogencia de los dgitos se hace del ltimo residuo al primero, tal como lo indica
la echa en el ejemplo anterior.
Si queremos ir de octal a decimal, solo tenemos que aplicar el desarrollo de potencias de ocho, de
acuerdo a los valores posicionales.
Ejemplo 3.10. Pasar
(1215)8
a decimal. En este caso se tiene
(1215)8 = 1 83 + 2 82 + 1 81 + 1 80
= 512 + 128 + 8 + 5
= 653
Luego
(1215)8 = 653.
Si el nmero decimal es fraccionario se multiplica sucesivamente por ocho, pasando la parte

entera de los resultados consecutivos a formar la parte fraccionaria del nmero octal. Esta operacin
se continua hasta obtener una fraccin nula o hasta la precisin deseada, si el cero no se consigue.
Ejemplo 3.11. Pasar
Luego
(0,46875)10
(0,46875)10 = (0,36)8 .
a octal.
0,46875 8 = 3,75
a1 = 3
0,75 8 = 6,00
a2 = 6
3.5.
39
Por supuesto, el ejemplo anterior es una muestra del primer caso, es decir la fraccin octal es
exacta. A continuacin mostramos un ejemplo donde la fraccin resultante no es exacta.
Ejemplo 3.12. Pasar
(0,136)10
a octal. En este caso
0,136 8 = 1,088
a1 = 1
0,088 8 = 1,704
a2 = 1
0,704 8 = 5,632
a3 = 5
0,632 8 = 5,056
a4 = 5
Si nos detenemos aqu tendriamos que
(0,136)10 = (0,1155)8 ,
pero si desarrollamos
(0,1155)8 ,
ob-
tenemos:
1 81 + 1 82 + 5 83 + 5 84 = (0,1359875)10
La cual, salvo por un error menor de una diezmilsima coincide con el nmero original.
Si tenemos un nmero de parte entera y parte fraccionaria hacemos la conversin por separado
y luego combinamos ambos resultados.
(124,78125)10
a0
a octal. Comenzamos con la parte entera
124
4
a1
8
15
7
a2
8
1
1
8
0
Para la parte fraccionaria tenemos
Por tanto
0,78125 8 = 6,25
a1 = 6
0,25 8 = 2,00
a2 = 2
(124,78125)10 = (174,62)8
3.5.3. Conversin del Sistema Decimal a Hexadecimal

Siguiendo los mismos procedimientos anteriores, corresponde dividir y/o multiplicar por
(47632)10
a hexadecimal
47632
0
16
2977
1
16
186
10
16
11
11
16
0
16.
40
Captulo 3.
0
1
10
11
Por tanto
(47632)10 = (BA10)16 .
Recuerde que
(124, 136)10
A = 10, B = 11, ..., F = 15
en hexadecimal.
a hexadecimal.
124
12
16
7
7
16
0
Para la parte fraccionaria se tiene
Luego
0,136 16 = 2,176
a1 = 2
0,176 16 = 2,816
a2 = 2
0,816 16 = 13,056
a3 = D
0,056 16 = 0,896
a4 = 0
0,896 16 = 14,336
a5 = E
(124, 136)10 = (7C, 22D0E)16 .
3.5.4. Conversin entre los Sistemas Binario y Octal

Como estudiaremos posteriormente, los circuitos digitales manipulan datos usando el sistema de
numeracin binario; sin embargo, esto trae el inconveniente de que a medida que aumenta el tamao
del nmero, aumenta tambin la cantidad de bits, y consecuentemente se complica el manejo de
datos. Para simplicar esto se introdujeron los sistemas octal y hexadecimal que tienen una gran
ventaja por la caracterstica de que sus bases son potencias de dos.
En el caso del sistema octal se tiene
N=
ai 8i .
i
Y en binario escribimos
N=
Ai 2 i
i
Donde
ai {0, 1, 2, 3, 4, 5, 6, 7}
Ahora bien, cualquiera de los
Ai {0, 1}.
ai
puede ser expresado como combinacin de tres dgitos binarios
o bits. De tal manera que si tomamos el nmero binario y lo separamos de tres en tres, partiendo del
3.5.
41
punto decimal a la izquierda para la parte entera, y al derecha para la parte fraccionaria, podemos
sustituir cada uno de los grupos por su correspondiente valor octal, reejado en la tabla siguiente y
viceversa.
Octal
Binario
0
1
2
3
4
5
6
7
(10010101, 1011)2
000
001
010
011
100
101
110
111
a octal.
Separamos en grupos de tres
010
010
101,
101
100
Los ceros al principio MSB y al nal LSB se agregan para completar grupos de tres, consultando la
tabla arriba se tiene que
(225,54)8 .
Para ir de octal a binario, simplemente se sustituye cada dgito octal por su equivalente binario
de acuerdo a la tabla anterior.
(1752,714)8
a binario
(1752,714)8 = (001
111
101
010.
111
001)2
Eliminando los ceros como bits ms signicativos MSB o menos signicativos LSB, se tiene
(1752,714)8 = (111101010,111001)2
Es importante hacer notar que si se quiere pasar de decimal a binario se puede pasar primero a
octal y despus utilizar este mtodo, con lo cual se ahorra en las divisiones.
3.5.5. Conversin entre los Sistemas Hexadecimales y Binario

Como lo mencionamos en la seccin anterior se puede aplicar la propiedad de que la base
16
es una potencia de la base binaria y todo smbolo de la base hexadecimal puede ser expresado por
cuatro dgitos binario o bits, de acuerdo a la tabla siguiente la cual puede usarse para convertir de
42
Captulo 3.
una a otro sistema separando en grupos de cuatro bits el n

mero representado en binario o vicerversa.
Hexadecimal
Binario
0
1
2
3
4
5
6
7
8
9
A
B
C
D
E
F
0000
0001
0010
0011
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
1110
1111
(10101101101, 0101101101)2
0101
0110
1101,0101
a hexadecimal. En este caso separamos as
1011
0100
Al consultar la tabla dada arriba se tiene que
(10101101101, 0101101101)2 = (56D, 5B4)16 .

Observe que de nuevo se agregaron ceros al MSB y al LSB.
Paraconvertir de hexadecimal a binario, se emplea el mismo mtodo, sustituyendo cada dgito

hexadecimal por su equivalente binario de
(8F, 41)16
bits aparece en la tabla anterior.
a binario. En este caso separamos as
1000
Luego
1111,0100
0001
(8F, 41)16 = (1000111, 01000001)2
3.6. Operaciones Aritmticas en el Sistema Binario

Es evidente que el lector conoce las cuatro operaciones fundamentales de la arimtica (suma, resta,
multilplicacin y divisin) en el sistema de numeracin decimal, pero dado que en sistemas digitales
utilizamos el sistema binario es importante familiarizarse con dichas operaciones en este sistema,
teniendo siempre en mente la aritmtica decimal como gua.
3.6.
Operaciones Aritmticas en el Sistema Binario
43
3.6.1. Suma Binaria

Para sumar en binario, debemos primero construir una tabla de sumar como se observa a continuacin.
Sumandos
A
0
0
1
1
Observe que se tiene lo siguiente
Resultado
Acarreo
S
0
1
1
0
C
0
0
0
1
B
0
1
0
1
1 + 1 = 10, 1 + 1 + 1 = 11, 1 + 1 + 1 + 1 = 100
y as sucesivamente.
Hagamos un ejemplo
Ejemplo 3.20. Sumar en binario
1101 + 1101.
Acarreo
Sumando A
Sumando B
Resultado
11
1101
1101
11010
Observe que el acarreo se suma a los bits que estn en la posicin inmediata a la izquierda, similar
a lo que se hace en el sistema decimal.
3.6.2. Resta Binaria

En este caso hacemos uso de la tabla siguiente.
Minuendo
Sustraendo
Resta
Prestado
M
0
0
1
1
S
0
1
1
0
R
0
1
0
1
P
0
1
0
0
En forma similar a la resta decimal, cuando el minuendo es menor que el sustraendo, se toma prestado
un bit de la columna adyacente de la izquierda, como puede verse en el ejemplo a continuacin.
Ejemplo 3.21. Reste
11011 1101
en binario
Queda
Minuendo
Sustraendo
Resta
00
11011
1101
01110
44
Captulo 3.
3.6.3. Multiplicacin Binaria

La multiplicacin hace uso de los mismos principios del sistema decimal, utilizando las reglas de
la tabla siguiente.
Factores
A
0
0
1
1
Producto
B
0
1
0
1
P
0
0
0
1
A continuacin se presenta un ejemplo de multiplicacin binaria.
Ejemplo 3.22. Multiplicar
101101 101.
En este caso
101101
101
101101
000000
101101
11100001
3.6.4. Divisin Binaria

La divisin binaria se hace de la misma forma que en los decimales con la gran venta ja que solo
tenemos dos opciones para buscar divisores
Ejemplo 3.23. Dividir
111011
entre
101.
1.
Ilustraremos el proceso mediante un ejemplo.
En este caso siguiendo las mismas ideas que conocemos
de nuestros cursos de primaria, se tiene

1
-1
(1
0)
3.7. Ejercicios
1. Convertir los siguiente nmeros a decimal
a)
(10112, 00122)3
b)
(1110101, 0101)2
c)
(4102, 0122)5
(3.2)
3.7.
Ejercicios
45
d)
(706501, 1452)8
e)
(201312, 1301)4
f)
(A35F F )16
2. Convertir a la base indicada los siguiente nmeros decimales
a)
458, 35
b)
1250, 55
c)
2012, 142578125
a base
d)
10976, 36
16
e)
4450, 24832
a base
a base
a base
a base
3. En cada uno de los siguientes casos hallar el valor de la base
a)
(144)b = (1100100)2
b)
(122)b = (11112)3
c)
(1001)b = (11120)4
4. Realice las siguientes operaciones
a)
11001 + 11100 + 110011
b)
1110011 + 1111101 + 11111101
c)
111, 0011 + 11, 100111
d)
1110001 111011
e)
10101010 110011
f)
1110, 110 111, 011
g)
111011 1011
h)
11011 1101
i)
101, 011 11, 001
j)
111001 1001
k)
1011011 111
l)
10111, 1011 1, 01
b2
que satisface la igualdad
Captulo 4
lgebra de Boole
El lgebra de Boole fue denida por primera vez por George Boole, autodidacta ingls, como
una forma de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En
la actualidad se usa para el anlisis y diseo de circuitos electrnicos, siendo Claude Shannon en
1948 el primero en aplicar esta teoria meramente matemtica al diseo de circuitos de conmutacin
elctrica biestables. Usando las ideas de Boole, Shannon pudo formular su teora de Codicacin y
John Von Neumann pudo crear el mdelo de arquitectura que dene la estructura interna de los
ordenadores desde la primera generacin.
4.1. Denicin y Propiedades Bsicas

Denicin 4.1. Un lgebra de Boole es un sistema formado por un conjunto
B,
con por lo menos
dos elementos, dos operaciones binarias; la suma + y el producto , y una operacin unitaria,
0
la complementacin denidas en B, tales que se cumplen las siguientes propiedades
1. (Conmutativa) Para todo

2. (Distributivas) Para todo
a, b B,
se tiene que
a+b=b+a
a b = b a.
a, b, c B, se tiene que a(b+c) = ab+ac y a+(bc) = (a+b)(a+c).
3. (Existencia de neutros)
a)
Existe un elemento perteneciente a

satisface
b)
que denotaremos
0,
tal que para todo
aB
se
B,
que denotaremos
1,
tal que para todo
aB
se
a + 0 = a.
Existe un elemento perteneciente a

satisface
B,
a 1 = a.
4. (Existencia de complemento) Para cada

0
y aa =0
a B, existe un elemento en a0 B, tal que a+a0 = 1
46
4.1.
47
Ejemplo 4.2. La lgica matemtica de proposiciones es un lgebra de Boole, donde
1 =Tautologa y el complemento
0
Boole, donde 0 = , 1 = U y es
Ejemplo 4.3. Sea
0 =contradiccin,
es la negacin. Tambin la teora de conjuntos es un lgebra de

el complemento usual de conjuntos.
el conjunto de dos elementos
{0, 1},
con operaciones
denidas a conti-
nuacin
0
0
1
+
0
1
00 = 1
Adems dena el complemento como
0
1
1
1
1
y
10 = 0.
0
0
0
1
0
1
Es fcil mostrar que
con las operaciones
antes mencionadas es un lgebra de Boole.
Notacin:
De aqu en adelante
Algunas veces escribiremos
Proposicin 4.4.
ab
denotar un lgebra de Boole, tal como se deni encima.
en vez de escribir
a b.
1. (Idempotencia). Para todo
2. (Acotacin). Para todo
3. (Absorcin). Para todo
x+x=x
x x = x.
x+1=1
x 0 = 0.
xB
x, y B
se tiene
x+xy =x
4. (Involucin). Para todo
xB
xB
se tiene
5. (Unicidad del complemento). Para cada
x (x + y) = x.
(x0 )0 = x.
xB
x + x0 = 1
existe un nico
x0 B
tal que
x x0 = 0.
Prueba:
1. Usando las propiedades de los neutros, el complemento y distributiva, se tiene que
x = x + 0 = x + x x0 = (x + x) (x + x0 ) = (x + x) 1 = x + x.
Por tanto
lector.
x + x = x.
La propiedad relacionada con el producto es dejada como ejercicio al
48
Captulo 4.
lgebra de Boole
2. Usando las propiedades del neutro para el producto, las propiedades del complement y distributiva, tenemos que
x + 1 = 1 (x + 1) = (x + x0 ) (x + 1) = x + x0 1 = x + x0 = 1.
Por tanto
x + 1 = 1.
Similarmente,
x 0 = x 0 + 0 = x 0 + x x0 = x (x0 + 0) = x x0 = 0.
As que
x 0 = 0.
3. Usando acotacin se tiene lo siguiente
x + x y = x 1 + x y = x (1 + y) = x 1 = x.
Luego
x + x y = x.
De forma similar,
x (x + y) = (x + 0) (x + y) = x + y 0 = x + 0 = x.
Por tanto
4. Como
x (x + y) = x.
x0 B,
existe
(x0 )0 B
tal que
x0 + (x0 )0 = 1
x0 (x0 )0 = 0.
Luego
(x0 )0 = 1 (x0 )0 = (x + x0 ) (x0 )0 = x (x0 )0 + x0 (x0 )0 = x (x0 )0 + 0

= x (x0 )0 + x x0 = x [x0 + (x0 )0 ] = x 1 = x.
Por tanto
(x0 )0 = x.
5. Supongamos que existen
x1 , x2 B
tales que
x1 + x = 1, x2 + x = 1, x1 x = 0
x2 x = 0.
Usando las igualdades anteriores obtemos,
x1 = x1 1 = x1 (x2 + x) = x1 x2 + x1 x = x1 x2 + 0
= x1 x2 + x2 x = x2 (x1 + x) = x2 1 = x2 .
Por tanto
x1 = x2 ,
lo que termina la prueba.

Ahora probaremos la propiedad asociativa para la multiplicacin, para lo cual necesitamos el
siguiente lema
Lema 4.5. Sean

Prueba:
a, b, c B.
Si
a+c=b+c
a + c0 = b + c0 ,
entonces
a = b.
Usando las propiedades del neutro para la suma, las propiedades del complemento, distri-
butiva y las hiptesis, se tiene que
a = a + 0 = a + cc0 = (a + c)(a + c0 ) = (b + c)(b + c0 ) = b + cc0 = b + 0 = b.

Lo que termina la prueba.
4.1.
Proposicin 4.6
49
(Ley asociativa para la multiplicacin).
Sean
x, y, z B.
Entonces
x (y z) = (x y) z.
Prueba:
Usando distributiva y absorcin tenemos que
x + [(xy)z] = [x + (xy)](x + z) = x(x + z) = x.

Adems,
x + [x(yz)] = (x + x)[x + (yz)] = x[x + (yz)] = x.

As que
x + [(xy)z] = x + [x(yz)].
(4.1)
Por otro lado
x0 + [(xy)z] = [x0 + (xy)](x0 + z) = [(x0 + x)(x0 + y)](x0 + z) = [1 (x0 + y)](x0 + z)

= (x0 + y)(x0 + z) = x0 + (yz) = 1 [x0 + (yz)] = (x0 + x)[x0 + (yz)]
= x0 + [x(yz)]
Lo que muestra que
x0 + [(xy)z] = x0 + [x(yz).]
(4.2)
Usando el lema anterior, (4.1) y (4.2), se tiene que
x(yz) = (xy)z.

De forma similar al lema y proposicin anteriores tambin obtenemos los siguientes resultados,
las pruebas son dejadas al lector.
Lema 4.7. Sean

Proposicin 4.8
a, b, c B.
Si
ac = bc
ac0 = bc0 ,
(Ley asociativa para la suma).
entonces
Sean
a = b.
x, y, z B.
Entonces
x + (y + z) = (x + y) + z.
Proposicin 4.9
(Leyes de Morgan).
1.
(x + y)0 = x0 y 0 .
2.
(x y)0 = x0 + y 0 .
Prueba:
Sean
x, y B.
Entonces
Solo probaremos la primera propiedad, la demostracin de la segunda es dejada como
ejercicio al lector. En efecto, usando conmutativa y asociativa obtenemos
(x + y)(x0 y 0 ) = x(x0 y 0 ) + y(x0 y 0 ) = (xx0 )y 0 + x0 (yy 0 ) = 0y 0 + x0 0 = 0.
50
Captulo 4.
lgebra de Boole
Por tanto
(x + y) (x0 y 0 ) = 0
(4.3)
Por otro lado,
(x + y) + (x0 y 0 ) = [(x + y) + x0 ][(x + y) + y 0 ] = [(x + x0 ) + y][x + (y + y 0 )]

= (1 + y)(x + 1) = 1 1 = 1.
As que
(x + y) + (x0 y 0 ) = 1.
x0 y 0 hace
(x + y)0 = x0 y 0 .
De (4.3) y (4.4) vemos que

se concluye que
el mismo traba jo que
(x + y)0
(4.4)
y como el complemento es nico,
Dualidad
El dual de cualquier enunciado en un lgebra de Boole es el enunciado obtenido al intercambiar

las operaciones
e intercambiar los correspondientes elementos neutros
original. Por ejemplo el dual de
(1 + x) (y + 0) = y
es
(0 x) + (y 1) = y.
1,
en el enunciado
Observe que en todas
las propiedades anteriores se presenta esta dualidad y por tanto el dual de cualquier teorema en un
lgebra de Boole es tambin un teorema.
Representacin de las operaciones
El producto
xy
se representa de la siguiente forma
Representaremos la suma
y el complemento
x0
como
x+y
como
4.2.
51
4.2. Expresiones o funciones booleanas

Una expresin booleana (funcin booleana o funcin lgica) es un conjunto nito de smbolos
combinados mediante las operaciones de suma, producto o complementacin. Por ejemplo la expresin
f (x, y, z) = x0 y + xyz
es una funcin boolena. Las expresiones booleanas pueden adoptar
dos formas tiles para las aplicaciones tecnolgicas las formas normales disyuntiva y conjuntiva, las
cuales denimos a continuacin.
4.2.1. Forma normal disyuntiva

Denicin 4.10. Una funcin booleana adopta una forma normal disyuntiva si est escrita como
suma de trminos; en la cual cada trmino es un producto que involucra todas las variables, con
negacin o sin ella. Cada trmino se llama trmino minimal o minter.
El proceso para llegar a la forma normal disyuntiva de un fucin boolena consiste en aplicar las
leyes de Morgan, hasta que los complementos aparezcan aplicados solamente a variables individuales.
Despus, por la aplicacin de la propiedad distributiva de producto con respecto a la suma, la funcin
puede ser reducida a un polinomio. Si en algn trmino falta una variable, por ejemplo
ese trmino se multiplica por
z+
z0
= 1,
z,
entonces
sin cambiar la funcin nalmente simplicamos usando la
propiedad de idempotencia.
Ejemplo 4.11. Escribir la funcin
f (x, y, z) = (xy + z)0 + x0 y 0
en la forma normal disyuntiva.
Solucin: En este caso
f (x, y, z) = (xy + z)0 + x0 y 0 = (xy)0 z 0 + x0 y 0 = (x0 + y 0 )z 0 + x0 y 0 = x0 z 0 + y 0 z 0 + x0 y 0

= x0 (y + y 0 )z 0 + (x + x0 )y 0 z 0 + x0 y 0 (z + z 0 ) = x0 yz 0 + x0 y 0 z 0 + xy 0 z 0 + x0 y 0 z 0
+ x0 y 0 z + x0 y 0 z 0 = x0 yz 0 + x0 y 0 z 0 + xy 0 z 0 + x0 y 0 z.
As que
en la forma normal disyuntiva queda como
f (x, y, z) = x0 yz 0 + x0 y 0 z 0 + xy 0 z 0 + x0 y 0 z.
La forma normal disyuntiva en
yuntiva completa en
n=3
variables que tiene
2n
trminos se llama forma normal dis-
variables y es identicamente igual a la unidad. Por ejemplo, para el caso de
variables en forma normal disyuntiva completa se puede obtener de la siguiente tabla
f (x, y, z)
x0 y 0 z 0
x0 y 0 z
x0 yz 0
x0 yz
xy 0 z 0
xy 0 z
xyz 0
xyz
52
Captulo 4.
lgebra de Boole
Note que los ceros indican que la variable asociada es con complemento. La funcin completa es la
siguiente
f (x, y, z) = x0 y 0 z 0 + x0 y 0 z + x0 yz 0 + x0 yz + xy 0 z 0 + xy 0 z + xyz 0 + xyz = 1.
4.2.2. Forma normal conjuntiva

Denicin 4.12. Una funcin booleana adopta una forma normal conjuntiva si est escrita como
un producto de trminos; en la cual cada trmino es una suma que involucra todas las variables, con
negacin o sin ella. Cada trmino se llama trmino maximal o maxter.
El proceso para llegar a la forma normal conjuntiva de un fucin boolena consiste en aplicar las
leyes de Morgan, hasta que los complementos aparezcan aplicados solamente a variables individuales.
Despus, por la aplicacin de la propiedad distributiva de la suma con respecto al producto la funcin
puede ser factorizada y si en algn termino falta una variable, por ejemplo
se le suma
zz 0 = 0,
z , entonces a ese trmino
lo que no cambia la funcin, nalmente simplicamos usando la propiedad de
idempotencia.
f (x, y, z) = (xy + z)0 + x0 y 0
en la forma normal conjuntiva.
Solucin: En este caso
f (x, y, z) = (xy + z)0 + x0 y 0 = (xy)0 z 0 + x0 y 0 = (x0 + y 0 )z 0 + x0 y 0

= [(x0 + y 0 )z 0 + x0 ][(x0 + y 0 )z 0 + y 0 ] = (x0 + y 0 + x0 )(z 0 + x0 )(x0 + y 0 + y 0 )(z 0 + y 0 )
= (x0 + y 0 )(x0 + z 0 )(y 0 + z 0 ) = (x0 + y 0 + zz 0 )(x0 + z 0 + yy 0 )(y 0 + z 0 + xx0 )
= (x0 + y 0 + z)(x0 + y 0 + z 0 )(x0 + z 0 + y)(x0 + z 0 + y 0 )(y 0 + z 0 + x)(y 0 + z 0 + x0 )
= (x0 + y 0 + z)(x0 + y 0 + z 0 )(x0 + y + z 0 )(x + y 0 + z 0 )
As que
en la forma normal conjuntiva queda como
f (x, y, z) = (x0 + y 0 + z)(x0 + y 0 + z 0 )(x0 + y + z 0 )(x + y 0 + z 0 ).

La forma normal conjuntiva en
juntiva completa en
variables que tiene
2n
trminos se llama forma normal con-
variables y es identicamente igual a cero. Por ejemplo, para el caso de
variables en forma normal conjuntiva completa se puede obtener de la siguiente tabla
f (x, y, z)
x+y+z
x + y + z0
x + y0 + z
x + y0 + z0
x0 + y + z
x0 + y + z 0
x0 + y 0 + z
x0 + y 0 + z 0
n=3
4.2.
53
La funcin completa es la siguiente
f (x, y, z) = (x0 +y 0 +z 0 )(x0 +y 0 +z)(x0 +y +z 0 )(x0 +y +z)(x+y 0 +z 0 )(x+y 0 +z)(x+y +z 0 )(x+y +z),
y es igual a cero.
Ejemplo 4.14. Encontrar y simplicar la funcin booleana representada en la siguiente tabla
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
Solucin: Tenemos dos opciones de escribir a
z
0
1
0
1
0
1
0
1
f (x, y, z)
1
0
1
1
1
0
1
1
f (x, y, z), en la forma normal disyuntiva o conjuntiva.
Si decidimos escribir la funcin en la forma normal disyuntiva tenemos que recordar que los trminos
que deben aparecer son los que en la ltima la tiene un uno (1), y que los ceros y unos de las las
dos a tres (1-3) indican que la variable aparece con o sin complemento, respectivamente. En tal caso,
se tiene que
f (x, y, z) = x0 y 0 z 0 + x0 yz 0 + x0 yz + xy 0 z 0 + xyz 0 + xyz.

Simplicaremos esta funcin booleana, como sigue
f (x, y, z) = (y 0 + y)x0 z 0 + (x0 + x)yz + (y 0 + y)xz 0 = x0 z 0 + yz + xz 0

= (x0 + x)z 0 + yz = z 0 + yz = (z 0 + y)(z 0 + z) = y + z 0 .
Por otro lado, si decidimos escribir la funcin en la forma normal disyuntiva tenemos que recordar que los trminos que deben aparecer son los que en la ltima la tiene un cero (0), y que los
ceros y unos de las las dos a tres (1-3) indican que la variable sin aparece o con complemento,
respectivamente. En tal caso, se tiene que
f (x, y, z) = (x + y + z 0 )(x0 + y + z 0 ).
Simplicando esta funcin obtenemos
f (x, y, z) = (x + y + z 0 )(x0 + y + z 0 ) = (xx0 )(y + z 0 ) = y + z 0 .

Note que en este ejemplo es mucho mas fcil trabajar con la forma normal conjuntiva y desde el
principio sabemos que va a ser as simplemente porque hay menos ceros que unos en la ltima la
de la tabla que dene la funcn. Observe tambin que no importa como se escriba la funcn, ya sea
en la forma normal disyuntiva o conjuntiva, la expresin despus de simplicarla es la misma.
54
Captulo 4.
lgebra de Boole
4.2.3. Como pasar de una forma a otra (Conjuntiva Disyuntiva)

Para pasar de una forma a otra, es decir de la forma normal conjuntiva a la disyuntiva, o de
la disyuntiva a conjuntiva, hacemos dos complementos, el primer complemento es el complemento
usual del lgebra de Boole y el segundo es un complemento de conjuntos, donde el universo seria la
forma norma completa. Es decir lo que le falta a la expresin encontrada para llegar a ser la forma
normal completa, sea conjuntiva o disyuntiva. Veamos un ejemplo
Ejemplo 4.15. Encuentre la forma normal conjuntiva de la siguiente funcin booleana
f (x, y, z) = x0 y 0 z 0 + x0 yz + xyz.
Solucin: Primero complementamos usando las leyes de Morgan
f 0 = (x0 y 0 z 0 + x0 yz + xyz)0 = (x0 y 0 z 0 )0 (x0 yz)0 (xyz)0 = (x + y + z)(x + y 0 + z 0 )(x0 + y 0 + z 0 ).

Luego determinamos que elementos le faltan a la expresin de arriba para llegar a ser la forma
normal conjuntiva completa, lo cual nos da que
f = (f 0 )0 = (x + y 0 + z)(x + y + z 0 )(x0 + y + z)(x0 + y 0 + z)(x0 + y + z 0 ).
Hagamos otro ejemplo
Ejemplo 4.16. Encuentre la forma normal conjuntiva de la siguiente funcin booleana
f (x, y, z) = (x + y + z 0 )(x0 + y + z)(x0 + y 0 + z 0 ).

Solucin: Primero complementamos usando las leyes de Morgan
f 0 = [(x + y + z 0 )(x0 + y + z)(x0 + y 0 + z 0 )]0 = (x + y + z 0 )0 + (x0 + y + z)0 + (x0 + y 0 + z 0 )0

= xy 0 z + xy 0 z 0 + xyz
Luego determinamos que elementos le faltan a la expresin de arriba para llegar a ser la forma
normal disyuntiva completa, lo cual nos da que
f = (f 0 )0 = xyz 0 + x0 yz + x0 yz 0 + x0 y 0 z + x0 y 0 z 0 .
4.3. Mapas de Karnaugh

Muchas veces se diculta simplicar expresiones booleanas usando solamente las propiedades
bsicas del lgebra de Boole, por tal motivo en esta seccin se estudian los mapas de Karnaugh
o mapas K, los cuales son una herramienta muy efectiva para hacer simplicaciones de funciones
booleanas.
4.3.
Mapas de Karnaugh
Denicin 4.17
55
(Mapas de Karnaugh).
Son diagramas rectangulares que tienen
2n
casillas, donde
es el nmero de variables lgicas consideradas. Los diagramas asocian a cada casilla una la de
la tabla de verdad de la funcin booleana. El nmero binario que identica cada la de la tabla de
verdad se hace corresponder con las coordenadas binarias que identican cada casilla del mapa K.
Trabajaremos siempre con los trminos minimales o minterns, llenando los compartimentos correspondiente a los unos (1) que aparecen en la tabla de verdad, pues siempre vamos a considerar la
funcin booleana expresada en la forma normal disyuntiva.
A continuacin mostramos la forma que toman los mapas de Karnaugh de dos, tres y cuatro
variables.
4.3.1. Mapas de Karnaugh de dos variables

Una expresin booleana con dos variables
f (x, y)
tiene una tabla de verdad de cuatro las,
conteniendo cada una el valor de la funcin para cada combinacin de valores de verdad de las
cariables
x, y.
El mapa de K correspondiente es el siguiente
x0 = 0
x=1
y0 = 0
y=1
Sin dos casillas contiguas (horizontal o verticalmente, pero no en diagonal) tienen unos (1), se dice
que forman un implicante.
4.3.2. Mapas de Karnaugh de tres variables

El mapa K para tres variables es una tabla de
x0 y 0
00
24
x0 y
01
tal como se ilustra a continuacin
xy
11
xy 0
10
z0 = 0
z=1
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos. Tambin se consideran las
adyacencias entre la primera y la cuarta columna, tal como si el mapa K fuera dibujado sobre un
cilindro. Adems, las adyacencias pueden estar en una sola la o un cuadrado.
56
Captulo 4.
lgebra de Boole
4.3.3. Mapas de Karnaugh de cuatro variables

El mapa K para cuatro variables es una tabla de
x0 y 0
00
z 0 w0
00
z0w
01
zw
11
zw0
10
44
x0 y
01
tal como se ilustra a continuacin
xy
11
xy 0
10
En este caso pueden ocurrir adyacencias de dos, cuatro, ocho y diecisis unos que eliminan una, dos,
tres o cuatro variables, respectivamente. Tambin se consideran las adyacencias entre la primera y
la cuarta columna, y la primera y cuarta la.
4.3.4. Algoritmo de Minimizacin mediante Mapas de Karnaugh

A continuacin denimos varios trminos comunmente usados en los procesos de simplicacin
de funciones lgicas
Denicin 4.18
(Adyacencia prima).
Adyacencia que no est incluida completamente dentro de
otra adyancencia. No puede combinarse con otra adyacencia para eliminar una o varias variables.
Denicin 4.19
(Adyacencia prima esencial).
Adyacencia prima que contiene uno ms mintrminos
que no estn incluidos en cualquier otra adyacencia prima.
El algoritmo de simplicacin es el siguiente
1. Idencar las adyacencias primas. Para esto se busca obtener los grupos con mayor cantidad
de unos adyacentes. Los grupos deben contener un nmero de unos que son potencias de dos,
estos es, 2, 4, 8 o 16.
2. Identicar todas las adyacencias primas esenciales
3. La expresin mnima se obtiene seleccionando todas las adyacencias primas esenciales y el menor nmero de adyacencias primas para cubrir los mintrminos no incluidos en las adyacencias
primas esenciales.
Hagamos varios ejemplos para ilustrar la idea del mtodo.
Ejemplo 4.20. Simplicar la funcin booleana representada en la siguiente tabla
4.3.
Mapas de Karnaugh
57
x
0
0
1
1
y
0
1
0
1
f (x, y)
0
1
1
1
El mapa K correspondiente a la tabla de encima es
x0
y0
x
1
Este mapa K tiene dos adyacencias, una en la segunda la y otra en la segunda columna. La funcin
que queremos simplicar es
f (x, y) = x0 y + xy 0 + xy.
Usando las adyacencias antes mencionadas obtenemos la siguiente simplicacin
f (x, y) = x + y
Ejemplo 4.21. Simplicar la funcin booleana representada en la siguiente tabla
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
f (x, y)
1
0
1
1
1
1
1
1
El mapa K correspondiente a la tabla de encima es
z0
z
x0 y 0
x0 y
xy
xy 0
Este mapa K tiene tres adyacencias primas esenciales ilustradas arriba. La funcin que queremos
simplicar es
f (x, y) = xyz + x0 yz + x0 yz 0 + xy 0 z + xy 0 z 0 + xyz 0 + xy 0 z 0 .
58
Captulo 4.
lgebra de Boole
f (x, y) = x + y + z 0
Ejemplo 4.22. Simplicar la funcin booleana cuyo mapa de Karnaugh es el siguiente
x0 y 0
z 0 w0
x0 y
xy
xy 0
1
z0w
zw
zw0
Este mapa K tiene tres adyacencias primas esenciales. La funcin que queremos simplicar es
f (x, y) = x0 y 0 z 0 w0 + x0 y 0 zw + x0 y 0 zw0 + xyzw + xyzw0 + xy 0 z 0 w0 + xy 0 zw + xy 0 zw0 .

f (x, y) = xz + y 0 w0 + y 0 z
4.4. Compuertas lgicas

A continuacin aplicaremos el lgebra booleana estudiada en la seccin anterior al diseo de circuitos lgicos. Basicamente estudiaremos dos problemas. Primero simplicaremos un circuito dado
que tenga determinadas propiedades y segundo, dadas ciertas propiedades disearemos un circuito
lgico correspondiente. Este ltimo problema es equivalente a encontrar una funcin booleana asociada a una tabla de verdad dada. Para tal n debemos introducir el concepto de compuerta lgica,
el cual es un dispositivo que nos permite obtener resultados, dependiendo de los valores de las seales
o estados lgicos que le ingresemos. Las tres compuertas fundamentales ya mencionadas (AND, OR
y NOT) son sucientes para escribir cualquier ecuacin booleana, sin embargo por cuestiones de
fabricacin las ms usadas son las NAND y NOR, las cuales introducimos a continuacin.
4.4.1. Compuerta NAND

La compuerta NAND (not and), denominada tambin compuerta Sheer, es la negacin de una
compuerta AND y se dene como
x NAND y = (x y)0 .
El smbolo para la compuerta NAND se muestra a continuacin
4.4.
Compuertas lgicas
59
4.4.2. Compuerta NOR

La compuerta NOR (not or), denominada tambin operacin de Pierce, es la negacin de una
compuerta OR y se dene como
x NOR y = (x + y)0 .
El smbolo para la compuerta NOR se muestra a continuacin
Existen otros tipos de compuertas, tales como la XOR y la XNOR, pero la forma ms usual de
disear circuitos lgicos es slo usar un tipo de compuertas, ya sean NAND o NOR, lo cual ha sido
impuesto por consideraciones constructivas, pues es mucho ms eciente la fabricacin en serie y
automatizada de circuitos integrados y chips que solo utillizan una sola clase de compuertas. Por
este motivo, en este libro slo disearemos circuitos usando las dos compuertas arriba denidas.
Vale la pena notar que usando la compuerta NAND o NOR se pueden obtener el complemento, si
es que lo necesitamos, para eso usamos las dos propiedades
x0 = (x x)0
x0 = (x + x)0 , gracamente
sera lo siguiente
x0
f (x, y, z) = (xy 0 +xz)0
x0
en forma normal disyuntiva, simplicarla
usando mapas de Karnaugh y dibujar el circuito lgico correspondiente.
Solucin:
f (x, y, z) = (xy 0 )0 (xz)0 = (x0 + y)(x0 + z 0 ) = x0 + x0 z 0 + yx0 + yz 0

= x0 (z + z 0 ) + x0 z 0 (y + y 0 ) + yx0 (z + z 0 ) + yz 0 (x + x0 )
= x0 z + x0 z 0 + x0 yz 0 + x0 y 0 z 0 + x0 yz + x0 yz 0 + xyz 0 + x0 yz 0
= x0 z(y + y 0 ) + x0 z 0 (y + y 0 ) + x0 yz 0 + x0 y 0 z 0 + x0 yz + xyz 0
= x0 yz + x0 y 0 z + x0 yz 0 + x0 y 0 z 0 + x0 yz 0 + x0 y 0 z 0 + x0 yz + xyz 0
= x0 yz + x0 y 0 z + x0 yz 0 + x0 y 0 z 0 + xyz 0
El mapa de Karnaugh correspondiente es el siguiente
60
Captulo 4.
x0 y 0
x0 y
xy
z0
lgebra de Boole
xy 0
La funcin booleana simplicada es
f (x, y, z) = yz 0 + x0 .
Para disear el circuito lgico correspondiente, no slo para este ejemplo sino para todos los circuitos,
usaremos un bus"de variables de entrada y sus negaciones (la linea que sale del pequeo crculo es
la negacin de la variable correspondiente), de la siguiente forma:
w0
Podramos slo usar compuertas NAND en el diseo del circuito para lo cual necesitamos escribir a
como productos complementados, donde posiblemente sobren complementos, ms exactamente
f (x, y, z) = yz 0 + x0 = [(yz 0 + x0 )0 ]0 = [(yz 0 )0 (x0 )]0 .

Luego se obtiene que el circuito usando solamente compuertas NAND es el siguiente,
Podramos tambin slo usar compuertas NOR en el diseo del circuito para lo cual necesitamos
escribir a
como sumas complementadoas, donde posiblemente sobren complementos, ms exacta-
mente
f (x, y, z) = yz 0 + x0 = [(yz 0 )0 ]0 + x0 = (y 0 + z)0 + x0 = [((y 0 + z)0 + x0 )0 ]0 .
4.5.
Ejercicios
61
Note que en este caso nos sobra un complemento. Luego se obtiene que el circuito usando solamente
compuertas NOR es el siguiente,
4.5. Ejercicios
1. Muestre que en lgebra de Boole los neutros para la suma y el producto son nicos.
2. Escribir cada una de las siguientes expresiones booleanas en la forma normal disyuntiva con
el menor nmero de variables posible
a)
(x + y + z 0 )0 + (xy)0
b)
x + y + z(xy + y 0 )
c)
(x0 + y)(x + y + z 0 ) + xy(z + x + y)0
d)
(xy + z 0 )0 (xw0 + y) + xwz 0
e)
xyz + xyz 0 + xy(xy + z 0 + x)0
f)
(xy + w0 )0 (x + yw + z)
3. Escribir cada una de las siguientes expresiones booleanas en la forma normal conjuntiva con
el menor nmero de variables posible
a)
(x0 + y 0 + z)0 + x0 y
b)
x0 + y 0 + z(xy + y 0 )0
c)
(x0 + y)0 (x + y + z 0 ) + (xy)0 (z + x + y)
d)
(xy + z 0 )(xw + y)0 + (xw0 z)0
e)
x0 yz 0 + xyz 0 + (xy)0 (xy + z 0 + x)0
f)
(xy + w0 )0 (x + yw + z)
4. Escribir cada una de las siguientes expresiones booleanas en la forma normal disyuntiva
a)
f (x, y, z) = (x + y + z)(x0 y 0 z 0 )(x + y 0 + z)
62
Captulo 4.
b)
g(x, y) = (x + y)(x + y 0 )
c)
h(x, y, z, w) = (x + y + z + w)(x0 + y 0 + z 0 + w0 )(x + y + z 0 + w0 )
lgebra de Boole
5. Escribir cada una de las siguientes expresiones booleanas en la forma normal conjuntiva
a)
f (x, y, z) = xyz + xy 0 z 0 + x0 y 0 z 0
b)
g(x, y) = xy + x0 y
c)
h(x, y, z, w) = xyzw + x0 y 0 zw + xyzw0
6. Para cada una de las siguientes expresiones, encuentre la forma normal disyuntiva, simplique
usando mapas K y disee el circuito lgico correspondiente usando solamente compuertas
NAND.
a)
f (x, y, z) = xy(x0 y + z)0 + x0 z 0
b)
g(x, y) = xy(x0 + y)0
c)
h(x, y, z, w) = (xy)0 + (x0 y 0 zw + xyzw)0
d)
k(x, y, z) = xy + xy 0 (x + y + z 0 )
7. Para cada una de las siguientes expresiones, encuentre la forma normal conjuntiva, simplique
usando mapas K y disee el circuito lgico correspondiente usando solamente compuertas
NOR.
a)
f (x, y, z) = (x0 y + z)0 + x0 z 0
b)
g(x, y) = x0 y 0 + (x0 + y)0
c)
h(x, y, z, w) = (x + y)0 (x0 y 0 zw + xyzw)0
d)
k(x, y, z) = x + y + xy 0 (x + y + z 0 )0
8. Disear el circuito lgico correspondiente a la siguiente tabla usando solamente compuertas

NAND y luego hgalo usando slo compuertas NOR
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
f (x, y)
1
0
1
1
0
1
0
1
9. Determinar las expresiones simplicadas para cada uno de los siquientes mapas de Karnaugh.
Bibliografa
[1] Barco, Carlos, Barco, Germn y Aritizbal, William,
Matemtica Digital,
McGraw-Hill Inter-
americana, S.A., Colombia, 1998.
[2] Bloch, Ethan,
Proof and Fundamentals,
[3] Pinter, Charles,
Set Theory,
Birkhuser, Boston, 2000.
Addison-Wesley Publishing Company, 1971.
[4] Taylor, Howard y Wade, Thomas,
Matemticas bsicas con vectores y matrices,
1989.
63
Limusa, Mexico,

Logica Matematica 2015-1

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Logica Matematica 2015-1

Transféré par

Droits d'auteur :

Formats disponibles

Notas de Clases de Lgica Matemtica (Borrador, Draft)

Carlos Alberto Banquet Brango

Relaciones entre Armaciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Negando armaciones con Cuanticadores.

Operaciones entre Conjuntos

Conjuntos Finitos y Principio de Conteo

3. Cdigos y Sistemas de Numeracin

Sistema de Numeracin Decimal

Sistema de Numeracin Binario

Sistema de Numeracin Octal

Sistema de Numeracin Hexadecimal . . . . . . . . . . . . . . . . . . . . . . . . . . .

Conversin entre Sistemas de Numeracin

Conversin Decimal a Binario . . . . . . . . . . . . . . . . . . . . . . . . . . .

Conversin del Sistema Decimal al Octal . . . . . . . . . . . . . . . . . . . . .

Conversin del Sistema Decimal a Hexadecimal

Conversin entre los Sistemas Binario y Octal . . . . . . . . . . . . . . . . . .

Conversin entre los Sistemas Hexadecimales y Binario . . . . . . . . . . . . .

Operaciones Aritmticas en el Sistema Binario . . . . . . . . . . . . . . . . . . . . . .

Denicin y Propiedades Bsicas

Expresiones o funciones booleanas

Forma normal disyuntiva

Forma normal conjuntiva

Como pasar de una forma a otra (Conjuntiva

Mapas de Karnaugh de dos variables . . . . . . . . . . . . . . . . . . . . . . .

Mapas de Karnaugh de tres variables . . . . . . . . . . . . . . . . . . . . . . .

Mapas de Karnaugh de cuatro variables

Algoritmo de Minimizacin mediante Mapas de Karnaugh

1.2. Armaciones o Enunciados.

Intuitivamente una armacin es algo que expresamos (en forma oral,

Ley del Medio Excluido.

La mayora de los matemticos

La capital de Colombia es Bogot,

debajo de la torre Eiel hay un carro rojo,

podemos construir nuevas armaciones, por ejemplo:

debajo de la torre Eiel hay un carro rojo,

La capital de Colombia es Bogot y

La capital de Colombia es Bogot o debajo de

la torre Eiel hay un carro rojo.

1.2.1. Operaciones Bsicas.

(Corresponde al y del lengua je comn). Sean P y Q armaciones. La

En el lenguaje comn la palabra

podra tener otros signicados, sin embargo para nosotros

el signicado es el que nos da la tabla.

del lengua je comn). La armacin

es verdadero si cualquiera de las dos armaciones lo es o si ambas lo

son. De forma mas precisa:

Este es un o inclusivo y no exclusivo. En el lengua je coloquial muchas veces no se permite

denicin precisa de la negacin es:

del lenguaje comn). La armacin

Por ejemplo, si P: La capital de Colombia es Bogot, su negacin ser

del lenguaje comn). La armacin

Intuitivamente es verdadera si nunca ocurre que

sea falso al mismo tiempo. La denicin precisa es:

cedente es falso, cualquier cosa puede ocurrir con el consecuente.

tambin se lee si

Q;  Q siempre que P ; suponiendo P ,

En el siguiente ejemplo todas las armaciones quieren decir lo mismo.

es un nmero par slo si

sea par entonces

es par es suciente para que

es necesario para que

Si y slo si . La armacin P Q intuitivamente nos dice que es

verdadera siempre que

P Q, P si y slo si Q, P si y solamente si Q, P es necesario

Relaciones entre Armaciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Negando armaciones con Cuanticadores.

Denicin y Propiedades Bsicas

1.2. Armaciones o Enunciados.

Intuitivamente una armacin es algo que expresamos (en forma oral,

La capital de Colombia es Bogot,

debajo de la torre Eiel hay un carro rojo,

podemos construir nuevas armaciones, por ejemplo:

debajo de la torre Eiel hay un carro rojo,

La capital de Colombia es Bogot y

La capital de Colombia es Bogot o debajo de

la torre Eiel hay un carro rojo.

(Corresponde al y del lengua je comn). Sean P y Q armaciones. La

podra tener otros signicados, sin embargo para nosotros

el signicado es el que nos da la tabla.

del lengua je comn). La armacin

es verdadero si cualquiera de las dos armaciones lo es o si ambas lo

Este es un o inclusivo y no exclusivo. En el lengua je coloquial muchas veces no se permite

denicin precisa de la negacin es:

del lenguaje comn). La armacin

del lenguaje comn). La armacin

sea falso al mismo tiempo. La denicin precisa es:

tambin se lee si

Q; Q siempre que P ; suponiendo P ,

En el siguiente ejemplo todas las armaciones quieren decir lo mismo.

es par es suciente para que

Si y slo si . La armacin P Q intuitivamente nos dice que es

abreviamos si y slo si por sii.

Ejemplo 1.6. Qu signicado tiene

podemos armar armaciones ms complicadas.

Obsrvese el papel que desempean los parntesis en la armacin

Relaciones entre Armaciones.

es una armacin que siempre es verdadera, sin importar el valor de verdad de

Ejercicio 1.8. La armacin

es una armacin que siempre es falsa sin importar el valor de verdad de

Ejercicio 1.9. La armacin

Ejercicio 1.10. La armacin

1.3. Relaciones entre Armaciones.

es una meta-armacin. En realidad

Relaciones entre Armaciones.

Denicin 1.13. Diremos que P equivale a

pues la primera es una meta-armacin y la

segunda es una armacin.

(Denicin Alterna del Condicional).

Segun la lgica es una coleccin de armaciones, siendo la ltima llamada la conclu-

Solucin. Para hacer la interpretacin denamos

Las premisas no necesitan justicacin

Para todo nmero real

Preguntmonos cundo sera cierta dicha armacin. La respuesta sera:

Esta nueva expresin si es una armacin, all la variable

Esta expresin es un ejemplo de un cuanticador. Tambin podramos haber

dicho. Para todo nmero real

pero esta ltima armacin es falsa. Podemos decir

est delimitada por el cuanticador Para todo nmero real

1.5.1. Cuanticador Universal.