Módulo+completo Lógica+Matemática

Logica para computacion
Amaury Camargo Bentez
Indice general
INDICE GENERAL
0.1.
0.1.1.
Logica proposicional
Introducci
on
Se puede decir, que la logica es la ciencia de los principios de inferencia o razonamientos

formalmente validos. Lo especco de un razonamiento o inferencia conciste en derivar una
conclusion a partir de unas premisas siguiendo una regla de inferencia dada, llamada modus
ponens. De esta conclusion se dice que es formalmente valida, es decir, que si sus premisas
son verdaderas entonces la conclusion tambien es verdadera. La logica se ocupa de la validez
de los razonamientos y no de la verdad o falsedad de los enunciados que la componen.
0.1.2.
L
ogica Informal
Afirmaciones o Enunciados
Al probar teoremas en matematicas debemos decidir si ciertas armaciones son ciertas o no.
Afirmaci
on: Entenderemos que una armacion es algo (que expresamos en forma oral,
escrita o de cualquier otra forma) de los que se puede decir si es cierto o falso.
El tablero de este salon es verde y el tablero del salon 19 01 es blanco. Ambas son
armaciones. De la primera no tenemos dudas si es verdadera o falsa y de la segunda no hay
certeza, sin embargo, tambien es una armacion y no es necesario estar en la capacidad de
saber personalmente la respuesta.
Por otra parte, Viajar en la noche y mirar television. No son armaciones. De estas no
se puede decir que sean verdaderas o falsas.
Toda armacion es verdadera o falsa y no hay una armacion que sea verdadera y falsa al
mismo tiempo. Esta suposicion la llamamos la Ley del tercero excluido.
La mayora de los matematicos lo aceptan, sin embargo, algunos demasiado formales se
rehusan a usarla.
Una consecuencia de esta suposicion es que si una armacion no es falsa tendra que ser
verdadera; a partir de armaciones podemos construir otras armaciones.
Operaciones B
asicas
Las palabras y, o, no, si,...,entonces, si y solo si,(conectivos logicos) nos permitiran
nuevas armaciones y, ademas, conociendo los valores de verdad, es decir, si son V o F , de
las armaciones que componen las armaciones nuevas, podremos deducir el valor de verdad
de la armacion que se construya.
Los conectivos logicos, tienen una notacion especial y su sentido en matematicas es
preciso.
0.1. LOGICA PROPOSICIONAL
Cada proposicion tiene una forma logica a la cual se le da un nombre. Se distinguen dos tipos
de proposiciones: simples y compuestas. Una proposicion se denomina simple cuando ella
no interviene ninguna conectiva logica o termino de enlace (y, o, no, si,... entonces..., si y
solo si). Si se juntan una o varias proposiciones simples con un termino de enlace, se forma
una proposicion compuesta. Los terminos de enlace, y, o, si...entonces, si y solo si;
se usan para ligar dos proposiciones, en cambio el termino de enlace no se agrega a una
sola proposicion.
La forma de las proposiciones compuestas depende del termino de enlace utilizado, y no del
contenido de la proposicion o proposiciones simples. Es decir si en una proposicion compuesta
se sustituyen las proposiciones simples por otras proposiciones simples cualesquiera, la forma
de la proposicion compuesta se conserva.
Observaci
on: Generalmente para representar las proposiciones utilizamos letras latinas may
usculas o min
usculas como p, q, r, ...
Teniendo como base las armaciones: P : El tablero de este salon es verde, Q: El tablero
del salon 315 es blanco, podemos construir nuevas armaciones, por ejemplo: P y Q: El
tablero de este salon es verde y el tablero del salon 315 es blanco, P o Q: El tablero de este
sal
on es verde o el tablero del salon 315 es blanco.
Tablas de verdad Para evitar ambig

uedades, denimos el uso de los smbolos mediante
tablas de verdad.
Estas tablas pueden construirse haciendo una interpretacion de los logicos, , , , =,
; como: no, o, y, si...entonces, si y solo si, respectivamente. La interpretacion corresponde al
sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas de verdad y la deduccion logico-matematica.
En consecuencia, las tablas de verdad constituyen un m
etodo de decisi
on para chequear
si una proposicion es o no un teorema.
Conjunci
on () (Corresponde al y del lenguaje com
un). Sean P y Q armaciones. La
armacion P Q se lee P y Q es intuitivamente verdadera si ambas son verdaderas y falsa
si alguna de ellas es falsa, pero su denicion precisa se consigna en la siguiente tabla, que
llamamos tabla de verdad.
P Q P Q
V V
V
V F
F
F V
F
F F
F
INDICE GENERAL
Nota: En el lenguaje com

un la palabra y podra tener otros signicados (pero, tambien,
a
un), sin embargo para nosotros el signicado es el que nos da la tabla.
Disyunci
on () (Corresponde al o del lenguaje com
un). Las armaciones P Q se lee
P o Q, intuitivamente P Q es verdadero si cualquiera de las dos armaciones lo es o si
ambas lo son.
P Q P Q
V V
V
V F
V
F V
V
F F
F
Nota: Este en un o inclusivo y no exclusivo. En el lenguaje coloquial muchas veces no se
permite que ambas sean verdaderas.
Despues del almuerzo como postre o me lavo los dientes. En la armacion anterior dada en
lenguaje com
un uno entiende que no hara las dos cosas despues de almuerzo. Aqu el o es
exclusivo, pero en el lenguaje matematico el o que se usa es el inclusivo.
Negaci
on () (Corresponde al no del lenguaje com
un). La armacion P que se lee
no P , intuitivamente P es falso cuando P es verdadero y P es veradero cuando P no
lo es. La denicion precisa de la negacion es:
P
V
F
P
F
V
P : El tablero de este salon es verde.

P : El tablero de este salon no es verde.
Aunque es simple, no debe confundirse P con lo contrario de P.

La negacion de Juan es rico; no es Juan es pobre
Condicional () (Corresponde al Si,...,entonces... del lenguaje com

un). La armacion
P Q se lee Si P entonces Q, intuitivamente es verdadera si nunca ocurre que P sea
verdadera y que Q sea falso al mismo tiempo. La denicion precisa es:
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
V
V
Las dos primeras lneas son creibles, las dos u

ltimas nos cuestan mas trabajo. Tratemos de
entenderlas con el siguiente ejemplo.
Si Jorge se toma las sopas, entonces yo le compro un helado. Cual sera el u
nico caso en
el que Jorge reclamara?. Es claro que si Jorge se toma las sopas y yo le compro el helado,
entonces la armacion condicional se verica; Tambien es claro que si Jorge se toma las sopas
y yo no le compro el helado, entonces la armacion condicional no se verica; ahora, si Jorge
no se toma las sopas y yo le compro el helado, entonces la armacion condicional se verica.
Por u
ltimo, se cumple que si Jorge no se toma las sopas y yo no le compro el helado, la
armacion condicional se verica.
P Q se puede escribir Q P. Donde P es el antecedente y Q es el consecuente.
As pues, los dos u
ltimos renglones de la tabla los interpretamos as: Si el antecedente es
falso, cualquier cosa puede ocurrir con el consecuente.
P Q se lee si P, Q; Q si P ; P solo si Q; Q siempre que P ; suponiendo P ,
entonces Q; Q dado que P ; P es suciente para Q y Q es necesario para P .
En el ejemplo siguiente, todas las armaciones quieren decir lo mismo.
1. Si p es un n
umero par, p = 2m para alg
un m Z.
2. p = 2m para alg
un m Z, si p es par.
3. p es un n
umero para solo si p = 2m para alg
un m Z.
4. p = 2m para m Z siempre que p sea par.
5. Suponiendo que p sea par entonces p = 2m para alg
un m Z.
6. p es par es suciente para que p = 2m para alg
un m Z.
7. p = 2m para alg
un m Z es necesario para que p sea par.
INDICE GENERAL
Bicondicional () Si y solo si. La armacion P Q intuitivamente nos dice que

es verdadera siempre que P y Q sean ambas verdaderas o ambas falsas, pero que es falso en
caso contrario.
P Q P Q
V V
V
V F
F
F V
F
F F
V
Yo estudiare fundamentos hoy si y solo si t
u lo haces tambien.
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.
Otras formas de leer P Q, Q P, P si y solo si Q, P si y solamente si Q, P es
necesario y suciente para Q. Tambien podemos escribir a P Q por Q P ; a veces
abreviamos si y solo si por sii.
Disyunci
on excluyente (Disyuncion exclusiva): Si P y Q son proposiciones, la expresion
P Y Q es una abreviatura de la proposicion (P Q) P Q, de tal maera, su tabla de verdad
se calcula como sigue:
P
V
V
F
F
Q
V
F
V
F
P Q P Q QP
V
V
F
V
F
V
V
F
V
F
V
F
(P Q) Q P
F
V
V
F
Esto es,
P
V
V
F
F
Q
V
F
V
F
P YQ
F
V
V
F
Observaci
on
Si P y Q son proposiciones, entonces P Y Q es una proposicion que es verdadera precisamente
cuando los valores de verdad de P y Q no coinciden. En otras palabras, P Y Q es verdadera
si se tiene que solo P es verdader, o se tiene que solo Q es veradera, pero no cuando ambas
son veraderas ni cuando ambas son falsas.
(Ilustracion)
1. Trainganlo vivo o (trainganlo) muerto es una instancia de la disyuncion excluyente.

2. (6 > 2) Y (6 < 2) es una ejemplo mas formal.
Observaci
on
Cuando se trabaja con proposiciones, es indispensable el buen uso de los parentesis; su
descuido provoca numerosos errores.
El papel de los parentesis es similar al de la puntuacion en nuestra gramatica; separa unidades
mas peque
nas dentro del discurso.
Su importancia radica en que debemos procurar que lo que escribamos en Matematicas no
este sujeto a interpretaciones distintas, es decir, que carezca de ambig
uedad.
Tome en cuenta que un cambio en la puntuacion puede modicar completamente el sentido
de la frase.
En el
algebra elemental
El uso de parentesis en proposiciones tiene analoga utilidad y similares convenciones que el
uso de parentesis en expresiones algebraicas. Tambien en el algebra elemental puede cambiar
el signicado de la expresion seg
un los separadores que se emplea.
Veamos algunos situaciones:
1. Considere la conocida y mal hecha pregunta Cual es la mitad ((
de dos?.
se sabe,
) Como
)
1
la respuesta depende de si usted entiende la pregunta como
2 + 2, o bien
2
1
(2 + 2) .
2
2. Note sin embargo que cuando se escribe ab + c todo el mundo entiende (ab) + c y no
a (b + c) .
En otras palabras, si usted quiere escribir (ab) + c, puede escribir ab + c, pero si quiere
escribirlo tal cual.
Para referirse a esta situacion convencional, se suele decir que la suma prevalece sobre la
multiplicacion, o bien que el producto se hace antes que la suma.
Estas expresiones en espa
nol no son excelentes, pero no traen problema si se las usa correctamente.
En cualquier caso, usted puede escribir 2 + 3 5 y todos entenderan 17 (y no 25).
3. Ahora bien, si usted quiere escribir el n
umero a (bc) puede escribir abc, pero puede
escribir tambien abc para expresar (ab) c.
Esto se debe a la ley de la asociatividad en los n
umeros, que dice que si tiene a (bc) = (ab) c
y entonces, la expresion abc puede signicar cualquiera de las dos.
En el
algebra de proposiciones
Cuando se trabaja con proposiciones, la situacion es analoga a la ley descrita.
INDICE GENERAL
10
1. (Asociatividad): Las propiedades de asociatividad de la conjuncion y de la disyuncion

indican que,
(P Q) R
(P Q) R
P (Q R)
y
P (Q R)
Esto permitira escribir sin ambig

uedad
P QR
y
P QR
Algo analogo ocurre con la disyuncion excluyente.
2. (Distributividad): Contrario a la asociatividad, no se tiene que;
(P Q) R P (Q R)
como tampoco se tiene
(P Q) R P (Q R)
(Lo anterior se puede comprobar, por jemplo, haciendo la tabla de verdad respectiva).
Esto obliga a escribir con los respectivos parentesis: ya sea exactamente (P Q) R si es
que piensa en esa expresion, o bien precisamente P (Q r) si eso es lo que quiere escribir.
3. (No asociatividad): De analoga manera, podemos ver que
(P = Q)
y que, P
R
no es equivalente a P = (Q = R)
(Q R) no es equivalente a P (Q R) ,
y as, en estos casos, es indispensable escribir los parentesis.

4. De acuerdo a propiedades que se vera mas adelante y para simplicar la escritura,
se conviene que la implicacion y la equivalencia prevalecen sobre la conjunci
on y la
disyuncion.
Esto signica, por jemplo, que la expresion P Q = R signica (P Q) = R pero
P Q = R no signica P (Q = R) .
Insistimos en que se trata aqu solo de una convencion para simplicar la escritura (no hay
en esto algo necesario sino simplemente conveniencia).
5. Es conveniente tambien en escribir ( P ) en lugar de P
11
Vamos a resumir lo descrito en esta peque

na seccion:
1. Se puede escribir, sin ambig
uedad y por propiedades lo siguiente:
P Q R, P Q R, P Y Q Y R.
2. Se puede escribir, sin ambig
uedad y por convenciones,
P Q = R,
P Q = R, etc.
3. No se debe escribir, pues no son proposiciones,

P Q R,
P Q R,
P = Q = R,
P Q R,
P = Q R,
(no se tienen propiedades ni convenios que permitan siquiera escribirlas).

Observe al pasar que la frase Tomo el bus y como chocolate o bebo agua.
Tiene dos interpetraciones distintas seg
un donde se ponga la separacion (la coma, el parentesis)
y por tanto no podemos aceptarla.
Bien entendido, los siguientes cuadros contienen toda la informacion relevante de esta seccion:
P
V
F
P
V
P
F ; V
F
V
F
Q
V
F
V
F
P Q P Q P = Q P Q P Y Q
V
V
V
V
F
V
F
F
F
V
V
F
V
F
V
F
F
V
V
F
Tautologas (Informalmente): Respecto de los llamados valores de verdad, se dice que

una proposicion es una tautologa si es siempre verdadera, un absurdo o contradiccion si es
siempre falsa o bien una contingencia (a veces verdadera, a veces falsa).
(Anunciamos provisoriamente que) si P, Q son proposiciones cualesquiera, entonces P P es
una tautologa, P P es un absurdo y P Q es una contingencia (a menos que p sea una
tautologa, o que Q sea una tautologa, o bien que P y Q sean absurdos).
Tautologa importantes A continuacion probaremos una coleccion de tautologas interesantes, algunas de ellas con nombre propio.
No trate de memorizar la lista. Las teutologas son innitas, en el sentido de que, a cualquier
coleccion de tautologas que pudieremos escribir en un lapso limitado, se le puede agregar
una expresion distinta como es facl comprobar (intentelo al nal de esta seccion).
Por supuesto, seg
un la denicion, si y son tautologa, tambien los son , ,
, = , etc.
INDICE GENERAL
12
No esta demas advertir que la proposicion que acabamos de escribir signica que
todas las tautologas son equivalentes entre si.
Iremos indicando, cada vez la importancia relativa de las diversas tautologas, cuales hay que
tener siempre presentes y cuales se declaran para ser olvidadas de inmediato algunas son
bastante faciles de retener.
Hay tres maneras de de probar tautologas:
1. Usar tablas de verdad. Ello se hace de modo analogo a como hemos mostrado en la
seccion anterior, cuidando de escribir ordenadamente todas las combinaciones de valores
de verdad posibles entre las proposiciones que intervienen (tome nota de la disposicion
que utilizaremos).
2. Hacer derivacion o usar algebra de proposiciones, es decir, proceder al modo algebraico.
Esto signica que, a medida que se va probando determinados resultados, se los puede
ir usando para simplicar o establecer otras propiedades.
3. Utilizar el metodo indirecto, en particular la llamada reduccion al absurdo.
Aqu usaremos primero tablas de verdad. Una vez probadas las tautologas fundamentales,
podemos intentar hacer derivacion. Mas adelante volveremos expresamente sobre los metodos
de demostracion.
Probaremos solo algunas tautologas, y dejemos a usted la oportunidad de demostrar las
restantes ya sea imitando las que aqu hacemos o bien inventando otras. En cualquier caso,
aseg
urese primero de que puede hacer la demostracion de cada tautologa mediante tablas de
verdad; luego puede estudiar la descripcion de los otros metodos.
Como se vera, las demostraciones en las que se usa tablas de verdad son independientes unas
de otras. Hemos ordenado, sin embargo, la lista de tautologas para que despues podamos
usar unas para demostrar otras al modo algebraico.
En cualquier caso, la idea no es aprender una lista de memoria sino considerar con claridad
cada situacion. Comprobara usted que varias de las listas de las tautologas son faciles de
retener.
Si , son tautologas y z, z son absurdos, entonces:
1.
2. z z
3. z
4. z
Por ejemplo,

,
V
z
F F
z
, etc.
F
Se trata de una proposicion bastante simple: Todos los absurdos equivalentes, todas las
tautologas son equivalentes, etc.
Si , son tautologas y z, z son absurdos y P es una proposicion cualquiera, entonces:
13
1. P =
2. z = P
3. P z
4. P
5. P z P
6. P P
Por ejemplo,
P
V
F
V
V
P =
V
V
Esta es una proposicion bastante u

til en los calculos, pero muy facl de recordar o re-inventar.
Ahora que hemos esrablecido estos primeros dos teoremas, escribiremo (como casi todo el
mundo) V en lugar de y F en lugar de z. A
un cuando en realidad , z son propiedades
y V, F valores de verdad, este abuso no se prestara a confusion.
Si p es una proposicion, entonces:
1. p p (principio de identidad)
2. (p p) (principio de no contradiccion)
3. p p (principio de tercero excluido)
Por ejemplo
p
V
F
p
F
V
p p
F
F
(p p)
V
V
Estas proposiciones son bastante sencillas; son tambien los tres pilares que puso Aristoteles
en su Logica (vales decir, en sus Analticos).
Si P es una proposicion, entonces:
1. P p (duplex negatio, doble negacion)
2. P P P
3. P P P
Como se ve, bastante facil e inmediata. Si no le gusta el latn, puede decir doble negacion.
Si P, Q son proposiciones, entonces:
1. P Q P (simplicacion)
INDICE GENERAL
14
2. P = P Q (adicion)
1. P Q Q P (conmutatividad)
2. p q q p (conmutatividad)
Por ejemplo,
P
V
V
F
F
Q
V
F
V
F
P Q QP
V
V
F
F
F
F
F
F
P Q Q P
V
V
V
V
Si P, Q, R son proposiciones, entonces:

1. (P Q) R P (Q R)
2. (P Q) R P (Q R)
La tabla siguiente:
P
V
F
V
F
V
F
V
F
Q
V
V
F
F
V
V
F
F
R
V
V
V
V
F
F
F
F
P Q QR
V
V
V
V
V
V
F
V
V
V
V
V
V
F
F
F
(P Q) R
V
V
V
V
V
V
V
F
P (Q R)
V
V
V
V
V
V
V
F
(P Q) R P (Q R)
V
V
V
V
V
V
V
V
Note ahora, que para escribir ordenadamente todos los posibles valores de verdad de P, Q, R
respectivamente, hemos ido (de izquierda a derecha) de uno en uno (V F V F V F . . .) , de dos
en dos (V V F F V V . . .) y de cuatro en cuatro. En otras palabras, escribimos sucesivamente
de 20 en 20 , de 21 en 21 y de 22 en 22 . Si hubiera sido una cuarta proposicion, habramos
llegado hasta escribir los valores de ocho en ocho, etc.
1. P (Q R) (P Q) (P R) (distributividad).
2. P (Q R) (P Q) (P R) (distributividad).
Observaci
on
Es importante considerar algunas cuestiones acerca de las leyes de distributividad:
15
1. En primer lugar, usando la conmutatividad, uno tiene que,por ejemplo,

(P Q) R R (P Q) (R P ) (R Q) (P R) (Q R) ;
de manera que la distributividad funciona por ambos lados.
2. Ahora bien, si se tiene una expresion del tipo (P Q)(R S) , se procede como sigue:
(P Q) (R S)
[(P Q) R] [(P Q) S]
[(P R) (Q R)] [(P S) (Q S)]
(P R) (Q R) (P S) (Q S)
En otras palabras y seg

un se indico antes, se trabaja de maera analoga al calculo elemental
(a + b) (c + d) = ac + ad + bc + bd
(que se basa en las propiedades analogas para n
umeros); con la diferencia de que, en este
caso, tanto como pueden jugar el papel de la multiplicacion, a condicion de que el
otro sea la suma.
3. Repare, sin embargo, en que por ejemplo, en la expresion, (P Q)(R S) , la situacion
es distinta:
(P Q) (R S)
[(P Q) R] S
[(P R) (Q R)] S
(P R S) (Q R S)
Teorema 1. (Leyes de DMorgan)

1. (P Q) P Q
2. (P Q) P Q
Las reglas de conmutatividad, asociatividad, distributividad y de Morgan son importantes
para trabajar en el algebra de proposiciones que se examina mas adelante; pero son bastante
sencillas de recordar.
(Usamos el nombre leyes de Morgan, seg
un la tradicion, pero solo se trata de un par de
teoremas).
Observaci
on
La siguente e importante propiedad nos permite ademas presentar, en su demostracion, como
funciona el metodo de derivacion.
INDICE GENERAL
16
1. (P = Q) P Q
2. P = Q P Q
(
)
3. (P = Q) Q = P (contra-reciprocidad, contraposicion).
Se tiene:
1. Ya esta establecida, se trata de la denicion de la implicacion.
2. Se tiene sucesivamente
P = Q
P Q
(por denicion de la implicacion)
P Q
P Q
(por una Ley de Morgan)

(por doble negacion).
3. Se tiene sucesivamente
(P = Q)
P Q
QP
QP
(por doble negacion)
(
)
Q = P

(por conmutatividad)

1. (P Q) [(P = Q) (Q = P )]
2. (P Q) (Q P )
(
)
3. (P Q) P Q
4. P Q (P Y Q)
Si tiene alguna duda, haga las tablas de verdad correspondientes, salvo para el n
umero 1,
que es la denicion de equivalencia.
Observaci
on
Note que se declara, tambien aqu, conmutativida.
1. P (P Q) P (absorcion).
2. P (P Q) P (absorcion).
17
LAs reglas de absorcion son muy importantes en la practica. Si usted intenta simplicar una
expresion cualquiera y no lo logra, probablemente hara bien en intentar usar una de ellas.
(Intente desarrollar, por ejemplo, P (P Q) seg
un la ley de la distributividad y vea lo que
ocurre desde el cuarto paso).
1. (P Q = R) [P = (Q = R)] (exportacion)
2. (P Q = R) [(P = R) (Q = R)]
3. (P Q = R) [(P = R) (Q = R)]
4. (P = Q R) [(P = Q) (P = R)]
5. (P = Q R) [(P = Q) (P = R)]
Es interesante hacer todas estas demostraciones mediante derivacion. Por ejemplo
(P Q = R)
P QR
(
)
P Q R
(
)
P QR
)
(
P (Q = R)
[P = (Q = R)]

[
]
1. (P Q) P = Q (silogismo disyuntivo)
2. [(P = Q) P ] = Q (modus ponens)
[
]
3. (P = Q) Q = P (modus tollens)
Use derivacion. Por ejemplo:
[[
]
]
(P Q) P = Q
(P Q) P Q
[
]
P QP Q
[
]
P QP Q
P Q (P Q)
V
Note que hemos evitado conscientemente la tentacion de pasar de P Q a P Q.
INDICE GENERAL
18
De todas maneras, tal tentacion no es grave y solo se traducira en que la demostracion,

correcta, resultara un poco mas larga y mas inocente:
[[
]
]
(P Q) P = Q
(P Q) P Q
[
]
P QP Q
[(
)
]
P Q P
(
)
P Q (P Q)
P Q (P Q) V
([] Para una reexion posterior: si bien se piensa, el teorema de arriba expresa las maneras
en que uno tradicionalmente obtinene conclusiones).
Si p, q, r son proposiciones, entonces:
1. [(p = q) (p = r)] = (p = r) (transitividad).
2. [(p q) (p r)] = (p r) (transitividad).
1. (p q) = (p r q r)
2. (p q) = (p r q r)
Como se ve, se puede simplicar.
1. p Y q (p q)
2. (p Y q) (p q) p q
3. (p Y q) (p q) (p q)
4. p Y V p
5. p Y F p
6. (p Y q) (q Y p) (conmutatividad)
7. [p Y (p Y r)] [(p Y q) Y r] (asociatividad)
8. p (q Y r) [(p q) Y (p r)] (distributividad)
9. (p Y q) = p q
19
La primera armacion es inmediata seg

un la denicion de disyuncion excluyente.
Suponga que ha demostrado la segunda propiedad mediante una tabla. Entonces, para la
tercera, se tiene sucesivamente:
(p Y q)
(p q) p q (p q) (p q)
(p p) (p q) (q p) (q q)
F (p q) (q p) F
(p q) (q p)
Como se ve, este teorema indica las propiedades mas importantes de la operacion Y, en
particular, las propiedades 2 y 3 permiten manejarla con mayor facilidad.
En cualquier caso esta operacion aparece menos que los otros conectivos en la practica matematica corriente.
0.1.3.
Algebra de proposiciones
La regla de sustituci
on
Es esta una importante regla, que hemos usado anteriormente y que ahora ponemos en
evidencia.
Cuando hemos enunciado nuestras tautologas, se entiende como se dijo, que p, q, r, ... son
proposiciones cualesquiera; el hecho que las llamemos p, q, r no es en absoluto relevante.
En otras palabras, en una tautologa en que se diga p, q, ... tales letras deben interpretarse
como espacios en blanco que se rellena con proposiciones.
En el teorema que arma p q q p, el hecho de que p y q sean proposiciones
cualesquiera indica que estamos armando, por ejemplo:
1. a b b a
2. p q q p
3. (p r) q q (p r)
4. [(a Y b) (t = s)] = [(t = s) (a Y b)] , etc.
Veamos algunos ejemplos mas concretos.
INDICE GENERAL
20
Para simplicar la expresion [p (p (q = r))] (r = p) , se procede como sigue, entendiendose que cada paso es una equivalencia (usaremos absorcion):
[p (p (q = r))] (r = p)
[(p p) (p (q r))] (r p)
[F (p q) (p r)] (r p)
(p q) [(p r) (r p)]
(p q) [((p r) p) r]
(p q) (p r)
((p q) p) r
Note la interesante aplicacion de la ley de absorcion en los u

ltimos pasos. (Si se sigue trabajando sin ella, el ejemplo, en lugar de simplicarse, crecera bastante, linea a linea).
Es muy interesante aprender a mirar ocasionalmente una proposicion de modo que la regla
de sustitucion evite una cantidad de calculos sin mayor provecho.
Ejercicios propuestos 1.
1. Determinar el tipo de proposicion:
a) p [(p r) (q r)]
b) [(p q) r] [(p r) (q r)]
c) [(p q) r] [(p q) r]
d ) [( p q) (q p)] [( p r) q]
e) (p q) [p (q r)]
f ) (p q) ( p q)
g) q [p (p q)]
h) [( p q) (p r)]
i) {[(p q) q] [(p r) (q r)]}
j ) [p (q r)] [(p q) (p r)]
2. Si p es verdadero (1), q esfalso (0) y r es verdadero (1), determinar el valor de verdad
de cada una de las proposiciones:
a) p [(p r) (q r)]
b) [(p q) r] [(p r) (q r)]
21
c) [(p q) r] [(p q) r]
d ) [( p q) (q p)] [( p r) q]
e) (p q) [p (q r)]
f ) (p q) ( p q)
g) q [p (p q)]
h) [( p q) (p r)]
i) {[(p q) q] [(p r) (q r)]}
j ) [p (q r)] [(p q) (p r)]
3. Mediante una tabla de verdad demostrar que:
(p q) [( p q) (p q)]
4. Demostrar, utilizando las leyes del algebra de proposiciones que:
a) (p q) (p q) ( p q)
b) (p q) [(p q) ( p q)]
c) (p q) [( p q) (p q)]
5. Dadas tres proposiciones p, q, r, demostrar utilizando las leyes del algebra de proposiciones las siguientes equivalencias:
a) [(p q) ( p r) (q r)] [(p q) ( p r)]
b) [(p q) ( p r) (q r)] [(p q) ( p r)]
c) ( p q r) ( p q r) (p q r) (p q r) ( p r)
(p r)
d ) (p q) ( p q) ( p q) (p q)
e) (p q) (q r) (q r) (p q)
f ) (p q) (q r) ( p r) ( p q) p q r
g) [(p q) ( p q)] q
h) (p q) (p r) (p q) p
i) (p q r) ( p q r) 1 es una tautologa
INDICE GENERAL
22
0.1.4.
Cuantificadores
Vamos a usar los smbolos y . Su uso se detalla mas abajo.

se lee para todo, para cada, cualquiera sea.
se lee existe al menos un, o hay al menos un, o simplemente existe o hay.
Usaremos conjuntos de referencia. Los conjuntos seran estudiados en el siguiente captulo,
pero lo u
nico que necesitamos saber por ahora es que es caracterstico de los conjuntos tener
elementos, salvo en el caso del llamado conjunto vaco.
Escribiremos a U para indicar que el objeto a es un elemento del conjunto U.
Anotaremos ademas U = para indicar que U tiene al menos un elemento.
Las expresiones:
Todo hombre es mortal.
Algunos hombres son sabios.
pueden traducirse respectivamente como:
Para todo x, si x es hombre entonces x es mortal.
Existe un x, tal que x es un hombre y x es sabio.
Otros giros utilizados para la expresion para todo x son:
Todo x, cualquiera x, cada x, que se simbolizan por x y se llama cuantificador universal.
Otros giros utilizados para la expresion Existe un x son:
Hay x, Existe x, tal que, Alg
un x, Algunos x, que se simbolizan por x y se llama cuantificador existencial.
Existen tres formas de convertir una funcion proposicional P x en una proposicion, a saber:
Haciendo la situacion de las variables por un termino especco.
Anteponiendo la expresion para todo x o cuanticador universal.
Anteponiendo la expresion existe al menos un x o cuanticador existencial.
El enunciado para todo x, P x se representa como: (x) (P x) .

Al anteponer a la funcion proposicional P x un cuanticador, se dice que la variable x ha
pasado a ser variable ligada.
Una proposicion de la forma (x) (P x) es verdadera cuando todas las sustituciones de la
variable x por terminos especcos del conjunto de referencia, convierten a P x en enunciado
verdadero.
23
Un enunciado de la forma (x) (P x) es verdadero cuando al menos un caso de sustitucion

de la variable x por un termino especco del conjunto de referencia, convierte a P x en un
enunciado verdadero.
Las proposiciones universales pueden aparecer regadas, como en el enunciado: No todos
son mecanicos. En este caso la simbolizacion sera: (x) (M x) donde M x es la funcion
proposicional de x es mecanico que toma valores dentro del conjunto de referencia formado
por los hombres.
Las palabras ning
un, ninguno, nada, nadie, corresponden tambien a enunciados
universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La
prposicion ninguno es mecanico no equivale a la proposicion no todos son mecanicos sino
a la expresion para todo x, x no es mecanico que se simboliza (x) ( M x) .
Las proposiciones existenciales pueden estar negadas, como por ejemplo no es cierto que
hay fantasmas la cual se simboliza como (x) (F x) donde F x simboliza la expresion
x es un fantasma. Analogamente a lo que ocurre con los cuanticadores universales, las
proposiciones existenciales pueden tener negaciones internas como algo no es mortal la cual
se simboliza como (x) ( M x) donde M x simboliza la expresion x es mortal.
Observacion
As como aclaramos en su momento en el calculo proposicional, el calculo cuanticacional
presenta tambien una estructura propia, que adiciona a las reglas ya establecidas para el
calculo se proposiciones,permite la consolidacion del complejo pero maravilloso universo de
la logica formal.
Conseravndo la orientacion que nos hemos propuesto, consideramos importante el conocimiento completo de la estructura basica, y en este sentido presentamos los elementos fundamentales a continuacion:
Signos primitivos del calculo cuanticacional: (cuanticador universal).
Regla formativa: Si P designa una formula; en la cual no gura la expresion (x) , entonces
(x) (P ) designa una formula.
Signo definido: Si P designa una formula, en la cual no gura (x) , entonces (x) (P )
designa la formula (x) ( P ) .
1. Diremos que una formula P no esta cuanticada bajo el termino x, si en P no gura

(x) o (x) .
INDICE GENERAL
24
2. En adelante, cuando una expresion gure cuanticada, se sobre entiende que se satisfacen las condiciones requeridas.
Cuantificadores en una letra Descripci

on B
asica
Describimos ahora los objetos que estudiaremos.
Antes de explicar los cuanticadore, debemos aclarar que ellos no se usan con proposiciones
sino con armaciones mas abiertas que se llaman funciones proposicionales. Para tales
armaciones no tiene sentido preguntarse directamente si son verdaderas o falsas, pues contienen uno o mas objetos indeterminados, seg
un iremos detallando. Cuando a una funcion
proposicional se agrega cuanticador(es), se obtiene una proposicion.
Comenzaremos por aquellas funciones proposicionales que tienen solo una indeterminacion.
Funciones proposicionales en una letra Una funcion proposicional en la letra x es una

expresion formal p (x) tal que se tiene lo siguiente: Cada vez que se remplaza la letra x por
un elemento a de un conjunto (previamente) dado U, resulta una proposicion p (a) .
Observaci
on
La palabra letra tiene aqu un sentido similar al de la palabra variable: una letra debe
interpretarse como un espacio en blanco que se puede rellenar con ciertos objetos tomados
de un conjunto dado.
Usaremos el smbolo: para denir funciones proposicionales (como en el ejempo a continuacion).
Si el conjunto U es R y p (x) : 2 + x = 5, (2 + = 5), entonces:
1. p (x) es una funcion proposicional.
2. p (3) : 2 + 3 = 5 y p (1) : 2 + 1 = 5 son proposiciones; p (3) es verdadera y p (1) es falsa.
Cuantificador universal Si p (x) es una funcion proposicional y U es unconjunto, entonces

la expresion (x U ) p (x) es una expresion que signica que al reemplazar la letra x por
cualquier elemento a de U, resulta p (a) verdadera.
La expresion (x U ) p (x) se lee; para todo x en (de) U (se cumple) p de x, cualquiera sea
x en U (se cumple) p de x, etc.
25
(Lecturas mas informales son recomendadas, ocasionalmente y para entender mejor la proposicion. Encontrara algunos ejemplos en la seccion de ejercicios).
Se tiene:
1. Si U es R y p (x) : 2 + x = 5, entonces (x U ) p (x) es falsa.
2. Si U es R y p (x) : [x2 1 = (x + 1) (x 1)] , entonces (x U ) p (x) es verdadera.
En el lenguaje habitual, corresponde a esta forma de expresiones tales como Todos los fantasmas son hologramas, Cada da aprendo algo nuevo, Cualquiera puede cantar; Todo hombre
es mortal.
Cuantificador existencial Si p (x) es una funcion proposicional y U es un conjunto, entonces la expresion (x U ) p (x) es una proposicion que signica que al menos para un
elemento a de U se tiene que p (x) es veradera.
La expresion (x U ) p (x) se lee; existe (al menos un) x (en U ) tal que p de x, hay (al
menos un) x (en U ) tal que p de x, y similares.
(Lecturas mas informales son recomendadas, ocasionalmente y para entender mejor la proposicion. Encontrara algunos ejemplos en los ejercicios).
Si U es R, p (x) : 2 + x = 5, q (x) : [x2 1 = (x + 1) (x 1)] , r (x) : x2 1, entonces:
1. (x U ) p (x) , (x U ) q (x) son verdaderas.
2. (x U ) r (x) es falsa.
En el lenguaje habitual corresponde a esta forma de expresiones tales como Algunos perros
muerden, Alguien se comio mi avena.
Reglas para el uso

Veremos ahora algunas reglas fundamentales para el uso de los cuanticadores. Estas reglas son convencionales, pero es oportuno tener presente que ellas recogen el sentido que
com
unmente se da a las expresiones analogas en idioma espa
nol, otorgandoles, claro esta,
una precision mayor.
Podemos darnos ejemplos de variada ndole para conrmar la impresion de que estas reglas
son bastante razonables
Lo anterior no obstante, es necesario tener presente que no bastara con coleccionar una
multiplicidad de ejemplos para probar las reglas; ellas son, en denitiva, solo convenciones,
acuerdos explcitos; (una de nuestras reglas sera una consecuencia de las otras).
INDICE GENERAL
26
Por otra parte, si se nos presenta alg

un ejemplo en el que una de estas reglas resulte poco
razonable, entonces probablemente haramos bien en abandonarla.
As, a
un cuando no daremos justicacion de las reglas (del mismo modo que no es necesario
justicar las reglas de un juego como el ajedrez o uno de naipes), mencionaremos expresamente algunas expresiones que no sera conveniente aceptar como reglas.
A continuacion de cada reglas que presentaremos haremos un comentario de longitud variable.
Para una referencia mas expedita, hemos reunido las reglas en un cuadro al nal de este
captulo.
Observaci
on
No somos capaces de enfatizar en modo suciente cuan importante son las reglas 2 y 3 y la
regla 8 (que es, en realidad, un teorema). Las otras, por el contrario, no seran usadas con
frecuencia por ahora y puede leerlas con detencion, comprenderlas y volver posteriormente
sobre ellas.
En toda esta seccion, U es un conjunto de referencia; p (x) , q (x) son funciones proposicionales,
anotaremos (x) p (x) para expresar (x U ) p (x) y (x) p (x) para expresar (x U ) p (x) .
Regla 1
R1 : (x) p (x) = (x) p (x)
(U = )
Como se ve es bastante razonable.

Hemos a
nadido que el conjunto U tenga al menos un elemento (en caso contrario y seg
un
puede comprobar posteriormente, de preferencia cuando haya visto conjuntos, se tiene que
(x) p (x) es verdadera y que (x) p (x) es falsa).
Regla 2
R2 :(x) p (x) (x) p (x)
Esta es una regla en extremo importante, no solo para este captulo sino para cualquier
trabajo en Matematicas. Es una veradera calamidad que haya al respecto un malentendido
generalizado del alumnado con consecuencias diarias y catastrocas.
La regla indica claramente que para la expresion (x) p (x) sea verdadera, no debe haber
excepcion alguna, pues tal excepcion la invalidara, al hacer verdadera su negacion.
27
La regla puede expresarse diciendo que la falsedad de la expresion (x) p (x) se demuestra
con un contra-ejemplo: un elemento x de U para el cual p (x) es falsa, (es decir, para el cual
p (x) es verdadera.
Lo que arma esta regla es que cuando decimos siempre queremos decir siempre (y no cai
siempre, o la mayora de las veces, o no se tiene noticia de que sea falsa, etc. ), cuando
decimos todo queremos decir todo (y no casi todo, el 99, 99 % de las veces, parece que todo,
para que nos vamos a hacer problema, etc.).
Si se tratara de probar que la armacion No es cierto que todos los osos son blancos es
verdadera, bastara con exhibir un oso que no sea blanco.
La armacion Todo n
umero real tiene un inverso multiplicativo tiene una (
unica) excepcion,
y es por lo tanto, irredimible y decididamente falsa.
[](Vea este ejemplo, mas sutil, mas adelante). Suponga que un hombre de 60 a
nos decide
escribir sus memorias,. No tiene experiencia ni aprende, de modo que demora un a
no en
escribir un a
no de su vida; (las memorias cada vez mas aburridas). Suponga que ese hombre
no muere, escribira todas sus memorias? (Si se quiere probar que no, hay que encontar
alguna, en alg
un a
no, que no logra relatar. Aqu nos interesa solo la logica del problema
y no las eventuales dicultades practicas).
Observaci
on
Traducida al espa
nol, la expresion (x) p (x) puede leerse no siempre se tiene p(x), tal
armacion es distinta de (x) p (x), que puede leerse nunca se tiene p(x).
A
un cuando es evidente que ambas expresiones arman cuestiones distintas, en el uso diario
no suele marcarse la diferencia.
La frase No todo lo que brilla es oro corresponde a una expresion del tipo (x) p (x).
Por otra parte, la expresion Todo lo que brilla no es oro arma que nada que brille es oro
y su estructura es (x) p (x).
Compare lo anterior con las frases No todo oso es blanco (verdadera) y Ning
un osos es blanco
(falsa).
Lo que estos u
ltimos ejemplos muestran es que no solo podemos ser imprecisos en el lenguaje,
sino que incluso podemos habernos contaminado de un modo de pensar inapropiado.
Regla 3
R3 :(x) p (x) (x) p (x)
INDICE GENERAL
28
Esta regla declara como se prueba que alguna propiedad no es cierta, nunca, jamas.
Ella pone de maniesto lo difcil que puede resultar la demostracion de ciertas aamciones.
Considere al respecto, las frases Es imposible sacarse el chaleco sin sacarse la chaqueta, No
existen los platillos voladores; No hay mal que dure cien a
nos.
En genera, uno podra pensar que una armacion del tipo (x) p (x) no es facil de probar;
tal demostracion debera convencer que ning
un objeto que a alguien se le pudiere ocurrir
cumplira p (x) (y a
un ello no sera suciente).
En otras palabras, la reglas indica que tan difcil puede ser probar que algo no puede ocurrir;
en este sentido, cuando aqu decimos nunca, queremos decir nunca (y no parece que nunca,
no se ha tenido noticia de que, en realidad no creo, todos piensan que no, etc.).
Regla 4
R4 : (x) [p (x) q (x)] (x) p (x) (x) q (x)
Esta regla se suele expresar diciendo distribuye en .
Se trata de una regla que podemos proceder a olvidar es decir, usarla sin prestarle mayor
atencion . Aqu estamos solo declarando que no hay que preocuparse de este asunto, que
se puede usar la regla con toda tranquilidad.
Regla 5
R5 : (x) [p (x) q (x)] (x) p (x) (x) q (x)
Esta regla se suele expresar diciendo que distribuye en .
Vale para ella lo comentado para la regla anterior.
Regla 6
R6 : (x) p (x) (x) q (x) = (x) [p (x) q (x)]
Por oposicion a las dos anteriores, esta regla no es una equivalencia, sino solo una implicacion.
De hecho, sera razonable ponerla como equivalencia, pues entonces debera ser siempre cierto
que (x) [p (x) q (x)] = (x) p (x) (x) q (x) , lo que denitivamente no sera de esperar
si encontramos en que el antecedente sea veradedero y el consecuente falso (y po lo tanto, la
implicacion tambien sea falsa).
29
Para tal efecto compruebe que en Z : la armacion Todo n

umero es par o impar es verdadera, pero Todo n
umero es par o bien todo n
umero es impar es falsa, (pues ninguna de sus
componentes es verdadera).
Regla 7
R7 : (x) [p (x) q (x)] = (x) p (x) (x) q (x)
Con respecto a esta regla, la situacion es analoga a la de la anterior, si bien aqu la implicacion
esta en la otra direccion.
Si se asumiera que se tiene una equivalencia, se tendra entonces que
(x) p (x) q (x) = (x) [p (x) (x) q (x)]
sera siempre verdadera.
Podemos construir un caso en que esta u
ltima armacion resulta falsa con las mismas proposiciones y conjunto que usamos para la regla anterior.
Las armaciones Existe un n
umero par y Existe un n
umero impar, son ambas verdaderas,
pero Existe un n
umero que es par e impar (a la vez), es falsa.
Regla 8
[
]
R8 :(x) [p (x) = q (x)] (x) p (x) q (x)
Se tiene sucesivamente
(x) [p (x) = q (x)]
(x) [p (x) q (x)]

[
]
(x) p (x) q (x)
[
]
[
]
(x) p (x) q (x) (x) p (x) q (x)
Cuantificadores con varias variables

Descripci
on B
asica
En realidad se trata aqu de los mismos cuanticadores que en la primera parte, pero ahora
referidos a funciones proposicionales en mas de una letra.
Si en una expresion aparece mas de una variable libre, podemos usar mas de un cuanticador.
En la expresion y = x2 +2x hay dos variables libres. Ahora si consideramos (y) (y) (y x2 + 2x = 0)
es una armacion verdadera, pues para cualquier x que se tome (real) puedo encontrar un y
INDICE GENERAL
30
que satisface la ecuacion. Sin embargo, dicha armacion no es lo mismo que (y) (y) (y x2 + 2x = 0)
que dice que existe un y que sirve para todo x que yo tome, claramente la armacion es falsa.
La conclusion del ejemplo anterior: El orden de los cuanticadores s importa y es un error
muy com
un cambiar su orden.
Cuando hay dos cuanticadores aparecen 8 combinaciones. Algunas combinaciones son equivalentes pero otras no. Lo vemos en el cuadro siguiente. Sea P (xc y) una expresion con dos
variables libres.
(x) (y) P (xc y) (y) (x) P (xc y)
c
(x) (y) P (x y)
(y) (x) P (xc y)
(y) (x) P (xc y)

(x) (y) P (xc y)
c
(y) (x) P (x y) (x) (y) P (xc y)
Considere la tabla anterior con lo siguiente: Posibles valores de x son todos las personas,
posibles valores de y son todas las frutas, P (xc y) : a la persona x le gusta la fruta y
Notese que si hubera mas variables habra muchos mas casos. Cuantos casos hay si se tienen
3 variables?.
Observaci
on:
Es interesante mirar la cuestion de proposiciones y funciones propocionales en conjunto. Lo
hacemos a traves de un ejemplo simple y un tanto repetido, pero tomara solo un par de
minutos:
Si jamos, por ejemplo R como conjunto (
unico) de refrencia, tenemos que:
1. p : 2 + 3 = 5, q : 2 + 3 = 6 son proposiciones, y
1. p es veradera,
2. q es falsa.
2. p (x) : x + 3 = 5 es una funcion proposicional en una letra y
1. p (x) no es verdadera ni falsa,
2. (x) p (x) es falsa, (tomar x = 5, por ejemplo,
3. (x) p (x) es verdadera, (tomar x = 2).
3. p (x, y) : x + y = 5 es una funcion proposicional en dos letras y
1.
2.
3.
4.
5.
p (x, y) no es verdadera ni falsa (no es una proposicion),

(x) (y) p (x, y) es una proposicion falsa,
(x) (y) p (x, y) es una proposicion falsa,
(x) (y) p (x, y) es verdadera (dado x = a, tomar y = 5 a),
(x) (y) p (x, y) es verdadera (tomar, por ejemplo o al azar, x = 2 y luego y = 3)
31
4. p (x, y, z) : x + y = z es una funcion proposicional en tres letras.
Negando afirmaciones con Cuantificadores

Neguemos Todo alumno en este salon tiene cabello negro. Para ello basta decir Existe un
alumno en este salon que no tiene cabello negro.
Esta es la clave: (x) P (x) (x) ( P (x)) .
Observese que para negar el primer ejemplo, no es necesario decir que todo alumno en este
salon no tiene el cabello negro, que simbolicamente 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.
Negando afirmaciones con m

as de un cuantificador
Neguemos la armacion [(x) (x) P (xc y)] . Hagamoslo por pasos:
(x) (x) P (xc y) (x) ( (y) P (xc y)) (x) (y) ( P (xc y)) .
Conclusi
on: Para negar armaciones que involucran cuanticadores, estos se cambian entre
s, sin cambiar las variables y la expresion nal se niega as:
[
[
]]
[
]
(y) (w) (x) (m) y + w2 + x = m (y) (w) (x) (m) y + w2 x = m .
Por supuesto, si escribimos p (x, y) , x puede tomar valores en un conjunto U, e y (tal vez) en
otro conjunto V .
Ilustraremos la situacion anterior:
1. p (x, y) : x y es una funcion proposicional en dos letras que pueden tomar valores en
R.
2. q (x, y, z) : x + y = z es una funcion proposicional de tres letras que pueden tomar
valores en R. (Es claro que, aqu, si x e y toman valores en R, entonces z no sera, por
ejemplo, un triangulo).
3. Informalmente, r (x, y) : x pasa por y es una funcion proposicional en dos letras, donde
x toma valores en un conjunto de rectas, e y toma valores en un conjunto de puntos
(del plano habitual, si se quiere).
INDICE GENERAL
32
Reglas para el uso
Procederemos como hicimos para los cuanticadores en una letra: iremos enunciando y comentando sucesivamente nuestras reglas, que persistimos,poradamente, en llamar axionas.
Asumimos un conjunto de referencia U para la letra x y un conjunto V para la letra y, (lo
que tambien puede expresarse diciendo que el par (x, y) toma valores en el conjunto U V ).
Convenimos que
(x) (y) p (x, y) signica (x U ) (y V ) p (x, y)
(x) (y) p (x, y) signica (x U ) (y V ) p (x, y) , etc.
Regla 9
R9 : (x) (y) p (x, y) (x) (y) p (x, y)
Esta regla indica que si hay dos cuanticadores universales seguidos, no importa el orden en
el que se escriban.
Tome nota de esto y no se haga problemas cuando le aparezca una expresion similar .
Eso es todo.
Regla 10
R10 : (x) (y) p (x, y) (x) (y) p (x, y)
Para esta regla vale el mismo comentario que para la anterior.
Regla 11
R11 : (x) (y) p (x, y) (x) (y) p (x, y) ;
(U = )
(Podra considerarse que esta regla es una especie de consecuencia natural de la regla 1).
(Por supuesto, podramos haber escrito (x) (y) p (x, y) (x) (y) p (x, y) , pero hemos preferido la otra forma para que la lista completa sea leda conmayor facilida, seg
un
comprobara en el resumen nal).
33
1. Simbolizar los siguientes enunciados:
a) Todo es perecedero.
b) Hay marcianos.
c) Alguien no es perfecto.
d ) No hay cosas solidas.
e) Si todo es rojo, hay algo rojo.
f ) Nada se mueve.
g) No todo es perfecto.
h) Nada es perecedero.
2. Indicar, con base en las reglas formativas establecidas en el calculo de proposiciones
y la u
ltima regla anotada para el calculo de cuanticadores, cuales de las siguientes
expresiones son formulas:
a) (x = y) = ((x) ( (x = y)))
b) (x) (x A = x B)
c) (x) (x A) (x) (x B)
d ) (x) (x A (x) (x B))
e) (x) ((x = z) (y) (y B))
f ) (x) (y) ((u = y) = (y = x))
g) (x) ((y) (z U ))
3. Sean:
a) P x : (x A) = (x A x B)
b) Qx : (x = t x B) = (t B)
c) Sx : ((x A y A) = (x = y))
INDICE GENERAL
34
0.2.
C
odigos y sistemas de numeraci
on
Objetivos: Al nalizar este captulo el lector debera comprender la necesidad de los diferentes codigos usados en lo sistemas digitales, y sera capaz de expresar cualquier cantidad
en los diferentes codigos (binario, decimal, hexadecimal, BCD, BCD8421 y Gray). Ademas
efectuara aritmeticas en el sistema binario y en el BCD8421 y podra pasar de un codigo a
otro con facilidad.
0.2.1.
Concepto de codificaci
on
Un codigo no es mas que una manera logica de representar cantidades, mediante la asociacion
de un smbolo a cada cantidad.
Estos smbolos en general son los n
umeros naturales del 0 al 9 aunque tambien se utilizan las
letras del alfabeto y otros smbolos de uso general. Normalmente a los codigos se les denomina
sistema de numeracion, siendo los mas usados:
Sistema de numeracion decimal, el cual posee diez smbolos, los n
umeros del 0 al 9.
Codigo binario, usa los smbolos 0 y 1.
Codigo octal, representado por los n
umeros del 0 al 7.
Codigo hexadecimal, usa dieciseis smbolos: los n
umeros del 0 al 9 y las letras A, B, C, D, E
y F.
Codigo especial BCD.
Codigo especial Gray.
0.2.2.
Sistema de numeraci
on decimal
Un sistema de numeracion esta caracterizado por su base, b. As en general, una cantidad

cualquiera, representada por el n
umero N, puede ser representada en la forma de la ecuacion
1,1
N =ai bi
Donde los ai son los smbolos que caracterizan al sistema y b es la base.
En otras palabras cualquier n
umero N, puede ser expresado como un polinomio de potencias
en la base b, cuyos coecientes son smbolos del sistema de numeracion y pueden tomar un
valor desde 0 hasta b 1.
Por ello si b = 10, tendremos los smbolos de 0 a 10 1 = 9: y diremos que estamos en
presencia del sistema decimal cuya base es el n
umero 10.
Sea el n
umero 7419
7419 = 7 103 + 4 102 + 1 101 + 9 + 100
Los smbolos 7, 4, 1 y 9 son los coecientes. Los valores posicionales o pesos estan representados por las potencias de 10.
En el caso del n
umero fraccionario se utilizan potencias negativas de la base 10, como puede
verse en el siguiente ejemplo.
0.2. CODIGOS
Y SISTEMAS DE NUMERACION
35
Ejemplo 1.
435, 232 = 4 102 + 3 101 + 5 100 + 2 101 + 3 102 + 2 103 .
0.2.3.
Sistema de numeraci
on binaria
En este caso b = 2 y por lo tanto, el sistema binario tiene dos smbolos (0 y 1), los cuales
son conocidos como bits (del ingles Binary digits). Al igual que en el sistema decimal todo
n
umero puede representarse usando la notacion posicional en potencias de la base b = 2, y
su desarrollo nos equivale al decimal.
Sea el n
umero N = (110101)2 , donde el subndice 2 indica la base, entonces:
N
N
N
(110101)2
=
=
=
=
1 25 + 1 24 + 1 23 + 1 22 + 1 21 + 1 20
32 + 16 + 4 + 1
53
(53)10
Para los n
umeros fraccionarios se usan las potencias negativas de base (b = 2).
Sea N = (0,1101)2 , entonces:
N
N
N
(0,1101)2
=
=
=
=
0 20 + 0 21 + 0 22 + 0 23 + 0 24
0,5 + 0,25 + 0,0625
(0,8125)10
(0,8125)10
Conteo en binario
El sistema binario es el mas 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 que y menor que, perforado y tapado; dando esta propiedad una
gran versatilidad en el dise
no con dispositivos electronicos sencillos. El hecho de tener dos
smbolos no implica que no podamos contar n
umeros grandes, para ello tenemos en cuenta
que si queremos contar n objetos necesitamos un n
umero de bits, K, tal que 2K > n o sea
que si queremos expresar o contar los n
umeros decimales del 0 al 9, necesitaremos:
2K > 10, donde K es un entero superior a 4
INDICE GENERAL
36
Con 4 bits formamos los n
umeros del 0 al 9 de acuerdo ala tabla 1,1
Decimal Binario
0
0000
1
0001
2
0010
3
0011
4
0100
5
0101
6
0110
7
0111
8
1000
9
1001
Si queremos contar debemos recordar que el sistema decimal llega hasta el 9, colocamos
un 1 delante y continuamos hasta llegar al 19, y as sucesivamente. En binario lo mismo;
comenzamos 0, 1; agregamos un 1 delante...10, 11; agregamos otro 1 delante...100 101 110 111
y as sucesivamente.
Una manera de contar es pensar en decimal y eliminar todos los n
umeros que tengan dgitos
decimales distintos de 0 y 1, y esto es extensible a cualquier sistema.
1. Sistema binario.
0, 1, 2, 3, 4, 5, 6, ..., 10, 11, 12, 13, 14, ..., 100, 101, 102, ...
2. Sistema de base tres (Smbolos 0 1 2)
0, 1, 2, 3, 4, 5, 6, ..., 10, 11, 12, 13, 14, ..., 20, 21, 22, ...
0.2.4.
Sistema de numeraci
on octal
El sistema de octal tiene base, b = 8, y por lo tanto utiliza ocho smbolos, que son los dgitos
del 0 al 7, para denotar las cantidades numericas. Igual que el sistema binario, todo n
umero
octal puede representarse usando sus valores posicionales y expresarse en potencias de base
ocho.
Sea N = (373,043)8 .
Entonces:
N = 3 82 + 7 81 + 3 80 + 0 81 + 4 82 + 3 83
N = 192 + 56 + 3 + 0,0156 + 0,005859...
N = (251,021459...)10
0.2. CODIGOS
37
Observe que no necesariamente el valor es exacto.

Para contar en octal, seguimos la misma tecnica de la seccion anterior:
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20...
0.2.5.
Sistema de numeraci
on hexadecimal
Este sistema tiene como base el n

umero decimal 16 y por lo tanto, posee dieciseis smbolos:
los n
umeros del 0 al 9 y los literales A, B, C, D, E,F, representando estos u
ltimos los smbolos
del 10 al 15.
Sea N = (E5D7.A3)16
N = E 163 + 5 162 + D 161 + 7 160 + A 161 + 3 162
N = 14 163 + 5 162 + 13 161 + 7 160 + 10 161 + 3 162
N = (72839,63671878)10
La tabla 1,2 muestra un resumen de los cuatro sistemas de numeracion que utilizaremos, y
en proxima seccion se explicara como pasar de uno a otro.
SISTEMA
DECIMAL
BINARIO
OCTAL
HEXADECIMAL
0.2.6.
BASE
10
2
8
SIMBOLOS
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
Conversi
on entre sistemas de numeraci
on
Como lo representamos en la ecuacion 1,1, cualquier n

umero N puede ser representado como:
N = an bn + an1 bn1 + + a0 + a1 b1 + + am bm
N = Ne + Nf
Ec. 1,2
Donde Ne es la parte entera y Nf es la parte fraccionaria.

Si tomamos Ne y lo dividimos por b
N e = an bn + an1 bn1 + + a0
a0
Ne
= an bn1 + an1 bn2 + +
b
b
Ne
1
= (cociente 1) + residuo
b
b
Ec. 1,5
Ec. 1,6
La ecuacion 1,5, expresada literalmente en 1,6 nos dice que el primer residuo es a0 .
INDICE GENERAL
38
Si tomamos ahora el cociente 1 y lo dividimos por b, obtenemos un cociente 2 y el nuevo

residuo sera a1 y as consecutivamente.
En el caso de Nf se hara lo mismo pero multiplicando por b en cada caso.
Conversi
on decimal a binario
Siguiendo el esquema de la seccion precedente, dividiremos consecutivamente por dos la parte
entera y multiplicaremos por dos la parte fraccionaria.
Convertir (653)10 a binario.
a0
653 2
1
326 2
a1
0
163 2
a2
1
81 2
a3
1 40 2
a4 0 20 2
a5 0 10 2
a6 0 5
a7 1
a8
2
2
0
a9
2
1 2
1 0
65310 = 10100011012
Observe que los residuos se colocan en orden inverso.
Evidentemente para ir de binario a decimal, usamos el desarrollo de los valores posiciones.
Convierta (653,61)10 a binario.
En este caso dado que un n
umero con parte entera y fraccionaria, se convierte primero la
parte entera, ya realizado en el ejemplo anterior y luego la parte fraccionaria usando la tecnica
de multiplicar sucesivamente por dos.
(653,61)10
0,61 2 = 1,22
a1
0,22 2 = 0,44
a2
0,44 2 = 0,88
a3
0,88 2 = 1,76
a3
0,76 2 = 1,52
a4
0,52 2 = 1,04
a5
= (1010001101,10011...)2
=1
=0
=0
=1
=1
=1
Para comprobarlo utilizaremos el desarrollo de potencias en base a dos

(0,100111...)2 = 1 21 + 1 24 + 1 25 + 1 26
= 0,5 + 0,625 + 0,03125 + 0,015625
= (0,609375)10
0.2. CODIGOS
39
Observe que el resultado no es exacto porque detuvimos el proceso en a6 ; si calculamos mas

fracciones binarias nos acercamos al resultado.
Conversi
on del sistema decimal al octal
Esta conversion se realiza de manera similar a la de decimal a binario, con la excepcion de
que en este caso la division consecutiva se hace por ocho, en lugar de 2.
Supongamos que queremos convertir (653)10 a octal
a0
653 8
5
81 8
a1
1 10 8
a2 2 1 8
a3 1 0
(653)10 = (1215)8
Recuerde que la escogencia de los dgitos se hace del u

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.
Si tenemos (1215)8
(1215)8 = 1 83 + 2 82 + 1 81 + 1 80
= 512 + 128 + 8 + 5
= 653
Si el valor decimal es fraccionario se multiplica sucesivamente por ocho, pasando la parte
entera de los resultados consecutivos a formar parte de la parte fraccionaria del n
umero octal.
Esta operacion se contin
ua hasta obtener una fraccion nula o hasta la precision deseada, si
lo anterior no se consigue.
Sea (0,46875)10 a octal
0,46875 8 = 3,75
0,75 8 = 6,00
(0,46875)10 = (0,36)8
a1 = 3
a2 = 6
Por supuesto, el ejemplo anterior es una muestra del primer caso, o sea la fraccion octal es
exacta.
Sea (0,136)10 a octal
0,136 8
0,088 8
0,704 8
0,632 8
=
=
=
=
1,088
1,704
5,632
5,056
a1
a2
a3
a4
=1
=1
=5
=5
INDICE GENERAL
40
Si nos detenemos aqu: (0,136)10 = (0,1155)8 , pero si desarrollamos (0,1155)8 , obtenemos:

1 81 + 1 82 + 5 83 + 5 84 = (0,1359875)10
La cual, salvo por un error menor de una diezmilesima coincide con el n
umero original.
Si tenemos un n
umero de parte entera y parte fraccionaria hacemos la conversion por separado
y luego combinamos ambos resultados.
Convertir (124,78125)10 a octal
a0
124 8
4
15 8
a1
7 1 8
a2 1 0
Parte fraccionaria
0,78125 8 = 6,25
0,25 8 = 2,00
(124,78125)10 = (174,62)8
a1 = 6
a2 = 2
Conversi
on entre los sistemas binario y octal
Como estudiaremos posteriormente, los circuitos digitales manipulan datos usando el sistema
de numeracion binario; sin embargo, esto trae el inconveniente de que a medidad que aumenta
el tama
no del n
umero, aumenta tambien 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:
N =i ai 8i
Y binario:
N=
Ai 2i
Ec. 1,2
Ec. 1,2
Donde ai = [0, 1, 2, 3, 4, 5, 6, 7]
Ai = [0, 1]
Ahora bien, cualquiera de los ai puede ser expresado como combinacion de tres dgitos binarios
o bits. De tal manera que si tomamos el n
umero binario y lo separamos de tres en tres,
partiendo del 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,
0.2. CODIGOS
41
reejado en la tabla siguiente y viceversa.

Octal
0
1
2
3
4
5
6
7
Binario
000
001
010
011
100
101
110
111
Convertir (10010101,1011)2 a octal.

Separamos en grupos de tres:
010 010 101. 101 100
Los ceros al principio (M SB) y al nal (LSB) se agregan para completar grupos de tres
(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.
Convertir (1752,714)8 a binario
(1752,714)8 = (001 111 101 010. 111 001)2
Eliminando los ceros como bits mas signicativos (M SB) o menos signicativos (LSB).
(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 despues utilizar este metodo, con lo cual se ahorra en las divisiones.
Conversi
on del sistema decimal a hexadecimal
Siguiendo los mismos procedimientos anteriores, corresponde dividir y/o multiplicar por 16.
Convertir (47632)10 a hexadecimal
47632
156
123
112
16
2977 16
137 186 16
97
26 11 16
0
INDICE GENERAL
42
(47632)10
0110
11
= (BA10)16
Recuerde que A = 10, B = 11, ..., F = 15 en hexadecimal.

Convertir (124,136)10 a hexadecimal
124 16
12 7 16
7 0
Parte fraccionaria
0,136 16
0,176 16
0,816 16
0,056 16
0,896 16
(124,136)10
=
=
=
=
=
=
2,176
a1 = 2
2,816
a2 = 2
13,056
a3 = D
0,896
a4 = 0
14,336
a5 = E
(7C,22D0E)16
Conversi
on entre los sistemas hexadecimales y binario
Como lo mencionaramosen la seccion (Conversion entre los sistemas binario y octal), 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 una a otro sistema separando en grupos de
cuatro bits el n
umero representado en binario o vicerversa.
Hexadecimal
0
1
2
3
4
5
6
7
8
9
A
B
C
D
E
F
Binario
0000
0001
0010
0011
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
1110
1111
0.2. CODIGOS
43
Convertir 10101101101,0101101101 a hexadecimal

0101 0110 1101,0101 1011 0100
(56D,5B4)16
Observe que de nuevo se agregaron ceros al M SB y al LSB. Paraconvertir de hexadecimal a
binario, se emplea el mismo metodo, sustituyendo cada dgito hexadecimal por su equivalente
binario de 4 bits aparece en la tabla anterior.
Convertir (8F ,41)16 a binario
1000 1111,0100 0001
(8F ,41)16 = (1000111,01000001)2
0.2.7.
Operaciones aritm
eticas en el sistema binario
Es evidente que el lector conoce las cuatro operaciones fundamentales de la arimetica (suma,
resta, multilplicacion, division) en el sistema de numeracion decimal, pero dado que en sistemas digitales utilizamos otros sistemas de numeracion; es importante, entonces familiarizarse
con dichas operaciones en el sistema binario, teniendo siempre en mente la aritmetica decimal
como gua.
Suma binaria
Para sumar en binario, debemos primero consruir una tabla de sumar como se observa en la
siguiente, la cual se denomina Tabla de Verdad del sumador completo, todo lo cual sera analizado en secciones posteriores.
Sumandos
A
B
0
0
0
1
1
0
1
1
Resultado
S
0
1
1
0
Acarreo
C
0
0
0
1
Sumar en binario 1101 + 1101

Acarreo
Sumando A
Sumando B
Resultado
1101
1101
1101
11010
Observe que el acarreo se suma a los bits que esten en la posicion inmediata a la izquierda,
similar a lo que se hace en el sistema decimal.
INDICE GENERAL
44
Resta binaria
En este caso hacemos uso de la tabla siguiente donde 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 continuacion.
Minuendo Sustraendo
m
S
0
0
0
1
1
1
1
0
Reste 11011 1101 en binario
Resta
R
0
1
0
1
Prestado
P
0
1
0
0
Prestado
11
Minuendo 11011
Sustraendo 1101
Resta
01110
Multiplicaci
on binaria
La multiplicacion hace uso de los mismos principios del sistema decimal, utilizando las reglas
de la tabla siguiente. En el ejemplo a continuacion se ilustran tres casos de multiplicacion
binaria.
Factores
Producto
A
B
P
0
0
0
0
1
0
1
0
0
1
1
1
0.3. CONJUNTOS
0.3.
0.3.1.
45
Conjuntos
Definiciones B
asicas
Construiremos nuestra teora estableciendo 3 conceptos indenibles. Ellos son conjunto ,

elemento y pertenece a. Aunque son conceptos indenidos, daremos una denicion de
ellos, basada en el lenguaje com
un. Se notara que en cierto sentido estas no son buenas
deniciones, pues usan palabras que a su vez no hemos denido.
Conjunto: Cualquier coleccion de objetos (no necesariamente matematicos).
Elemento o miembro: Un objeto de un conjunto es llamado elemento o miembro del
conjunto.
a A signica el elemento a pertenece al conunto A.
a
/ A es la negacion de la armacion anterior.
Observaci
on:
Dado un conjunto A y un objeto cualquiera suponemos que justamente una de las dos armaciones siguientes se verica a A o a
/ A.
Como representamos conjuntos?
La manera mas simple es hacer una lista que encerramos entre llaves.
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 u
ltimas deniciones lo u
nico que cambia es la variable, pero los
conjuntos descritos son los mismos. Es decir el nombre de las variables es irrelevante.
0.3.2.
Operaciones entre conjuntos
Uni
on
La union de dos conjuntos A y B es el conjunto formado por todos los elementos que pertencen
a A o a B. Se nota A B.
A B = {x : x A x B} .
2
La disyuncion, , se utiliza en el sentido inclusivo, es decir, signica
/ o.
Intersecci
on
La interseccion de dos conjuntos A y B es el conjunto formado por todos los elementos que
pertencen a A y a B. Se nota A B.
A B = {x : x A x B} .
INDICE GENERAL
46
Si A y B no tienen elementos en com

un, es decir, si A B = , entonces diremos que A y B
son conjuntos disjuntos.
Diferencia
La diferencia entre dos conjuntos A y B es el conjunto formado por todos los elementos que
pertenecen a A y no a B. Se nota por (A B) .
A B = {x : x A x B} .
El conjunto A B se lee A menos B recibe tambien el nombre de complemento relativo
del conjunto B respecto del conjunto A.
2
Complementario
El complementario de un conjunto A es el conjunto formado por todos los elementos del
conjunto universal que no pertenecen a A. Se nota Ac .
Ac = {x : x U x
/ A} .
Note que el complemento de A es la diferencia entre U y A, es decir, Ac = U A.
Diferencia Sim
etrica
La diferencia simetrica entre dos conjutnos A y B es el conjunto formado por todos los
elementos que pertenecen a (A B) o a (B A) pero no a ambos. Se nota por A B.
A B = (A B) (B A) .
0.3.3.
Algebra de conjuntos : Dualidad
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
interseccion y las que utilizan la union.
Leyes Idempotentes
Dado cualquier conjunto A en un universal arbitrario U , se verica:
1. A A = A
2. A A = A
0.3. CONJUNTOS
47
Demostraci
on (1.):
En efecto, sea x un elemento arbitrario del universal U, entonces,
[x (A A)]
[x A x A]
xA
De la arbitrariedad de x se sigue que

x [x (A A) x A] ,
de aqu que
A A = A.
2. Analogamente se prueba que A A = A.
Leyes Conmutativas
Dados dos conjutnos A y B de un universal arbitrario U , se verica:
1. A B = B A
2. A B = B A
Demostraci
on (1.):
En efecto, sea x cualquier elemento de U, entonces,
[x (A B)]
xAxB
xBxA
x (B A)
Como x es un elemento cualesquiera de U , se sigue que

x [x A B x B A] ,
por lo tanto,
A B = B A.
2. De una forma similar se demuestra que A B = B A.
INDICE GENERAL
48
Leyes Asociativas
Dados tres conjuntos A, B y C de un universal arbitrario U , se verica:

1. A (B C) = (A B) C
2. A (B C) = (A B) C
Demostraci
on (1.):
En efecto, sea x un elemento arbitrario de U, entonces,
[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
.
De la arbitrariedad de x se sigue que

x [x A (B C) x (A B) C] ,
de aqu que
A (B C) = (A B) C.
2. Analogamente se demuestra que
A (B C) = (A B) C.
Leyes Distributivas
Dado tres conjuntos A, B y C de un conjunto universal U , se verica:
1. A (B C) = (A B) (A C)
2. A (B C) = (A B) (A C)
Demostraci
on (1.):
0.3. CONJUNTOS
49
En efecto,sea x una cualquier elemento del conjunto universal U , entonces

x
A (B C)
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)]
.
Al ser x cualquier elemento de U , se sigue que

x [x A (B C) x (A B) (A C)] ,
consecuentemente,
A (B C) = (A B) (A C) .
2. De una forma similar se prueba que
A (B C) = (A B) (A C) .
Leyes de Identidad
Dado un conjunto cualquiera de un universal arbitrario U , se verica:
1. A = A
2. A U = U
3. A =
4. A U = A
Demostraremos la 1a y la 3a y la otras quedan como ejercicio.
Demostraci
on:
1. A = A. En efecto, sea x un elemento arbitrario de U, entonces,
[x (A )]
xAx
x A,
(x es falso siempre)
luego,
x [x (A ) x A] ,
de aqu que
A = A.
INDICE GENERAL
50
3. A = . Si x es cualquiera de , entonces
[x (A )]
xAx
x , (x es falso siempre) .
Nota: Los puntos 2 y 4 se dejan como ejercicio al estudiante.
Ley Involutiva
Dado un conjunto cualquiera A de un universal U , se verica:
(Ac )c = A.
Demostraci
on:
Sea x cualquiera de U, entonces,
[x (Ac )c ]
x
/ Ac
(x Ac )
(x
/ A)
[ (x A)]
xA
,
luego,
x [x (Ac )c x A] ,
es decir,
(Ac )c = A.
Leyes del Complementario

Dado un conjunto cualquiera A de un universal arbitrario , se verica:
1. A Ac = U
2. U c =
3. A Ac =
4. c = U
Demostraremos la 1a y la 3a y los otras quedan como ejercicio.
Demostraci
on:
0.3. CONJUNTOS
51
1. A Ac = U . En efecto, sea x cualquier elemento de U, entonces,

[x (A Ac )]
x A x Ac
xAx
/A
x A (x A)
xU
luego,
x [x (A Ac ) x ] ,
por lo tanto,
A Ac = U.
3. A Ac = . En efecto,
A Ac
= {x : x A x Ac }
{x : x A x
/ A} =
Leyes de De Morgan
Dados dos conjuntos A y B en un universal U , se verica:
1. (A B)c = Ac B c
2. (A B)c = Ac B c
Demostraci
on:
1. (A B)c = Ac B c . En efecto, sea x un elemento arbitrario del conjunto universal .
Entonces,
[x (A B)c ]
x
/ (A B)
[x (A B)]
[(x A) (x B)]
[ (x A)] [ (x B)]
(x
/ A) (x
/ B)
c
(x A ) (x B c )
x (Ac B c )
y al ser x un elemento arbitrario de , se sigue que

x [x (A B)c x (Ac B c )] ,
luego,
(A B)c = Ac B c .
INDICE GENERAL
52
2. Analogamente se prueba que
(A B)c = Ac B c .
Proposici
on:
Sean A, B, C y D subconjuntos arbitrarios de un conjunto universal arbitrario, . Entonces,
1. A (A B)
2. A B A
3. Si A B, entonces A B = B
4. Si A B, entonces A B = A
5. A (B A) = A B
Soluci
on:
1. A (A B), en efecto, si x es cualquiera de U , entonces
(x A)
xAxB
xAB
luego,
x [x A = x (A B)] ,
de aqu que
a (A B) .
2. A B A, en efecto, sea x un elemento de A B. Entonces,
[x A B]
xAxB
xA
luego,
x [x (A B) = x A] ,
de donde se sigue que
A B A.
3. Si A B, entonces A B = B, en efecto, sea x cualquiera de U y supongamos que
AB
[x (A B)]
xAxB
xBxB
xB
0.3. CONJUNTOS
53
luego,
x [x (A B) = x B] ,
por lo tanto,
A B B,
y por (1)
B (A B) .
4. Si A B, entonces A B = A, por el apartado (2), tenemos que
A B A.
Veamos la inclusion contraria.
Supongamos que A B y sea x un elemento arbitrario de U , entonces
(x A)
xAxB
x (A B)
luego,
x [x A = x (A B)] ,
de aqu que
A (A B) .
Tenemos pues que
A (A B)
(A B) A,
por lo tanto,
A = A B.
5. A (B A) = A B, en efecto,
A (B A) =
=
=
=
A (B Ac )
(A B) (A Ac )
(A B) U
AB
Proposiciones:
Sean A, B, C y D subconjuntos arbitrarios de un conjunto universal U . Entonces,
1. A B A
2. Si A B y C D, entonces (A C) (B D)
3. Si A B y C D, entonces (A C) (B D)
INDICE GENERAL
54
4. A = A
5. A (B A) =
6. A (B C) = (A B) (A C)
7. A (B C) = (A B) (A C)
Ejercicio:
Probar las identidades siguientes:
1. A (A B) = A
2. A (A B) = A
3. A (Ac B c ) = A B
Soluci
on:
1. A (A B) = A, sea x un elemento cualquiera del universal , entonces

x
A (A B) x A x (A B)
= x A,
luego,
x [x A (A B) = x A] ,
es decir
A (A B) A.
Por otro lado, siempre se verica que
A A X, X ,
en particular,
A A (A B) .
De la doble inclusion se sigue el resultado,
A = A (A B) .
2. A (A B) = A, en efecto
A (A B) = (A A) (A B)
= A (A B)
= A
3. A (Ac B) = A B, en efecto
A (Ac B) = (A Ac ) (A B)
= (A B)
= AB
0.3. CONJUNTOS
0.3.4.
55
Conjuntos finitos, principio de conteo
Se dice que un conjunto es nito si contiene exactamente m elementos diferentes en donde m

denota alg
un entero no negativo. En caso contrario, se dice que el conjunto es innito. Por
ejemplo, el conjunto vaco y el conjunto de letras en el alfabeto espa
nol son nitos, mientras
que el conjunto de los enteros positivos pares, {2, 4, 6, . . .} , es innito.
Si un conjunto A es nito, n (A) denotara el n
umero de elementos de A. Algunos textos usan
= (A) en lugar de n (A).
Si A y B son conjuntos nitos disyuntos, entonces A B es nito y
n (A B) = n (A) + n (B) .
Demostraci
on:
Al contar los elementos de A B, primero contamos los que estan en A. Hay n (A) de estos.
Los u
nicos otros elementos de A B son los que estan en B, pero no en A. Pero como A y B
son disyuntos, ning
un elemento de B esta en A, de modo que hay n (B) elementos que estan
en B, pero no en A. Por lo tanto, n (A B) = n (A) + n (B), tambien tenemos una formula
para n (A B), aunque A y B no sean disyuntos.
Si A y B son conjuntos nitos, entonces A B y A B son nitos y
n (A B) = n (A) + n (B) n (A B) .
Podemos aplicar este resultado para obtener una formula semejante para cualquier n
umero
nito, k, de conjuntos nitos. As, para k = 3, tenemos que
Si A, B y C son conjuntos nitos, entonces tambien lo es A B C, y
n (A B C) = n (A) + n (B) + n (C) n (A B) n (A C) n (B C) + n (A B C) .
Por ejemplo:
Supongamos que 100 de los 120 estudiantes de matematicas de una facultad toman por lo
menos un idioma entre, frances, aleman y ruso. Suponga tambien que:
65
45
42
20
25
15
estudian
estudian
estudian
estudian
estudian
estudian
frances
aleman
ruso
frances y aleman
frances y ruso
aleman y ruso
Sean F, A y R los conjuntos de estudiantes que estudian frances, aleman y ruso, respectivamente. Queremos encontar el n
umero de estudiantes que estudian todos los tres idiomas, y
encontar el n
umero correcto de estudiantes en cada una de las ocho regiones del diagrama
de Venn en la gura siguiente (a).
Por el corolario anterior,
n (F A R) = n (F ) + n (A) + n (R) n (F A) n (F R) n (A R) + n (F A R) .
INDICE GENERAL
56
Ahora, n (F A R) = 100, ya que 100 de los estudiantes estudian por lo menos uno de los
idiomas. Substituyendo,
100 = 65 + 45 + 42 20 25 15 + n (F A R) ,
y por lo tanto, n (F A R) = 8, o sea que 8 estudiantes estudian los tres idiomas.
Usamos ahora este resultado para llenar el disgrama de Venn. Tenemos:
8 estudian todos los idiomas
20 8 = 12
estudian frances y aleman pero no ruso
25 8 = 17
estudian frances y ruso pero no aleman
15 8 = 7
estudian aleman y ruso pero no frances
65 12 8 17 = 28 estudian solamente frances
45 12 8 7 = 18
estudian solamente aleman
42 17 8 7 = 10
estudian solamente ruso
120 100 = 20
no estudian ninguno de los idiomas.
As el diagrama completo esta en la gura siguiente (b). Observe que
28 + 18 + 10 = 56
estudiantes estudian uno de los tres idiomas.
(a)
(b)
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) C A (B C)
d ) (A B) (B A) =
e) Si B A entonces A B = A
f ) Si X A y X B entonces X A B
g) Si B A entonces B C A C
h) Si B A entonces B C A C
i) Si A entonces A =
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)
0.3. CONJUNTOS
57
m) (A B) C = A (B C)
n) A (B C) = (A B) (A C)
n
) A (B C) = (A B) (C A)
o) A = (A B) (A (A B))
2. Dar un contraejemplo para probar que las siguientes proposiciones no son teoremas.
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) P (A B) P (A) P (B)
j ) (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 contaminacion del medio ambiente, asisten 100
especialistas, de los cuales 50 hablan ingles, 60 portugues y 50 espa
nol; de ellos 30 hablan
portugues e ingles; 20 ingles y espa
nol; 20 portugues y espa
nol. Cuantos asistentes
hablan los tres idiomas?.
INDICE GENERAL
58
5. Una ensambladora de autos recibio una orden de fabricacion de 38 automoviles tipo sedan, con las siguientes caractersticas: 18 con aire acondicionado; 23 con vidrios
electricos y 29 con cojinera de lujo. De estos, 3 deben tener solamente vidrios electricos,
8 deben tener solamente cojinera de lujo, 9 de los vehculos deben tener solamente vidrios electricos y cojinera de lujo, 5 de los vehculos deben tener los tres aditamientos.
Determinar:
a) Cuantos vehculos llevan aire acondicionado y cojinera de lujo, solamente?.
b) Cuantos vehculos llevan aire acondicionado solamente?.
c) Cuantos vehculos llevan aire acondicionado y vidrios electricos solamente?.
6. En un inventario minero realizado en algunas regiones del pas acerca de la produccion
futura de recursos no renovables, se encontro que: 8 poseen petroleo, 15 poseen carbon
y 13 poseen oro; 6 poseen solamente carbon y oro; 4 solo poseen oro, 3 poseen los tres
recursos; ninguna de las regiones posee petroleo y carbon solamente. Determinar:
a) Cuantas regiones intervinieron en el inventario?.
b) Cuantas regiones poseen solamente petroleo?.
c) Cuantas regiones poseen solamente carbon?.
7. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a
ingresar a la universidad por ciertos programas:
a) 50 preeren medicina.
b) 47 preeren ingeniera.
c) 35 preeren biologa.
d ) 16 preeren ingeniera y biologa.
e) 11 preeren ingeniera y medicina.
f ) 15 preeren biologa y medicina.
g) 9 preeren las tres.
Determinar:
1.
a) 1)
2)
3)
4)
5)
Cuantos
Cuantos
Cuantos
Cuantos
Cuantos
aspirantes
aspirantes
aspirantes
aspirantes
aspirantes
fueron encuestados?.
preeren u
nicamente medicina?.
no preeren biologa?.
preeren medicina o biologa pero no ingeniera?.
preeren medicina o ingeniera?.
0.3. CONJUNTOS
59
8. La secretara de educacion municipal requiere la provision de 29 cargos docentes en las

areas: 13 profesores de matematicas; 13 profesores de fsica y 15 profesores de sistemas.
Para el cubrimiento de los cargos se requiere que: 6 profesores dicten matematicas y
fsica, 4 profesores dicten fsica y sistemas y 5 profesores dicten matematicas y sistemas.
Determinar:
1.
a) Cuantos profesores se requiere que dicten las tres areas?.

b) Cuantos profesores se requiere que dicten matematicas u
nicamente?.
c) Cuantos profesores se requiere que dicten matematicas y sistemas pero no fsica?.
9. Con relacion al problema anterior. En respuesta a la solicitud detrabajo, se seleccionaron

29 aspirantes cuyas solicitudes presentan las siguiente informacion:
a) 15 pueden dictar fsica.
b) 16 pueden dictar sistemas.
c) 6 pueden dictar matematicas y fsica.
d ) 5 pueden dictar fsica y sistemas.
e) 1 puede dictar las tres areas.
f ) 7 pueden dictar solamente sistemas.
Determinar:
1.
a) 1) Cuantos aspirantes selecionados se presentaron para dictar matematicas?.

2) Que puestos no pueden cubrirse?.
3) Cuantos solicitantes y en que area no pueden ser nalmente admitidos?.
INDICE GENERAL
60
0.4.
Nociones sobre Algebra

de Boole
El algerbra de Boole es una estructura matematica que, como tal, abarca un abanico de
situaciones cuya componente com
un es la que se formula en su denicion.
En particular, el algebra de Boole tiene aplicacion en la sntesis de redes de conmutacion, en
el estudio de circuitos digitales y en el analisis y programacion mediante ordenador.
0.4.1.
Definici
on de Algebra
de Boole
Un conjunto dotado de dos leyes de composicion interna (suma y producto) tiene estructura
de algebra de Boole si se verican las propiedades siguientes.
1. Las dos leyes son asociativas
(x + y) + z = x + (y + z)
(xy) z = x (yz)
x, y, z
2. Las dos leyes son conmutativas

x+y = y+x
xy = yx
x, y, z
3. Cada ley tiene elemento neutro

0 : x + 0 = x
1 : x 1 = x
x
x
4. Para cada elemento x existe un u

nico elemento x , llamado complementario de
x, tal que
x+x = 1
xx = 0
5. Cada ley es distributiva respecto a la otra
x (y + z) = xy + xz
x + (yz) = (x + y) (x + z)
x, y, z
Estos cinco pares de propiedades se consideran propiedades primitivas que caracterizan la

estructura de algebra de Boole. Tambien reciben el nombre de axiomas del algebra de Boole.
El resto de propiedades se deduce a partir de estas.

0.4. NOCIONES SOBRE ALGEBRA
DE BOOLE
61
1. Consideremos un conjunto U al que nos referimos como universo. Llamamos conjunto de

las partes del conjunto U al conjunto formado por todos los subconjuntos del conjunto
U ; lo denotamos por P (U ).
Si el n
umero de elementos de U es n (U ) = n entonces n (P (U )) = 2n .
Todo conjunto P (U ) con las operaciones union de conjuntos, , e interseccion de conjuntos,
, tiene estructura de algebra de Boole.
El elemento neutro de la union de conjuntos es el conjunto vaco, , minetras que el neutro
de la interseccion es el conjunto universo U .
El elemento complementario de cualquier subconjunto A P (U ) es el complementario en el
sentido de conjuntos:
A = {x U : x
/ A}
2. Una proposicion logica es un enunciado declarativo que puede ser verdadero o falso, pero
no ambas cosas a la vez. El conjunto de las proposiciones logicas con las operaciones
disyuncion (o, ) y conjuncion (y, ) tiene estructura de algebra de Boole.
3. El algebra de Boole binaria, formada u
nicamente por dos elementos:
= {0, 1}
Principio de dualidad del

algebra de Boole
Toda propiedad que pueda deducirse de las propiedades primitivas o de cualquier otra propiedad derivada de estas da lugar a otra propiedad que se obtiene intercambiando:
Las operaciones suma y producto
Los smbolos 0 y 1.
La propiedad as obtenida recibe el nombre de propiedad dual de la inicial.

El principio de dualidad es consecuencia de la propia estructura de algebra de Boole, ya que
cada para de propiedades en su denicion esta formada por una y por su dual.
INDICE GENERAL
62
Propiedades en un
algebra de Boole
Las siguientes propiedades son consecuencia de las propiedades primitivas:

1. Involucion:
(x ) = x,
x .
2. Idempotencia:
xx = x,
x .
x + 1 = 1,
x .
x + x = x,
3.
x0 = 0,
4. Absorcion:
x + xy = x
x (x + y) = x
x, y .
5. Los neutros son recprocamente complementarios:

0 = 1,
6.
x + x y = x + y,
1 = 0.
x (x + y) = xy,
x, y .
7. Leyes de De Morgan:
(1a )
(2a )
0.4.2.
(x + y) = x y
(xy) = x + y
Expresiones de Boole: Forma suma de productos
Considere un conjunto de variables (o de letras o de smbolos), digamos x1 , x2 , . . . , xn . Una

expresi
on Booleana E en estas variables, algunas veces escrito E (x1 , . . . , xn ), es una variable
o una expresion construida con estas variables que usan las operaciones Booleanas +, y ( )
Ejemplo 2.
E = (x + y + z) + (xyz + x + y)
(
)
F = (xy z + y) + x z
Son expresiones de Boole en x, y y z.

Definici
on 1. Un literal es una variable o una variable complementaria, como x, x , y, y .

DE BOOLE
63
Definici
on 2. Un producto fundamental es un literal o un producto de dos o mas literales en
los cuales no hay dos literales con una misma variable. Por ejemplo, xz , xy z, x, y , yz , x yz
son productos fundamentales, sin embargo, xyx z y xyzy no lo son; el primero contiene x y
x y el segundo contiene a y en dos sitios. Observe que:
xyx z = xx yz = 0yz = 0
(ya que xx = 0, por la ley de complemento) y
xyzy = xyyz = xyz
(ya que yy = y, por la ley de idempotencia). En otras palabras, todo producto de Boole se
puede reducir a 0 o a un producto fundamental.
Observaci
on:
Un producto fundamental, P1 , se dice que esta incluido o contenido en otro producto fundamental, P2 , si los literales de P1 son tambien literales de P2 . Por ejemplo, x z esta incluido
en x yz, ya que x y z son literales de x yz. Sin embargo, x z no esta contenido en xy z, ya
que x no es un literal de xy z. En caso de que P1 este incluido en P2 , entonces por la ley de
absorcion
P1 + P2 = P1
Por ejemplo, x z + x yz = x z.
Observaci
on:
Una expresion de Boole E se dice que esta en forma de suma de productos o en forma minterm si E es un producto fundamental, o es la suma de dos o mas productos fundamentales,
ninguno de los cuales esta incluido en otro. Por ejemplo, considere las expresiones
E1 = xz + y z + xyz
E2 = xz + x yz + xy z
Aunque la primera expresion, E1 , es una suma de productos, no esta en la forma de suma

de productos, ya que xz esta contenida en xyz . Sin embargo, por la ley de absorcion, E1 se
puede expresar como
E1 = xz + y z + xyz = xz + xyz + y z = xz + y z
que esta en forma de suma de productos. La segunda expresion E2 , ya esta en forma de suma
de productos.
Observaci
on:
Toda expresion de Boole no nula E se puede poner en forma de suma de productos con el
siguiente procedimiento (Algoritmo).
1. Usando las leyes de De Morgan y la involucion, podemos mover la operacion de complemento dentro de cualquier parentesis hasta que nalmente se aplique solo a variables.
E consitira entonces solamente de sumas y productos de literales.
INDICE GENERAL
64
2. Usando la ley distributiva, podemos transformar E en una suma de productos.

3. Usando las leyes conmutativa, de idempotencia y de complemento, podemos transformar cada producto de E en 0 o en un producto fundamental. Finalmente, usando la
ley de absorcion, podemos poner E en forma de suma de productos.
Por ejemplo:
[
]
Consideremos la expresion Booleana E = (ab) c [(a + c) (b + c )] . Aplicando el anterior
algoritmo,
(
)[
]
1. E = (ab) + c (a + c) + (b + c ) = (ab + c ) (ac + bc)
2. E = abac + abbc + ac c + bcc
3. E = abc + abc + ac + 0 = ac + abc
Observaci
on:
Una expresion de Boole (no nula) E (x2 , x2 , . . . , xn ) se dice que esta en forma completa de
suma de productos si E esta en forma de suma de productos, y en cada producto se usan
todas las variables (observese que maximo hay 2n de tales productos). Cualquier expresion
de Boole E que sea una suma de productos se puede escribir en forma completa de suma
de productos. En efecto, si un producto fundamental P de E no usa x, entonces podemos
multiplicar P por xi +xi ; este se puede hacer ya que xi +xi = 1. Continuamos hasta que todos
los productos usen todas las variables. Otra consideracion demuestra que la forma completa
de suma de productos es u
nica. En resumen:
Toda expresion Booleana no nula E (x1 , x2 , . . . , xn ) se puede poner en forma completa de
sumas de productos, y tal representacion es u
nica.
Ejemplos:
Definici
on de maxterm y minterm
= {0, 1} denota el algebra de Boole binaria.
En n el producto de n variables diferentes, complementadas o no, recibe el nombre de
minterm o termino mnimo.
En n la suma de n variables diferentes, complementadas o no, recibe el nombre de maxterm
o termino maximo.
En 4 son minterm
x 1 x2 x 3 x4
x1 x2 x3 x4

DE BOOLE
65
En 3 son maxterm
x1 + x2 + x 3
x1 + x 2 + x3
Propiedades
1. Toda funcion Booleana f : n puede ser expresada como suma de minterms
(suma de productos). Esta expresion es la que se conoce como forma can
onica disyuntiva
de la funcion f .
{
xi
i
1 2
n
f (x1 , x2 . . . , xn ) = x1 x2 . . . xn
xi =
xi
2. Toda funcion Booleana f : n puede ser expresada como producto de maxterms (producto de sumas). Esta expresion es la que se conoce como forma canonica
conjuntiva de la funcion f.
{
( 1
)
xi
i
2
n
f (x1 , x2 , . . . , xn ) = x1 + x2 + + xn
xi =
xi
De las dos formas canonicas la mas empleada es la forma disyuntiva.
Propiedades
1. Las formas canonicas de una funcion Booleana f : n son u
nicas.
2. Dos funciones Booleanas son equivalentes (son la misma funcion) si y solo si tienen las
mismas formas canonicas.
0.4.3.
Obtenci
on de las formas can
onicas
Obtenci
on a partir de la tabla de valores de la funci
on
La forma canonica disyuntiva de una funcion f : n se obtiene a partir de cada uno
de los valores 1 que toma la funcion. La u
nica forma en la que un producto de todas las
variables (o sus complementarios) toma valor 1 es con todos sus factores tomando valor 1.
As el n
umero de minterms en la forma disyuntiva es igual al n
umero de unos (1) en la tabla
de valores de f .
Por su lado, la forma canonica conjuntiva de una funcion f : n se obtiene a partir de
cada uno de los valores 0 que toma la funcion. La u
nica posibilidad para que una suma de
todas las variables (o sus complemetarios) tome valor 0 es con todos sus terminos tomando
INDICE GENERAL
66
valor 0. El n
umero de maxterms en la forma conjuntiva es igual al n
umero de ceros (0) en la
table de valores de f .
Para una funcion f : n la suma del n
umero de minterm en la forma canonica
disyuntiva y el n
umero de maxterms en la forma canonica conjuntiva es igual a 2n , que es el
cardinal de n .
Obtencion de las formas canonicas disyuntiva y conjuntiva de la funcion f : n cuya
tabla de valores es
x1 x2 x3 f
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1
Forma canonica disyuntiva:
f (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3
Forma canonica conjuntiva:
f (x1 , x2 , x3 ) = (x1 + x2 + x3 ) (x1 + x2 + x3 ) (x1 + x2 + x3 )
N
umero de minterms: 5.
N
umero de maxterms: 3. Total: 5 + 3 = 8 = 23 .
2. Obtenci
on a partir de una expresi
on en f
ormula
Para obtener la forma canonica disyuntiva a partir de una expresion cualquiera conviene, en
una primera aproximacion, obtener una suma de productos, aunque estos productos no sean
minterms. La propiedad que en mayor medida permita esta aproximacion es la distributiva
del producto respecto a la suma.
Una vez obtenida la suma de productos, cada variable xj que no gure en un producto se
puede a
nadir al mismo multiplicando por 1 en la forma
1 = xj + xj .
A continuacion se vuelve a aplicar la propiedad distributiva.
Para la forma canonica conjuntiva se requiere transformar la expresion inicial en producto de
sumas. En este proceso juega un papel esencial la propiedad distributiva de la suma respecto
al producto.

DE BOOLE
67
Una vez obtenido el producto de sumas, cada variable xj que no gure en una suma se puede
a
nadir a la misma sumando 0 en la forma
0 = xj x j .
A continuacion se vuelve a aplicar la propiedad distributiva.
Observaci
on:
En ambos procedimientos, despues de multiplicar por 1 o sumar 0 y aplicar la distributiva, se
debe eliminar los minterms o maxterms repetidos empleando la propiedad de idempotencia.
Por ejemplo, obtener la forma canonica disyuntiva y conjuntiva de la funcion f : n
denida por f (x, y, z) = x + yz.
f (x, y, z) = x (y + y) (z + z) + (x + x) yz
= xyz + xyz + xyz + xyz + xyz + xyz
= xyz + xyz + xyz + xyz + xyz
En este caso, la formula inicial ya era suma de productos. En el primer sumando se ha hecho
aparecer las variables y, z, mientras que en el segundo se ha a
nadido x. Despues de aplicar la
propiedad distributiva se ha comprobado que el primer y el u
ltimo minterm estaban repetidos
y se ha eliminado uno de ellos.
f (x, y, z) =
=
=
=
(x + y) (x + z)
(x + y + zz) (x + yy + z)
(x + y + z) (x + y + z) (x + y + z) (x + y + z)
(x + y + z) (x + y + z) (x + y + z)
En primer lugar se ha aplicado la distributiva de la suma respecto al producto para obtener

un producto de sumas. En el primer sumando se ha a
nadido la variable z y en el segundo la
variable y. Es importante a
nadir las variables en el orden que guran en la funcion, x y z.
De esta manera la simplicacion de maxterms es mas sencilla, tal y como ha sucedido con el
primer y el tercer maxterm que estaban repetidos.
Obtencion de las formas canonicas disyuntiva y conjuntiva de la funcion f : n denida
por f (x, y, z, w) = (x + y) (z + w) (x + z) .
f (x, y, z, w) = xzx + xzz + xwx + xwz + yzx + yzz + ywx + ywz
INDICE GENERAL
68
Despues de aplicar la propiedad distributiva del producto respecto a la suma ha resultado

una suma de ocho productos. De entre estos, el primero, el segundo, el tercero y el sexto son
nulos, pues en ellos aparece una expresion del tipo xx o zz que es igual a 0 por la propiedad
del complementario. Los cuatro productos restantes se escriben con sus variables en el orden
dado por la funcion , x y z w.
f (x, y, z, w) = xzw + xyz + xyw + yzw
= x (y + y) zw + xyz (w + w) + xy (z + z) w + (x + x) yzw
= xyzw + xyzw + xyzw + xyzw + xyzw + xyzw + xyzw + xyzw
Los minterms segundo y septimo, cuarto y quinto as como sexto y octavo estan repetidos. Por
la independencia, eliminamos uno de cada pareja y obtenemos la forma canonica disyuntiva
de f con 5 minterms:
f (x, y, z, w) = xyzw + xyzw + xyzw + xyzw + xyzw
f (x, y, z, w) =
=
=
=
(x + y + zz + ww) (xx + yy + z + w) (x + yy + z + ww)

(x + y + z + w) (x + y + z + w) (x + y + z + w) (x + y + z + w)
La expresion inicial de la funcion ya es un producto de suma. En cada sumando hemos a

nadido
en la posicion correspondiente las variables que faltan en la forma xx, yy, zz o ww. Despues de
aplicar la propiedad distributiva aparecen los maxterms, observando que el segundo y el sexto
estan repetidos. Una vez eliminado uno de ellos se obtiene la forma canonica conjuntiva de f
con los esperados 11 maxterms, ya que card 4 = 24 = 16 y en la forma canonica disyuntiva
obtuvimos 5 minterms:
f (x, y, z, w) = (x + y + z + w) (x + y + z + w) (x + y + z + w) (x + y + z + w)
= (x + y + z + w) (x + y + z + w) (x + y + z + w)
= (x + y + z + w) (x + y + z + w) (x + y + z + w) (x + y + z + w)
Ejercicios propuestos:

DE BOOLE
0.4.4.
69
Simplificaci
on de funciones Booleanas
Las formas canonicas de una funcion Booleana en = {0, 1} son expresiones u

nicas que
identican cada funcion Booleana y la diferencia de las restantes funciones. No son, sin
embargo, expresiones sencillas ni tienen una forma simplicada.
El objetivo de esta seccion es la obtencion de expresiones simplicadas para las funciones
Booleanas, tanto si su expresion inicial es una de las formas canonicas como si no lo es.
Metodos comunes
1. El metodo algebraico .
2. El metodo graco: Mapas de Karnaugh.
3. Los metodos iterativos: el metodo de Quine - McCluskey.(opcional)
El m
etodo algebraico
El metodo denominado .algebraico conciste en la utilizacion de las propiedades generales
validas en cualquier algebra de Boole.
Las siguientes propiedades facilitan en gran medida los procesos de simplicacion.
1. Complementario. Permite eliminar terminos de la forma
x+x=1
xx = 0
2. Idempotencia. Permite reducir terminos de la forma

x+x=x
xx = x
3. Absorcion. Permite simplicar terminos de la forma

x + xy = x
x (x + y) = x
4. Leyes de De Morgan. Act

uan sobre el complemetario de las operaciones reduciendolo
a complementarios sobre las variables
x + y = xy
xy = x + y
INDICE GENERAL
70
5. Distributivas. Permiten agrupar las variables, seg

un convenga, en productos o sumas
xy + xz = x (y + z)
(x + y) (x + z) = x + yz
Simplicar la funcion f : 3 denida por

f (x, y, z) = x + xy + xyz + xz + xz.
Simplicacion:
f (x, y, z) =
=
=
=
=
=
x + xy + xyz + xz + xz
x (1 + yz) + xy + x (z + z)
x + xy + x
x + xy
(x + x) (x + y)
x+y

f (x, y) = (x + y) (x + y) (x + y) .
Simplicacion:
f (x, y) =
=
=
=
=
=
(x + y) (x + y) (x + y)
(xx + xy + yx + yy) (x + y)
[x + x (y + y) + 0] (x + y)
x (x + y)
xx + xy
xy

f (x, y, z, w) = w + wx + yz.
Simplicacion:
f (x, y, z, w) =
=
=
=
=
w + wx + yz
w (1 + x) + yz
w + yz
wyz
w (y + z)
En esta simplicacion se ha empleado en primer lugar la propiedad distributiva. El paso de

la segunda a la tercera lnea es por la propiedad 1 + x = 1, x . Luego hemos empleado
la 1a y 2a ley de D Morgan.

DE BOOLE
71
Mapas de Karnaugh (K)

Para simplicar expresiones Booleanas, ademas de las leyes del algebra logica, se emplea un
metodo llamado Mapas de Karnaugh o Mapas K.
Los Mapas K son diagramas cuadrangulares o rectangulares que tienen 2n compartimientos o
casillas, donde n es el n
umero de variables logicas consideradas. Los diagramas asocian a cada
compartimiento una la de la tabla de verdad. El n
umero binario que identica cada la de la
tabla de verdad se hace corresponder con las coordenadas binarias que identican cada casilla
del Mapa K. En estos mapas se puede trabajar con terminos minimales (minterms) llenando
los compartimientos correspondientes a los unos, maximales (maxterms) con los ceros (0) de
la tabla de verdad. El uso de minterms o de maxterms depende de la forma elegida para
la expresion: la forma normal disyuntiva o la forma normal conjutiva, respectivamente; su
disposicion es tal que el paso de una posicion a otra de la tabla, tanto en vertical como en
horizontal, corresponde a la variacion de una y solo una variable.
Mapas K (dos variables) Una expresion Booleana con dos variables, es decir f (x, y),
tiene una tabla de verdad con cuatro las, conteniendo cada una el valor de la funcion para
cada combinacion de valores de verdad de las variables x, y. El mapa K correspondiente es
una tabla de (2 2) casillas como se muestra a continuacion:
x = 0 x = 1
y = 0
y=1
Si dos casillas contiguas (horizontal o verticalmente, no en diagonal) tienen unos (1), se dice
que forman una adyacencia. Por ejemplo, si en el mapa K solo aparecen unos (1) en el primer
renglon, entonces la funcion Booleana en forma normal disyuntiva es:
itbpF 1,5247in1,1459in0inF igure
f (x, y) =
=
=
=
=
x y + xy
y x + y x
y (x + x)
y ,1
y
Note que al simplicar la expresion se anula la variable x porque x + x = 1. Ademas, ambos

unos (1) se encuentran en el primer renglon, es decir, se encuentran en el renglon denominado
y , por tanto la expresion simplicada es:
f (x, y) = y
INDICE GENERAL
72
Simplicar la funcion Booleana representada en la tabla:
x y
0 0
0 1
1 0
1 1
f
0
1
1
1
El mapa K correspondiente a la tabla es:

Ddddddd
Este mapa K tiene dos adyacencias, una en la segunda la y la otra en la segunda columna.
La funcion sin simplicar es:
f (x, y) = x y + xy + xy
Utilizando las adyacencias mencionadas se obtiene la funcion reducida:
f (x, y) = y + x
Observe que las adyacencias pueden sobreponerse, y que los valores en una la o una columna
pueden ser usados mas de una vez. Ademas, una adyacencia de dos unos (1) elimina una
variable.
Mapas K (tres variables) El mapa K para tres variables es una de (2 4) como se
presenta a continuacion:
z = 0
z=1
x y
00
x y
01
xy
11
xy
10
Hay que observar que en el anterior mapa K para tres variables, la numeracion binaria se
cambia de la segunda columna a la tercera, es decir, se pasa de 01 a 11, no a 10. La u
nica
razon para esto es que es deseable que haya cambio en una sola variable y no en ambas, como
sucedera si al 01 le sigue 10. De esta forma pueden distinguirse seis regiones:
Region de x
Region de x
Region de y
Region de y
Region de z
Region de z
:
:
:
:
:
:
columnas
columnas
columnas
columnas
la 2a
la 1a .
3a
1a
2a
1a
y
y
y
y
4a
2a
3a
4a
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1) . Tambien se consideran las adyacencias entre la primera y cuarta columna, tal como si el mapa K fuera

DE BOOLE
73
dibujado sobre un cilindro. Ademas, las adyacencias pueden estar en una sola la o formando
un cuadrado. Los ejemplos siguientes ilustran lo anterior.
Encontrar la expresion Booleana simplicada cuyo mapa K es:
Soluci
on:
Al existir una adyacencia de cuatro unos (1), la funcion Booleana de tres variables se reduce
a una sola. Observe que la adyacencia esta en la primera y cuarta columna, es decir, en la
region de y , por tanto, la funcion Booleana simplicada sera:
f (x, y, z) = y .
Para demostrar lo anterior, se escribe la funcion en forma normal disyuntiva, as:
f (x, y, z) =
=
=
=
=
x y z + x y z + xy z + xy z
x y (z + z) + xy (z + z)
x y + xy
y (x + x)
y.
Encontrar la expresion Booleana simplicada cuyo mapa K es:

La adyacencia esta en la segunda y tercera columna, es decir, en la region de y, por lo que la
funcion Booleana simplicada sera:
f (x, y, z) = y.
Para demostrar lo anterior, se escribe la funcion en la forma normal disyuntiva:
f (x, y, z) =
=
=
=
=
x yz + x yz + xyz + xyz
x y (z + z) + xy (z + z)
x y + xy
y (x + x)
y.
INDICE GENERAL
74
Mapas K (cuatro variables) El mapa K para funciones booleanas de cuatro variables,

es una tabla de (4 4) dise
nada de la siguiente forma:
Como en el caso anterior, pueden distinguirse 8 regiones, as:

Region de x
Region de x
Region de y
Region de y
Region de z
Region de z
Region de w
Region de w
:
:
:
:
:
:
:
:
columnas 3a y
columnas 1a y
columnas 2a y
columnas 1a y
las 3a y 4a
las 1a y 2a
las 2a y 3a
las 1a y 4a .
4a
2a
3a
4a
Aqu pueden ocurrir adyacencias de dos, cuatro, ocho o dieciseis unos (1) que eliminan una,
dos, tres o cuatro variables, respectivamente. Se consideran adyacencias entre la primera y
cuarta columna y tambien entre la primera y cuarta la como puede verse en los ejemplos
siguientes.
Simplicar la funcion Booleana cuyo mapa K asociado es:
f (x, y, z, w) =
=
=
=
=
x y z w + xy z w + x y zw + xy zw + x yz w + xyz w + x yzw + xyzw

y z w (x + x) + y zw (x + x) + yz w (x + x) + yzw (x + x)
y z w + y zw + yz w + yzw
y w (z + z) + yw (z + z)
yw + y w .
Simplicar la funcion Booleana cuyo mapa K asociado es:

f (x, y, z, w) =
=
=
=
=
=
=
x y z w + x y z w + x y zw + x y zw + xy z w + xy z w + xy zw + xy zw
x y z (w + w) + x y z (w + w) + xy z (w + w) + xy z (w + w)
x y z + x y z + xy z + xy z
x y (z + z) + xy (z + z)
x y + xy
y (x + x)
y.

DE BOOLE
75
En los ejemplos anteriores la consideracion de las adyacencias se

naladas conducen directamente a las expresiones simplicadas, observando las regiones del mapa K en las que se
encuentran estas adyacencias.
M
etodo para obtener la tabla a partir de la funci
on Cada posicion de la tabla
corresponde a cierta agrupacion de valores de las variables. Hemos de mirar cuales de estas
agrupaciones hacen que el valor de la funcion sea igual a 1 y, en este caso, colocar un 1 en la
posicion correspondiente.
Ejemplo 3. f (x, y, z, w) = xyzw + xyzw
zw
xy
00
01
11
10
00 01
1
11
10
Esta funcion consta exactamente de dos minterms. En el primero, se consigue el valor de

1 exactamente en el caso x = y = z = w = 0. En el segundo se consigue valor 1 solo si
x = y = 1 a la vez que z = 0 y w = 1.
Ejemplo 4. f (x, y, z, w) = xyz
zw
xy
00 01
00
01
11
10
11
10
1
1
El u
nico termino de esta funcion no es un minterm. Se obtiene valor 1 exactamente para
x = 0, y = z = 1. La variable w no gura en la expresion de la funcion de manera que esta
puede tomar valor 0 o 1 sin afectar al valor de la funcion.
Ejemplo 5. f (x, y, z, w) = yw
Esta funcion toma valor 1 solo si y = 0 y w = 0. Las variables x, z no guran en la expresion
de la funcion as que pueden tomar cualquier valor.
zw
xy
00
01
11
10
00
1
01
11
10
1
INDICE GENERAL
76
Ejemplo 6. f (x, y, z, w) = z
zw
xy
00
01
11
10
00 01
11
10
1
1
1
1
1
1
1
1
El valor z = 1 hace que la funcion tome el valor 1. Los valores de x, y y w no intervienen en

el valor de la funcion, de manera que sus ocho posibles agrupaciones dan lugar a ocho 1s en
la tabla.
Una vez completadas las posiciones de la tabla con 1, se conigna valor 0 en las restantes
posiciones.
M
etodo para obtener la funci
on simplificada a partir de la tabla La disposicion de la tabla permite agrupar las posiciones con valor 1 en grupos de 2p (0 p < n)
correspondientes a expresiones simplicadas.
Para p = 3 agrupaciones de 23 = 8 posiciones con valor 1.
1 1
1 1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1 1
1
1
1
1

1
1
1
Para p = 0 agrupaciones de 20 = 1 posiciones con valor 1 (minterms).

1

DE BOOLE
77
En el momento de vaciar la tabla y pasar a la expresion simplicada de la funcion conviene

tener en cuenta estas dos reglas:
1. Son preferible las agrupaciones de mas a la de menos 1s, ya que dan lugar a terminos
mas simplicados. Una agrupacion de un solo 1 es un minterm y corresponde a un
sumando sin simplicacion.
2. Si es necesario, las diferentes agrupaciones pueden solaparese, es decir, tener 1s en
com
un.
Simplicar la funcion Booleana f : 3 cuya tabla de valores es
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
0
0
0
1
0
1
1
1
La tabla de valores de la funcion tiene cuatro 1s de manera que su forma canonica disyuntiva
es
f (x, y, z) = xyz + xyz + xyz + xyz.
Mapa de Karnaugh de la funcion f :
z
xy
0
1
00 01
0 0
0 1
11
1
1
10
0
1
itbpF 4,4613cm1,6672cm0cmF igure

Expresion simplicada para f .
f (x, y, z) = yz + xy + xz.
Simplicar la funcion Booleana f : 4 cuya expresion es
f (x, y, z, w) = xyzw + xyzw + xyzw + xyzw + xyzw + xyzw + xyzw.
Esta funcion esta expresada en forma canonica disyuntiva como suma de siete minterms.
Cada uno de ellos da lugar a un 1 en su tabla de valores o en su mapa.
INDICE GENERAL
78

zw
xy
00
01
11
10
00
0
1
1
1
01
0
1
1
0
11
0
0
0
0
10
0
0
1
1
Expresion simplicada para f :

f (x, y, z, w) = xw + yz.
Simplicar la funcion Booleana f : 4 denida por
f (x, y, z, w) = xw + xy + yz + xz.

zw
xy
00
01
11
10
00
1
0
0
1
01
1
0
0
0
11
1
0
0
0
10
1
0
0
1
Expresion simplicada para f :

f (x, y, z, w) = zw + yw.
Esta funcion ya haba sido simplicada empleando propiedades generales del algebra de
Boole. Aplicando la propiedad distributiva, se puede obtener una expresion mas reducida de
la funcion
f (x, y, z, w) = (z + y) w.
Escribir la funcion f = (xy + yz ) + y en la forma normal disyuntiva.
Soluci
on:

DE BOOLE
(xy + yz ) + y =
=
=
=
=
=
=
=
=
79
(xy) . (yz ) + y
(x + y ) . (y + z) + y
(y + x ) . (y + z) + y
y + x z + y
y + x z
y (x + x ) (z + z ) + x z (y + y )
y (xz + xz + x z + x z ) + x yz + x y z
xy z + xy z + x y z + x y z + x yz + x y z
xy z + xy z + x y z + x y z + x yz
Una funcion Booleana puede ser expresada en forma normal disyuntiva en mas de una manera,
mediante el cambio del n
umero de variables; sin embargo, para un n
umero dado de variables
la forma normal es u
nica.
Por ejemplo, f = xy esta en forma normal disyuntiva en x y en y, pero si xy es multiplicada
por z + z , entonces f = xyz + xyz esta tambien en forma normal en las variables x, y, z.
En forma similar, g = x yz + xyz + x yz + xyz esta en forma normal disyuntiva en x, y, z,
pero reduciendola se llega a g = y, la cual esta en forma normal en y.
La forma normal disyuntiva en n variables que tiene 2n terminos se llama forma normal
disyuntiva completa n variables es identicamente igual a la unidad. Por ejemplo, para el
caso de dos variables (n = 2) la forma normal disyuntiva se puede obtener de la tabla:
2
x
0
0
1
1
y
0
1
0
1
f
xy
xy
xy
xy
x y + x y + xy + xy = 1
cuyo valor es 1 porque
x y + x y + xy + xy =
=
=
=
x (y + y) + x (y + y)
x 1 + x1
x + x
1
INDICE GENERAL
80
Encontrar y simplicar la funcion Booleana f (x, y, z) especicada en la tabla siguiente:

F ila
0
1
2
3
4
5
6
7
x y
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
z
0
1
0
1
0
1
0
1
f (x, y, z)
1
0
1
0
1
0
1
0
Soluci
on:
La tabla anterior muestra el valor de f para cada una de las 23 = 8 posibles combinaciones
de valores de 0 y 1 para x, y, z. Las combinaciones representadas en las las 1, 5 y 6 de la
tabla tienen valor 1. As la forma normal disyuntiva de f contendra tres terminos:
x y z + xy z + xyz
y z (x + x) + xyz
y z,1 + xyz
y z + xyz
f (x, y, z) =
=
=
=
Escribir la funcion (xy + yz ) + y en la forma conjuntiva.

Soluci
on:
(xy + yz ) + y =
=
=
=
=
=
=
=
(xy) . (yz ) + y
(x + y ) . (y + z) + y
y + (x + y ) . (y + z)
(y + x + y ) (y + y + z)
(x + y ) (y + z)
(x + y + zz ) . (xx + y + z)
(x + y + z) (x + y + z ) (x + y + z) (x + y + z)
(x + y + z) . (x + y + z ) (x + y + z)
Una funcion Booleana puede ser expresada en forma normal conjutiva en mas de una manera,
mediante el cambio del n
umero de variables; sin embargo, para un n
umero dado de variable
la forma normal es u
nica. Por ejemplo, f = x + y esta en forma normal en x y en y, pero si a
x + y se le suma z.z entonces f = x + y + zz o f = (x + y + z) (x + y + z ) esta tambien en

DE BOOLE
81
forma normal en las variables x, y, z. Por otra parte, g = (x + y + z) (x + y + z) (x + y + z )

esta en forma normal conjuntiva en x, y, z, pero simplicandola se obtiene g = y que esta en
forma normal en y.
La forma normal conjuntiva en n variables que tiene 2n terminos se llama la forma normal
conjuntiva completa en n variables y es igual a cero. Por ejemplo, para el caso de dos variables
(n = 2) la forma normal conjuntiva completa se puede obtener de la siguiente tabla, al tomar
las variables complementadas:
x
0
0
1
1
y
0
1
0
1
f
x + y
x+y
x + y
x + y
(x + y) (x + y ) (x + y) (x + y )
Porque (x + y) (x + y ) (x + y) (x + y ) =
=
=
=
(x + yy ) (x + yy )
(x + 0) (x + 0)
xx
0
Encontrar y simplicar la funcion Booleana f (x, y, z) especicada en la tabla siguiente:

F ila
0
1
2
3
4
5
6
7
x y
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
z
0
1
0
1
0
1
0
1
f (x, y, z)
1
0
1
0
1
0
1
0
Como solo dos las de la tabla, la 1 y la 5, tienen valor cero, es mas facil escribir la funcion
en forma normal conjuntiva, as:
f (x, y, z) =
=
=
=
=
(x + y + z ) . (x+ y + z )
(y + z + x) . (y + z + x )
(y + z + xx )
y + z + 0
y + z
82
INDICE GENERAL
En los ejemplos de este tipo, la forma normal disyuntiva se usa si el n

umero de unos (1) es
menor que el n
umero de ceros (0) en la columna f y la forma normal conjuntiva se usa si el
n
umero de ceros (0) es menor que el n
umero de unos (1).
Dos funciones, cada una expresada en la forma normal conjuntiva en n variables, son
iguales si tienen identicos factores.
La forma normal conjuntiva puede usarse para hallar el complemento de funciones escritas
en esta forma. El complemento de una funcion escrita en forma normal conjuntiva es una
funcion cuyos factores son exactamente aquellos de la forma normal conjuntiva completa, los
cuales no aparecen en la funcion dada. Por ejemplo, el complemento de (x + y ) (x + y ) es
(x + y) (x + y) .
Para cambiar una funcion de una forma normal a la otra se utiliza (f ) = f . El siguiente
ejemplo ilustra el metodo.
Encontrar la forma normal conjuntiva para la funcion f = xyz + x yz + xy z + x yz
[
]
(f ) = (xyz + x yz + xy z + x yz )
= [(x + y + z ) (x + y + z ) (x + y + z) (x + y + z)]
= (x + y + z) (x + y + z ) (x + y + z ) (x + y + z)
El apostrofo signica la complementacion de toda la expresion entre parentesis. Despues

de negar doblemente la funcion, la primera negacion se trata con la ayuda de las leyes de
DMorgan; para la segunda negacion (la del corchete) se construye el complemento, es decir,
se buscan los terminos que all faltan para totalizar la forma normal conjuntiva completa.
Hallar la forma normal conjuntiva para la funcion f = xyz + xyz + xy z + xy z + x y z
[
]
(f ) = (xyz + xyz + xy z + xy z + x y z )
= [(x + y + z ) . (x + y + z) . (x + y + z ) . (x + y + z) . (x + y + z)]
= (x + y + z ) . (x + y + z) . (x + y + z )

DE BOOLE
83
Ejercicios Propuestos
1. Simplicar las siguientes expresiones Booleanas:
a) (x + y) (x + y)
b) (x + xy + xyz) (x + y + z)
c) (xy + x y) . (xy + x y )
d ) (yz + xuw) (yz + x + u + w )
e) xyz + xy z + x yzx
f ) (x + y + z + x y z ) . (yz + yz + y z)
g) (yz + y z + yz ) [(y + z ) (y + z )]
h) xy + x z + yz
i) (x + y) (x + z) (y + z)
2. Escribir cada una de las siguientes expresiones en la forma normal disyuntiva con el
menor n
umero posible de variables:
a) (x + y ) (y + z ) (z + x ) (x + y )
b) (x + y ) (y + z) (y + z )
c) x yz + xy z + x yz + x y z + xyz + x y z
3. Escribir cada una de las siguientes expresiones en la forma normal conjuntiva con el
menor n
umero posible de variables:
a) (x + y ) (y + z ) (z + x ) (x + y )
b) (x + y ) (y + z) (y + z )
c) x yz + xy z + x yz + x y z + xyz + x y z
4. Simplicar las siguientes expresiones mediante la ley de DMorgan:
a) (x yz )
b) (x + y z)
[
]
c) xy (zw)
[
]
d ) x (y + z ) w
e) [(x + y ) (x + y)]
{[
] }
f)
(xy) z w
INDICE GENERAL
84
5. Para cada una de las siguientes expresiones construir el circuito logico correspondiente:
1 ) Utilizando compuertas AN D y OR. 2 ) Utilizando compuertas N AN D y N OR.
USe inversores si es necesario:
a) f = [xy (z + w)]
b) g = (x + y + z wu ) + y zw
c) h = (x + y) + z w
d ) i = (x + zw )
e) j = xy (z + y )

0.5. COMPUERTAS LOGICAS
0.5.
85
Compuertas L
ogicas
El algebra Booleana es el soporte teorico del algebra de los circuitos logicos, lo cual se ajusta a la teora del algebra Booleana como un algebra con dos elementos, el 0 y el 1. Esto
signica que, excepto por la terminologa y su signicado en los circuitos, es identica al algebra de proposiciones considerada como un sistema abstracto. El algebra de circuitos utiliza
dispositivos de dos estados; el ejemplo mas simple de tales dispositivos es un interruptor
o contacto (switch). Otros dispositivos de dos estados utilizan dos en circuitos logicos son
diodos recticadores, bobinas magneticas, transitores. La naturaleza de los estados vara
con el dispositivo: conduccion, contra no-conduccion, cerrado contra abierto, cargada contra
descaragada, magnetizada contra desmagnetizada, alto voltaje contra bajo voltaje.
Dos problemas que surgen con las aplicaciones del algebra Booleana en los circuitos logicos
son:
Simplicacion de un circuito dado que tenga determinadas propiedades.
El dise
no de circuitos logicos que tengan propiedades dadas. El problema de dise
nar un
circuito que tenga propiedades dadas es exactamente el de encontrar la proposicion o
funcion Booleana asociada a una tabla de verdad dada.
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son sucientes para
escribir cualquier ecuacion Booleana. Toda funcion logica puede expresarse con la combinacion de estas tres compuertas. Sin embargo, se utilizan otras cuatro compuertas logicas:
NAND, NOR, XOR y XNOR.
0.5.1.
Compuerta NAND
La compuerta (NOT NAND), denominada tambien operaci

on de Sheer, es la negacion de
una compuerta AND y se dene:
x NAND y = (xy) .
El smbolo para la compuerta NAND es:
La tabla de verdad es:
x
0
0
1
1
y
0
1
0
1
AND
xy
NAND
(xy)
0
0
0
1
1
1
1
0
INDICE GENERAL
86
0.5.2.
Compuerta NOR
La compuerta (NOT OR), denominada tambien operaci

on de Pierce, es la negacion de una
compuerta OR y se dene:
x NOR y = (x + y) .
El smbolo para la compuerta NOR es:
La tabla de verdad es:
x
0
0
1
1
0.5.3.
y
0
1
0
1
OR
x + y
NOR
(x + y)
0
1
1
1
1
0
0
0
Compuerta XOR
Corresponde a la operacion logica disyuncion exclusiva (x y) y a la operacion entre conjuntos denominada diferencia simetrica. Para designar esta disyuncion exclusiva o suma exclusiva
se emplea el smbolo :
f (x, y) = x y = xy + x y.
El smbolo para la compuerta XOR es:
Compuerta XNOR
La compuerta XNOR es la negacion de una compuerta XOR. Su smbolo es:
La tabla de verdad para las compuertas XOR y XNOR es:

x
0
0
1
1
y
0
1
0
1
XOR
x y
XNOR
(x y)
0
1
1
0
1
0
0
1
Debe notarse que la tabla de verdad de la compuerta XNOR es exactamente igual a la tabla
de verdad de la equivalencia; por ello, esta compuerta recibe el nombre de comparador.
Si la expresion para la compuerta XOR es:
x y = xy + x y.

87
Su complemento, la compuerta XNOR, sera:
(x y) = (xy + x y) .
Para hallar este complemento se procede as:
(x y) =
=
=
=
=
=
(xy ) . (x y) {Ley de DMorgan}

(x + y) . (x + y ) {Ley de DMorgan}
(x + y) .x + (x + y) .y P2
xx + xy + x y + yy P2
0 + xy + x y + 0 P4
xy + x y P3
Esta u
ltima espresion es la funcion Booleana que establece la equivalencia entre x, y, por
tanto:
(x y) = (x y) ,
se concluye que una equivalencia logica puede representarse mediante una compuerta XNOR.
Escribir la funcion f = (xy + xz) en forma normal disyuntiva, simplicarla y dibujar el
circuito logico
f =
=
=
=
=
(xy + xz + xx )
[x (y + z + x )]
x + xyz
x (y + y ) (z + z ) + xyz
x yz + x yz + x y z + x y z + xyz
El mapa K correspondiente es:

La funcion Booleana simplicada es f = yz + x .
Para dise
nar el circuito logico correspondiente, no solo para este ejemplo sino para todos los
circuitos, se emplea un bus de variables de entrada y sus negaciones (la lnea que sale de
la bolita es la negacion de la variable correspondiente), as:
La simplicacion de la ecuacion Booleana es importante desde el punto de vista economico

y por la reduccion de los circuitos logicos, para hacerlos mas simples y compactos. Un hecho
que ha permitido dicha simplicacion es la existencia de conjuntos funcionalmente completos
de conectivos: { } y { } que pueden ser escritos y representados as:
INDICE GENERAL
88
Esta propiedad origino dos formas de dise

nar los circuitos logicos, utilizando solo compuertas
NAND o solo compuertas NOR, las cuales han sido denominadas t
ecnicas NAND y NOR,
respectivamente; tales tecnicas han sido impuestas por las consideraciones constructivas,
puesto que es mas eciente la fabricacion en serie y automatizada de circuitos integrados
y chips que solo usan una clase de compuerta. La tabla siguiente muestra las equivalencias
entre una y otra tecnica.
Dada la siguiente expresion Booleana f = x y + x y , implementar el circuito logico correspondiente utilizando:
1. Tecnica NAND.
2. Tecnica NOR.
Soluci
on:
1.
f = x y + x y
[
]
(f ) = (x y + x y )
[
]
f = (x y) . (x y )
()
La anterior es la expresion que implementa el circuito mediante la tecnica NAND, as:
2. A partir de la expresion (), se obtiene:
f = [(x + y ) . (x + y)]
f = (x + y ) + (x + y)
{[
] }
(f ) =
(x + y ) + (x + y)
Esta u
ltima expresion se implementa mediante tecnica NOR, as:
Otro recurso empleado para la simplicacion de expresiones Booleanas es la consideracion de

condiciones no importa (dont care) producidas por terminos irrelevantes en la expresion,
que resultan de aquellas combinaciones de los valores logicos de las variables no requeridas
para la solucion de un determinado problema. Estos terminos, simbolizados por x en el mapa
K, pueden ser utilizados para conformar adyacencias que producen notorias simplicaciones,
como se vera en el ejemplo siguiente.
Simplicar el siguiente mapa K, utilizando los terminos irrelevantes (x).

89
La funcion Booleana simplicada considerando la adyacencia es xw, mientras que sin considerar los terminos irrelevantes (dont care) es xyz w.
f = xyz w
f = xw
Encontar la funcion Booleana simplicada en las forma normal conjuntiva y disyuntiva asociada al siguiente mapa K.
Para la forma normal conjuntiva se consideran los ceros (0) y se tiene en cuenta que las
variables consideradas se deben tomar complementadas, as:
f (x, y, z, w) = (y + w) (x + y )
Para la forma normal disyuntiva se consideran los unos (1) .
f (x, y, z, w) = y + x w
Al aplicar la ley distributiva de + sobre . se puede ver que las dos expresiones son equivalentes.

Módulo+completo Lógica+Matemática

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Módulo+completo Lógica+Matemática

Enviado por

Direitos autorais:

Formatos disponíveis

Logica para computacion

Amaury Camargo Bentez

Se puede decir, que la logica es la ciencia de los principios de inferencia o razonamientos

0.1. LOGICA PROPOSICIONAL

Tablas de verdad Para evitar ambig

Nota: En el lenguaje com

P : El tablero de este salon es verde.

Aunque es simple, no debe confundirse P con lo contrario de P.

0.1. LOGICA PROPOSICIONAL

Condicional () (Corresponde al Si,...,entonces... del lenguaje com

Las dos primeras lneas son creibles, las dos u

Bicondicional () Si y solo si. La armacion P Q intuitivamente nos dice que

0.1. LOGICA PROPOSICIONAL

1. Trainganlo vivo o (trainganlo) muerto es una instancia de la disyuncion excluyente.

1. (Asociatividad): Las propiedades de asociatividad de la conjuncion y de la disyuncion

Esto permitira escribir sin ambig

y as, en estos casos, es indispensable escribir los parentesis.

0.1. LOGICA PROPOSICIONAL

Vamos a resumir lo descrito en esta peque

3. No se debe escribir, pues no son proposiciones,

(no se tienen propiedades ni convenios que permitan siquiera escribirlas).

Tautologas (Informalmente): Respecto de los llamados valores de verdad, se dice que

0.1. LOGICA PROPOSICIONAL

Esta es una proposicion bastante u

Si P, Q, R son proposiciones, entonces:

0.1. LOGICA PROPOSICIONAL

1. En primer lugar, usando la conmutatividad, uno tiene que,por ejemplo,

En otras palabras y seg

Teorema 1. (Leyes de DMorgan)

(por denicion de la implicacion)

(por una Ley de Morgan)

(por denicion de la implicacion)

Si P, Q, R son proposiciones, entonces:

0.1. LOGICA PROPOSICIONAL

Si P, Q son proposiciones, entonces:

Note que hemos evitado conscientemente la tentacion de pasar de P Q a P Q.

De todas maneras, tal tentacion no es grave y solo se traducira en que la demostracion,

0.1. LOGICA PROPOSICIONAL

La primera armacion es inmediata seg

Veamos algunos ejemplos mas concretos.

Note la interesante aplicacion de la ley de absorcion en los u

0.1. LOGICA PROPOSICIONAL

Vamos a usar los smbolos y . Su uso se detalla mas abajo.

El enunciado para todo x, P x se representa como: (x) (P x) .

0.1. LOGICA PROPOSICIONAL

Un enunciado de la forma (x) (P x) es verdadero cuando al menos un caso de sustitucion

1. Diremos que una formula P no esta cuanticada bajo el termino x, si en P no gura

Cuantificadores en una letra Descripci

Funciones proposicionales en una letra Una funcion proposicional en la letra x es una

Cuantificador universal Si p (x) es una funcion proposicional y U es unconjunto, entonces

0.1. LOGICA PROPOSICIONAL

Reglas para el uso

Por otra parte, si se nos presenta alg

Como se ve es bastante razonable.

0.1. LOGICA PROPOSICIONAL

0.1. LOGICA PROPOSICIONAL

Para tal efecto compruebe que en Z : la armacion Todo n

(x) [p (x) q (x)]

Cuantificadores con varias variables

(y) (x) P (xc y)

p (x, y) no es verdadera ni falsa (no es una proposicion),

0.1. LOGICA PROPOSICIONAL

4. p (x, y, z) : x + y = z es una funcion proposicional en tres letras.