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

Lógica para computación
Amaury Camargo Benı́tez

2
Índice general
3
4 ÍNDICE GENERAL
0.1. Logica proposicional

0.1.1. Introducción
Se puede decir, que la lógica es la ciencia de los principios de inferencia o razonamientos
formalmente válidos. Lo especı́fico de un razonamiento o inferencia conciste en derivar una
conclusión a partir de unas premisas siguiendo una regla de inferencia dada, llamada modus
ponens. De esta conclusión se dice que es formalmente válida, es decir, que si sus premisas
son verdaderas entonces la conclusión también es verdadera. La lógica se ocupa de la validez
de los razonamientos y no de la verdad o falsedad de los enunciados que la componen.
0.1.2. Lógica Informal

Afirmaciones o Enunciados
Al probar teoremas en matemáticas debemos decidir si ciertas afirmaciones son ciertas o no.
Afirmación: Entenderemos que una afirmación 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 salón es verde” y “el tablero del salón 19 − 01 es blanco”. Ambas son
afirmaciones. De la primera no tenemos dudas si es verdadera o falsa y de la segunda no hay
certeza, sin embargo, también es una afirmación y no es necesario estar en la capacidad de
saber personalmente la respuesta.
Por otra parte, “Viajar en la noche” y “mirar televisión”. No son afirmaciones. De éstas no
se puede decir que sean verdaderas o falsas.
Toda afirmación es verdadera o falsa y no hay una afirmación que sea verdadera y falsa al
mismo tiempo. Esta suposición la llamamos la Ley del tercero excluido.
La mayorı́a de los matemáticos lo aceptan, sin embargo, algunos demasiado formales se
rehusan a usarla.
Una consecuencia de esta suposición es que si una afirmación no es falsa tendrá que ser
verdadera; a partir de afirmaciones podemos construir otras afirmaciones.
Operaciones Básicas
Las palabras “y”, “o”, “no”, “si,...,entonces”, “si y sólo si”,(conectivos lógicos) nos permitirán
nuevas afirmaciones y, además, conociendo los valores de verdad, es decir, si son V ó F , de
las afirmaciones que componen las afirmaciones nuevas, podremos deducir el valor de verdad
de la afirmación que se construya.
Los conectivos lógicos, tienen una notación especial y su sentido en matemáticas es

preciso.
0.1. LOGICA PROPOSICIONAL 5
Cada proposición tiene una forma lógica a la cual se le da un nombre. Se distinguen dos tipos
de proposiciones: simples y compuestas. Una proposición se denomina simple cuando ella
no interviene ninguna conectiva lógica o término de enlace (y, o, no, si,... entonces..., si y
sólo si). Si se juntan una o varias proposiciones simples con un término de enlace, se forma
una proposición compuesta. Los términos de enlace, “y”, “o”, “si...entonces”, “si y sólo si”;
se usan para ligar dos proposiciones, en cambio el término de enlace “no” se agrega a una
sola proposición.
La forma de las proposiciones compuestas depende del término de enlace utilizado, y no del
contenido de la proposición o proposiciones simples. Es decir si en una proposición compuesta
se sustituyen las proposiciones simples por otras proposiciones simples cualesquiera, la forma
de la proposición compuesta se conserva.
Observación: Generalmente para representar las proposiciones utilizamos letras lati-

nas mayúsculas o minúsculas como p, q, r, ...
Teniendo como base las afirmaciones: P : “El tablero de este salón es verde”, Q: “El tablero
del salón 315 es blanco”, podemos construir nuevas afirmaciones, por ejemplo: P y Q: “El
tablero de este salón es verde y el tablero del salón 315 es blanco”, P o Q: “El tablero de este
salón es verde o el tablero del salón 315 es blanco”.
Tablas de verdad Para evitar ambigüedades, definimos el uso de los sı́mbolos mediante
tablas de verdad.
Estas tablas pueden construirse haciendo una interpretación de los lógicos, ∼, ∨, ∧, =⇒, ⇐⇒
; como: no, o, y, si...entonces, si y sólo si, respectivamente. La interpretación corresponde al
sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una corres-
pondencia entre los resultados de estas tablas de verdad y la deducción lógico-matemática.
En consecuencia, las tablas de verdad constituyen un método de decisión para chequear
si una proposición es o no un teorema.
Conjunción (∧) (Corresponde al ”y” del lenguaje común). Sean P y Q afirmaciones. La

afirmación P ∧ Q se lee ”P y Q” es intuitivamente verdadera si ambas son verdaderas y falsa
si alguna de ellas es falsa, pero su definición 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
6 ÍNDICE GENERAL
Nota: En el lenguaje común la palabra ”y” podrá tener otros significados (pero, también,
aún), sin embargo para nosotros el significado es el que nos da la tabla.
Disyunción (∨) (Corresponde al ”o” del lenguaje común). Las afirmaciones P ∨ Q se lee
”P ó Q”, intuitivamente P ∨ Q es verdadero si cualquiera de las dos afirmaciones 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.
Después del almuerzo como postre o me lavo los dientes. En la afirmación anterior dada en
lenguaje común uno entiende que no hará las dos cosas después de almuerzo. Aquı́ el ”o” es
exclusivo, pero en el lenguaje matemático el ”o” que se usa es el inclusivo.
Negación (∼) (Corresponde al ”no” del lenguaje común). La afirmación ∼ P que se lee
”no P ”, intuitivamente ∼ P es falso cuando P es verdadero y ∼ P es veradero cuando P no
lo es. La definición precisa de la negación es:
P ∼P
V F
F V
P : El tablero de este salón es verde.
∼ P : El tablero de este salón no es verde.
Aunque es simple, no debe confundirse ∼ P con lo contrario de P.
La negación de ”Juan es rico”; no es ”Juan es pobre”

Condicional (−→) (Corresponde al ”Si,...,entonces...” del lenguaje común). La afirmación

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 definición precisa es:
P Q P −→ Q
V V V
V F F
F V V
F F V
Las dos primeras lı́neas son ”creibles”, las dos últimas nos cuestan más trabajo. Tratemos de
entenderlas con el siguiente ejemplo.
”Si Jorge se toma las sopas, entonces yo le compro un helado”. ¿Cuál serı́a el único caso en
el que Jorge reclamarı́a?. Es claro que si Jorge se toma las sopas y yo le compro el helado,
entonces la afirmación condicional se verifica; También es claro que si Jorge se toma las sopas
y yo no le compro el helado, entonces la afirmación condicional no se verifica; ahora, si Jorge
no se toma las sopas y yo le compro el helado, entonces la afirmación condicional se verifica.
Por último, se cumple que si Jorge no se toma las sopas y yo no le compro el helado, la
afirmación condicional se verifica.
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 sólo si Q”; ”Q siempre que P ”; ”suponiendo P ,
entonces Q”; ”Q dado que P ”; ”P es suficiente para Q” y ”Q es necesario para P ”.
En el ejemplo siguiente, todas las afirmaciones quieren decir lo mismo.
1. Si p es un número par, p = 2m para algún m ∈ Z.
2. p = 2m para algún m ∈ Z, si p es par.
3. p es un número para sólo si p = 2m para algún m ∈ Z.
4. p = 2m para m ∈ Z siempre que p sea par.
5. Suponiendo que p sea par entonces p = 2m para algún m ∈ Z.
6. p es par es suficiente para que p = 2m para algún m ∈ Z.
7. p = 2m para algún m ∈ Z es necesario para que p sea par.

8 ÍNDICE GENERAL
Bicondicional (←→) “Si y sólo si”. La afirmación 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 sólo si tú lo haces también”.
Esto se verifica si ambos estudiamos o ambos no lo hacemos, pero claramente si yo lo hago

y tu no lo haces no se verifica (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 sólo si Q, P si y solamente si Q, P es

necesario y suficiente para Q. También podemos escribir a P ←→ Q por Q ←→ P ; a veces
abreviamos ”si y sólo si” por ”sii”.
Disyunción excluyente (Disyunción exclusiva): Si P y Q son proposiciones, la expresión

P Y Q es una abreviatura de la proposición (P ∨ Q) ∧ P ∧ Q, de tal maera, su tabla de verdad
se calcula como sigue:
P Q P ∨Q P ∧Q Q∧P (P ∨ Q) ∧ Q ∧ P
V V V V F F
V F V F V V
F V V F V V
F F F V F F
Esto es,
P Q P YQ
V V F
V F V
F V V
F F F
Observación
Si P y Q son proposiciones, entonces P Y Q es una proposición 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 sólo P es verdader, o se tiene que sólo Q es veradera, pero no cuando ambas
son veraderas ni cuando ambas son falsas.
(Ilustración)
1. Tráinganlo vivo o (tráinganlo) muerto es una instancia de la disyunción excluyente.

2. (6 > 2) Y (6 < 2) es una ejemplo más formal.
Observación
Cuando se trabaja con proposiciones, es indispensable el buen uso de los paréntesis; su
descuido provoca numerosos errores.
El papel de los paréntesis es similar al de la puntuación en nuestra gramática; separa unidades
más pequeñas dentro del discurso.
Su importancia radica en que debemos procurar que lo que escribamos en Matemáticas no
esté sujeto a interpretaciones distintas, es decir, que carezca de ambigüedad.
Tome en cuenta que un cambio en la puntuación puede modificar completamente el sentido
de la frase.
En el álgebra elemental
El uso de paréntesis en proposiciones tiene análoga utilidad y similares convenciones que el
uso de paréntesis en expresiones algebraicas. También en el álgebra elemental puede cambiar
el significado de la expresión según los ”separadores” que se emplea.
Veamos algunos situaciones:
1. Considere la conocida y mal hecha pregunta ¿Cuál es la mitad ((
de dos?.
) Como
) se sabe,
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 situación convencional, se suele decir que ”la suma prevalece sobre la
multiplicación”, ó bien que ”el producto se hace antes que la suma”.
Estas expresiones en español no son excelentes, pero no traen problema si se las usa correc-
tamente.
En cualquier caso, usted puede escribir 2 + 3 × 5 y todos entenderán 17 (y no 25).
3. Ahora bien, si usted quiere escribir el número a (bc) puede escribir abc, pero puede
escribir también abc para expresar (ab) c.
Esto se debe a la ley de la asociatividad en los números, que dice que si tiene a (bc) = (ab) c
y entonces, la expresión abc puede significar cualquiera de las dos.
En el álgebra de proposiciones
Cuando se trabaja con proposiciones, la situación es análoga a la ley descrita.
10 ÍNDICE GENERAL
1. (Asociatividad): Las propiedades de asociatividad de la conjunción y de la disyunción

indican que,
(P ∧ Q) ∧ R ⇐⇒ P ∧ (Q ∧ R)
y
(P ∨ Q) ∨ R ⇐⇒ P ∨ (Q ∨ R)
Esto permitirá escribir sin ambigüedad
P ∧Q∧R
y
P ∨Q∨R
Algo análogo ocurre con la disyunción 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 paréntesis: ya sea exactamente (P ∧ Q) ∨ R si es
que piensa en esa expresión, o bien precisamente P ∧ (Q ∨ r) si eso es lo que quiere escribir.
3. (No asociatividad): De análoga manera, podemos ver que
(P =⇒ Q) =⇒ R no es equivalente a P =⇒ (Q =⇒ R)
y que, P ⇐⇒ (Q ⇐⇒ R) no es equivalente a P ⇐⇒ (Q ⇐⇒ R) ,
y ası́, en estos casos, es indispensable escribir los paréntesis.
4. De acuerdo a propiedades que se verá más adelante y para simplificar la escritura,

se conviene que la implicación y la equivalencia prevalecen sobre la conjunción y la
disyunción.
Esto significa, por jemplo, que la expresión P ∧ Q =⇒ R significa (P ∧ Q) =⇒ R pero

P ∧ Q =⇒ R no significa P ∧ (Q =⇒ R) .
Insistimos en que se trata aquı́ sólo de una convención para simplificar la escritura (no hay
en esto algo necesario sino simplemente conveniencia).
5. Es conveniente también en escribir ∼ (∼ P ) en lugar de ∼∼ P

Vamos a resumir lo descrito en esta pequeña sección:
1. Se puede escribir, sin ambigüedad y por propiedades lo siguiente:
P ∧ Q ∧ R, P ∨ Q ∨ R, P Y Q Y R.
2. Se puede escribir, sin ambigüedad 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 –según dónde se ponga la separación (la coma, el paréntesis)–
y por tanto no podemos aceptarla.
Bien entendido, los siguientes cuadros contienen toda la información relevante de esta sección:
P Q P ∨ Q P ∧ Q P =⇒ Q P ⇐⇒ Q P Y Q
P P V V V V V V F
V F ; V F V F F F V
F V F V V F V F V
F F F F V V F
Tautologı́as (Informalmente): Respecto de los llamados valores de verdad, se dice que

una proposición es una tautologı́a si es siempre verdadera, un absurdo o contradicción 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 tautologı́a, P ∧ P es un absurdo y P ∨ Q es una contingencia (a menos que p sea una
tautologı́a, o que Q sea una tautologı́a, o bien que P y Q sean absurdos).
Tautologı́a importantes A continuación probaremos una colección de tautologı́as intere-

santes, algunas de ellas con nombre propio.
No trate de memorizar la lista. Las teutologı́as son infinitas, en el sentido de que, a cualquier
colección de tautologı́as que pudiéremos escribir en un lapso limitado, se le puede agregar
una expresión distinta –como es facı́l comprobar (inténtelo al final de esta sección)–.
Por supuesto, según la definición, si ∨ y ∨′ son tautologı́a, también los son ∨∧∨′ , ∨∨∨′ , ∨ ⇐⇒
∨′ , ∨ =⇒ ∨′ , etc.
12 ÍNDICE GENERAL
No está demás advertir que la proposición ∨ ⇐⇒ ∨′ que acabamos de escribir significa que
todas las tautologı́as son equivalentes entre si.
Iremos indicando, cada vez la importancia relativa de las diversas tautologı́as, cuáles hay que
tener siempre presentes y cuáles se declaran para ser ”olvidadas” de inmediato –algunas son
bastante fáciles de retener–.
Hay tres maneras de de probar tautologı́as:
1. Usar tablas de verdad. Ello se hace de modo análogo a como hemos mostrado en la
sección anterior, cuidando de escribir ordenadamente todas las combinaciones de valores
de verdad posibles entre las proposiciones que intervienen (tome nota de la disposición
que utilizaremos).
2. Hacer derivación o usar álgebra de proposiciones, es decir, proceder al modo algebraico.
Esto significa que, a medida que se va probando determinados resultados, se los puede
ir usando para simplificar o establecer otras propiedades.
3. Utilizar el método indirecto, en particular la llamada reducción al absurdo.
Aquı́ usaremos primero tablas de verdad. Una vez probadas las tautologı́as fundamentales,
podemos intentar hacer derivación. Más adelante volveremos expresamente sobre los métodos
de demostración.
Probaremos sólo algunas tautologı́as, y dejemos a usted la oportunidad de demostrar las
restantes ya sea imitando las que aquı́ hacemos o bien inventando otras. En cualquier caso,
asegúrese primero de que puede hacer la demostración de cada tautologı́a mediante tablas de
verdad; luego puede estudiar la descripción de los otros métodos.
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 tautologı́as para que después 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 situación. Comprobará usted que varias de las listas de las tautologı́as son fáciles de
retener.
Si ∨, ∨′ son tautologı́as y z, z′ son absurdos, entonces:
1. ∨ ⇐⇒ ∨′
2. z ⇐⇒ z′
3. z ⇐⇒ ∨
4. ∨ ⇐⇒ z
Por ejemplo,
∨ ∨′ ∨ ⇐⇒ ∨′ ∨ z ∨ ∨ ⇐⇒ z
, , etc.
V V V V F F F
Se trata de una proposición bastante simple: Todos los absurdos equivalentes, todas las
tautologı́as son equivalentes, etc.
Si ∨, ∨′ son tautologı́as y z, z′ son absurdos y P es una proposición cualquiera, entonces:
1. P =⇒ ∨
2. z =⇒ P
3. P ∧ z ⇐⇒ ∨
4. P ∨ ∨ ⇐⇒ ∨
5. P ∨ z ⇐⇒ P
6. P ∧ ∨ ⇐⇒ P
Por ejemplo,
P ∨ P =⇒ ∨
V V V
F V V
Esta es una proposición bastante útil en los cálculos, pero muy facı́l 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. Aún cuando en realidad ∨, z son propiedades
y V, F valores de verdad, este abuso no se prestará a confusión.
Si p es una proposición, entonces:
1. p ⇐⇒ p (principio de identidad)
2. ∼ (p∧ ∼ p) (principio de no contradicción)
3. p∨ ∼ p (principio de tercero excluido)
Por ejemplo
p ∼p p∧ ∼ p ∼ (p∧ ∼ p)
V F F V
F V F V
Estas proposiciones son bastante sencillas; son también los tres pilares que puso Aristóteles
en su Lógica (vales decir, en sus Analı́ticos).
Si P es una proposición, entonces:
1. P ⇐⇒ ∼ p (duplex negatio, doble negación)
2. P ∨ P ⇐⇒ P
3. P ∧ P ⇐⇒ P
Como se ve, bastante fácil e inmediata. Si no le gusta el latı́n, puede decir doble negación.
Si P, Q son proposiciones, entonces:
1. P ∧ Q ⇐⇒ P (simplificación)
14 ÍNDICE GENERAL
2. P =⇒ P ∨ Q (adición)
1. P ∧ Q ⇐⇒ Q ∧ P (conmutatividad)
2. p ∨ q ⇐⇒ q ∨ p (conmutatividad)
Por ejemplo,
P Q P ∧Q Q∧P P ∧ Q ⇐⇒ Q ∧ P
V V V V V
V F F F V
F V F F V
F F F F 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 Q R P ∨Q Q∨R (P ∨ Q) ∨ R P ∨ (Q ∨ R) (P ∨ Q) ∨ R ⇐⇒ P ∨ (Q ∨ R)
V V V V V V V V
F V V V V V V V
V F V V V V V V
F F V F V V V V
V V F V V V V V
F V F V V V V V
V F F V F V V V
F F F F F F F 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 proposición, habrı́amos
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).
Observación
Es importante considerar algunas cuestiones acerca de las leyes de distributividad:
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 expresión 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 según se indicó antes, se trabaja de maera análoga al cálculo elemental
(a + b) (c + d) = ac + ad + bc + bd
(que se basa en las propiedades análogas para números); con la diferencia de que, en este
caso, tanto “∧” como “∨” pueden jugar el papel de la multiplicación, a condición de que el
otro sea la suma.
3. Repare, sin embargo, en que por ejemplo, en la expresión, (P ∧ Q)∨(R ∨ S) , la situación
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 D’Morgan)

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 álgebra de proposiciones que se examina más adelante; pero son bastante
sencillas de recordar.
(Usamos el nombre leyes de Morgan, según la tradición, pero sólo se trata de un par de
teoremas).
Observación
La siguente e importante propiedad nos permite además presentar, en su demostración, cómo
funciona el método de derivación.

16 ÍNDICE GENERAL
1. (P =⇒ Q) ⇐⇒ P ∨ Q
2. P =⇒ Q ⇐⇒ P ∧ Q
( )
3. (P =⇒ Q) ⇐⇒ Q =⇒ P (contra-reciprocidad, contraposición).
Se tiene:
1. Ya está establecida, se trata de la definición de la implicación.
2. Se tiene sucesivamente
P =⇒ Q ⇐⇒ P ∨Q (por definición de la implicación)

⇐⇒ P ∧Q (por una Ley de Morgan)
⇐⇒ P ∧Q (por doble negación).
3. Se tiene sucesivamente
(P =⇒ Q) ⇐⇒ P ∨Q (por definición de la implicación)

⇐⇒ Q∨P (por conmutatividad)
⇐⇒ Q∨P (por doble negación)
( )
⇐⇒ Q =⇒ P (por definición de la implicación)
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 número 1,
que es la definición de equivalencia.
Observación
Note que se declara, también aquı́, conmutativida.
1. P ∨ (P ∧ Q) ⇐⇒ P (absorción).
2. P ∧ (P ∨ Q) ⇐⇒ P (absorción).
LAs reglas de absorción son muy importantes en la practica. Si usted intenta simplificar una
expresión cualquiera y no lo logra, probablemente harı́a bien en intentar usar una de ellas.
(Intente desarrollar, por ejemplo, P ∨ (P ∧ Q) según la ley de la distributividad y vea lo que
ocurre desde el cuarto paso).
1. (P ∧ Q =⇒ R) ⇐⇒ [P =⇒ (Q =⇒ R)] (exportación)
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 derivación. Por ejemplo
(P ∧ Q =⇒ R) ⇐⇒ P ∧Q∨R
( )
⇐⇒ P ∨Q ∨R
( )
⇐⇒ P ∨ Q∨R
( )
⇐⇒ 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 derivación. Por ejemplo:
[[ ] ]
(P ∨ Q) ∧ P =⇒ Q ⇐⇒ (P ∨ Q) ∧ P ∨ Q
[ ]
⇐⇒ P ∨Q∨P ∨Q
[ ]
⇐⇒ P ∨Q∨P ∨Q
⇐⇒ P ∨ Q ∨ (P ∨ Q)
⇐⇒ V
Note que hemos evitado conscientemente la tentación de pasar de P ∨ Q a P ∧ Q.

18 ÍNDICE GENERAL
De todas maneras, tal tentación no es grave y sólo se traducirı́a en que la demostración,

correcta, resultara un poco más larga y más inocente:
[[ ] ]
(P ∨ Q) ∧ P =⇒ Q ⇐⇒ (P ∨ Q) ∧ P ∨ Q
[ ]
⇐⇒ P ∨Q∨P ∨Q
[( ) ]
⇐⇒ P ∧Q ∨P
( )
⇐⇒ P ∧ Q ∨ (P ∨ Q)
⇐⇒ P ∨ Q ∨ (P ∨ Q) ⇐⇒ V
([∗] Para una reflexión 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 simplificar.

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
La primera afirmación es inmediata según la definición de disyunción 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 más importantes de la operación “Y”, en
particular, las propiedades 2 y 3 permiten manejarla con mayor facilidad.
En cualquier caso esta operación aparece menos que los otros conectivos en la practica ma-
temática corriente.
0.1.3. Algebra de proposiciones

La regla de sustitución
Es está una importante regla, que hemos usado anteriormente y que ahora ponemos en
evidencia.
Cuando hemos enunciado nuestras tautologı́as, 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 tautologı́a en que se diga p, q, ... tales letras deben interpretarse
como espacios en blanco que se rellena con proposiciones.
En el teorema que afirma p ∧ q ⇐⇒ q ∧ p, el hecho de que p y q sean proposiciones
cualesquiera indica que estamos afirmando, 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 más ‘concretos’.

20 ÍNDICE GENERAL
Para simplificar la expresión [p ∧ (p ∨ (q =⇒ r))] ∨ (r =⇒ p) , se procede como sigue, enten-

diéndose que cada paso es una equivalencia (usaremos absorción):
[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 aplicación de la ley de absorción en los últimos pasos. (Si se sigue traba-
jando sin ella, el ejemplo, en lugar de simplificarse, crecerá bastante, linea a linea).
Es muy interesante aprender a mirar ocasionalmente una proposición de modo que la regla
de sustitución evite una cantidad de cálculos sin mayor provecho.
Ejercicios propuestos 1.
1. Determinar el tipo de proposición:
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)]
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 álgebra 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 álgebra de proposi-
ciones 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 tautologı́a
22 ÍNDICE GENERAL
0.1.4. Cuantificadores
Vamos a usar los sı́mbolos “∀” y “∃”. Su uso se detalla más 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 serán estudiados en el siguiente capı́tulo,
pero lo único que necesitamos saber por ahora es que es caracterı́stico de los conjuntos tener
elementos, salvo en el caso del llamado conjunto vacı́o.
Escribiremos a ∈ U para indicar que el objeto a es un elemento del conjunto U.
Anotaremos además 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 expresión “para todo x” son:
Todo x, cualquiera x, cada x, que se simbolizan por “∀x” y se llama cuantificador univer-
sal.
Otros giros utilizados para la expresión “Existe un x” son:

Hay x, Existe x, tal que, Algún x, Algunos x, que se simbolizan por “∃x” y se llama cuan-
tificador existencial.
Existen tres formas de convertir una función proposicional P x en una proposición, a saber:
Haciendo la situación de las variables por un término especı́fico.
Anteponiendo la expresión “para todo x” o cuantificador universal.
Anteponiendo la expresión “existe al menos un x” o cuantificador existencial.
El enunciado “para todo x, P x” se representa como: (∀x) (P x) .
Al anteponer a la función proposicional P x un cuantificador, se dice que la variable x ha

pasado a ser variable ligada.
Una proposición de la forma (∀x) (P x) es verdadera cuando todas las sustituciones de la

variable x por términos especı́ficos del conjunto de referencia, convierten a P x en enunciado
verdadero.
Un enunciado de la forma (∃x) (P x) es verdadero cuando al menos un caso de sustitución

de la variable x por un término especı́fico 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 mecánicos”. En este caso la simbolización será: ∼ (∀x) (M x) donde M x es la función
proposicional de “x es mecánico” que toma valores dentro del conjunto de referencia formado
por los hombres.
Las palabras “ningún”, “ninguno”, “nada”, “nadie”, corresponden también a enunciados

universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La
prposición “ninguno es mecánico” no equivale a la proposición “no todos son mecánicos” sino
a la expresión “para todo x, x no es mecánico” 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 expresión
“x es un fantasma”. Análogamente a lo que ocurre con los cuantificadores 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 expresión “x es mortal”.
Observacion
Ası́ como aclaramos en su momento en el cálculo proposicional, el cálculo cuantificacional
presenta también una estructura propia, que adiciona a las reglas ya establecidas para el
cálculo se proposiciones,permite la consolidación del complejo pero maravilloso universo de
la lógica formal.
Conseravndo la orientación que nos hemos propuesto, consideramos importante el conoci-

miento completo de la estructura básica, y en este sentido presentamos los elementos funda-
mentales a continuación:
Signos primitivos del cálculo cuantificacional: ∀ (cuantificador universal).
Regla formativa: Si P designa una fórmula; en la cual no figura la expresión (∀x) , entonces
(∀x) (P ) designa una fórmula.
Signo definido: Si P designa una fórmula, en la cual no figura (∀x) , entonces (∃x) (P )
designa la fórmula ∼ (∀x) (∼ P ) .
1. Diremos que una fórmula P no está cuantificada bajo el término x, si en P no figura

(∀x) o (∃x) .
24 ÍNDICE GENERAL
2. En adelante, cuando una expresión figure cuantificada, se sobre entiende que se satis-
facen las condiciones requeridas.
Cuantificadores en una letra Descripción Básica

Describimos ahora los objetos que estudiaremos.
Antes de explicar los cuantificadore, debemos aclarar que ellos no se usan con proposiciones
sino con afirmaciones más abiertas que se llaman funciones proposicionales. Para tales
afirmaciones no tiene sentido preguntarse directamente si son verdaderas o falsas, pues con-
tienen uno o más objetos indeterminados, según iremos detallando. Cuando a una función
proposicional se agrega cuantificador(es), se obtiene una proposición.
Comenzaremos por aquellas funciones proposicionales que tienen sólo una indeterminación.
Funciones proposicionales en una letra Una función proposicional en la letra x es una

expresión 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 proposición p (a) .
Observación
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 sı́mbolo“:” para definir funciones proposicionales (como en el ejempo a conti-

nuación).
Si el conjunto U es R y p (x) : 2 + x = 5, (2 + = 5), entonces:
1. p (x) es una función 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 función proposicional y U es unconjunto, entonces

la expresión (∀x ∈ U ) p (x) es una expresión que significa que al reemplazar la letra x por
cualquier elemento a de U, resulta p (a) verdadera.
La expresión (∀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.
(Lecturas más informales son recomendadas, ocasionalmente y para entender mejor la pro-
posición. Encontrará algunos ejemplos en la sección 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 fantas-
mas son hologramas, Cada dı́a aprendo algo nuevo, Cualquiera puede cantar; Todo hombre
es mortal.
Cuantificador existencial Si p (x) es una función proposicional y U es un conjunto, en-

tonces la expresión (∃x ∈ U ) p (x) es una proposición que significa que al menos para un
elemento a de U se tiene que p (x) es veradera.
La expresión (∃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 más informales son recomendadas, ocasionalmente y para entender mejor la pro-
posición. 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 cuantificadores. Estas re-
glas son convencionales, pero es oportuno tener presente que ellas recogen el sentido que
comúnmente se da a las expresiones análogas en idioma español, otorgándoles, claro está,
una precisión mayor.
Podemos darnos ejemplos de variada ı́ndole para confirmar la impresión de que estas reglas
son bastante razonables
Lo anterior no obstante, es necesario tener presente que no bastarı́a con coleccionar una
multiplicidad de ejemplos para probar las reglas; ellas son, en definitiva, sólo convenciones,
acuerdos explı́citos; (una de nuestras reglas será una consecuencia de las otras).
26 ÍNDICE GENERAL
Por otra parte, si se nos presenta algún ejemplo en el que una de estas reglas resulte poco
razonable, entonces probablemente harı́amos bien en abandonarla.
Ası́, aún cuando no daremos justificación de las reglas (del mismo modo que no es necesario
justificar las reglas de un juego como el ajedrez o uno de naipes), mencionaremos expresa-
mente algunas expresiones que no serı́a conveniente aceptar como reglas.
A continuación de cada reglas que presentaremos haremos un comentario de longitud variable.

Para una referencia más expedita, hemos reunido las reglas en un cuadro al final de este
capı́tulo.
Observación
No somos capaces de enfatizar en modo suficiente cuán importante son las reglas 2 y 3 y la
regla 8 (que es, en realidad, un teorema). Las otras, por el contrario, no serán usadas con
frecuencia por ahora y puede leerlas con detención, comprenderlas y volver posteriormente
sobre ellas.
En toda esta sección, 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 añadido que el conjunto U tenga al menos un elemento (en caso contrario y según
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 sólo para este capı́tulo sino para cualquier
trabajo en Matemáticas. Es una veradera calamidad que haya al respecto un malentendido
generalizado del alumnado con consecuencias diarias y catastróficas.
La regla indica claramente que para la expresión (∀x) p (x) sea verdadera, no debe haber
excepción alguna, pues tal excepción la invalidarı́a, al hacer verdadera su negación.
La regla puede expresarse diciendo que la falsedad de la expresión (∀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 afirma esta regla es que cuando decimos siempre queremos decir siempre (y no cai
siempre, o la mayorı́a 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 afirmación No es cierto que todos los osos son blancos es
verdadera, bastarı́a con exhibir un oso que no sea blanco.
La afirmación Todo número real tiene un inverso multiplicativo tiene una (única) excepción,
y es por lo tanto, irredimible y decididamente falsa.
[∗](Vea este ejemplo, más sutil, más adelante). Suponga que un hombre de 60 años decide
escribir sus memorias,. No tiene experiencia ni aprende, de modo que demora un año en
escribir un año de su vida; (las memorias cada vez más aburridas). Suponga que ese hombre
no muere, ¿escribirá todas sus memorias? (Si se quiere probar que no, hay que encontar
alguna, en algún año, que no logra relatar. −−Aquı́ nos interesa sólo la lógica del problema
y no las eventuales dificultades prácticas−−).
Observación
Traducida al español, la expresión (∀x) p (x) puede leerse “no siempre se tiene p(x)”, tal
afirmación es distinta de (∀x) p (x), que puede leerse “nunca se tiene p(x)”.
Aún cuando es evidente que ambas expresiones afirman cuestiones distintas, en el uso diario
no suele marcarse la diferencia.
La frase No todo lo que brilla es oro corresponde a una expresión del tipo (∀x) p (x).
Por otra parte, la expresión ”Todo lo que brilla no es oro afirma 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 Ningún osos es blanco
(falsa).
Lo que estos últimos ejemplos muestran es que no sólo 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)
28 ÍNDICE GENERAL
Esta regla declara cómo se prueba que alguna propiedad no es cierta, nunca, jamás.
Ella pone de manifiesto lo difı́cil que puede resultar la demostración de ciertas afiamciones.
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 años.
En genera, uno podrı́a pensar que una afirmación del tipo (∃x) p (x) no es fácil de probar;
tal demostración deberı́a convencer que ningún objeto que a alguien se le pudiere ocurrir
cumplirá p (x) (y aún ello no serı́a suficiente).
En otras palabras, la reglas indica que tan difı́cil 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
atención− − . Aquı́ estamos sólo 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 oposición a las dos anteriores, esta regla no es una equivalencia, sino sólo una implicación.
De hecho, serı́a razonable ponerla como equivalencia, pues entonces deberı́a ser siempre cierto
que (∀x) [p (x) ∨ q (x)] =⇒ (∀x) p (x) ∨ (∀x) q (x) , lo que definitivamente no serı́a de esperar
si encontramos en que el antecedente sea veradedero y el consecuente falso (y po lo tanto, la
implicación también sea falsa).
Para tal efecto compruebe que en Z : la afirmación Todo número es par o impar es verda-
dera, pero Todo número es par o bien todo número 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 situación es análoga a la de la anterior, si bien aquı́ la implicación
esta “en la otra dirección”.
Si se asumiera que se tiene una equivalencia, se tendrı́a entonces que
(∃x) p (x) ∧ q (x) =⇒ (∃x) [p (x) ∧ (∃x) q (x)]
serı́a siempre verdadera.
Podemos construir un caso en que esta última afirmación resulta falsa con las mismas pro-
posiciones y conjunto que usamos para la regla anterior.
Las afirmaciones Existe un número par y Existe un número impar, son ambas verdaderas,
pero Existe un número 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

Descripción Básica
En realidad se trata aquı́ de los mismos cuantificadores que en la primera parte, pero ahora
referidos a funciones proposicionales en más de una letra.
Si en una expresión aparece más de una variable libre, podemos usar más de un cuantificador.
En la expresión y = x2 +2x hay dos variables libres. Ahora si consideramos (∀y) (∃y) (y − x2 + 2x = 0)
es una afirmación verdadera, pues para cualquier x que se tome (real) puedo encontrar un y
30 ÍNDICE GENERAL
que satisface la ecuación. Sin embargo, dicha afirmación 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 afirmación es falsa.
La conclusión del ejemplo anterior: El orden de los cuantificadores sı́ importa y es un error
muy común cambiar su orden.
Cuando hay dos cuantificadores aparecen 8 combinaciones. Algunas combinaciones son equi-
valentes pero otras no. Lo vemos en el cuadro siguiente. Sea P (xc y) una expresión 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)
⇓ ⇓
(∃y) (∃x) P (x y) ⇐⇒ (∃x) (∃y) P (xc y)
c
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
Notése que si hubı́era más variables habrı́a muchos más casos. Cuántos casos hay si se tienen
3 variables?.
Observación:
Es interesante mirar la cuestión de proposiciones y funciones propocionales en conjunto. Lo
hacemos a través de un ejemplo simple y un tanto repetido, pero tomará sólo un par de
minutos:
Si fijamos, por ejemplo R como conjunto (único) 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 función 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 función proposicional en dos letras y
1. p (x, y) no es verdadera ni falsa (no es una proposición),
2. (∀x) (∀y) p (x, y) es una proposición falsa,
3. (∃x) (∀y) p (x, y) es una proposición falsa,
4. (∀x) (∃y) p (x, y) es verdadera (dado x = a, tomar y = 5 − a),
5. (∃x) (∃y) p (x, y) es verdadera (tomar, por ejemplo o al azar, x = 2 y luego y = 3)
4. p (x, y, z) : x + y = z es una función proposicional en tres letras.
Negando afirmaciones con Cuantificadores

Neguemos ”Todo alumno en este salón tiene cabello negro”. Para ello basta decir ”Existe un
alumno en este salón que no tiene cabello negro”.
Esta es la clave: ∼ (∀x) P (x) ⇐⇒ (∃x) (∼ P (x)) .

Obsérvese que para negar el primer ejemplo, no es necesario decir que todo alumno en este
salón no tiene el cabello negro, que simbólicamente serı́a (∀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 estarı́a bien negado decir que ”Existe
un alumno que no tiene el cabello morado”.
Negando afirmaciones con más de un cuantificador

Neguemos la afirmación [(∀x) (∃x) P (xc y)] . Hagámoslo por pasos:
∼ (∀x) (∃x) P (xc y) ⇐⇒ (∃x) (∼ (∃y) P (xc y)) ⇐⇒ (∃x) (∀y) (∼ P (xc y)) .
Conclusión: Para negar afirmaciones que involucran cuantificadores, estos se cambian entre
sı́, sin cambiar las variables y la expresión final 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 situación anterior:
1. p (x, y) : x ≤ y es una función proposicional en dos letras que pueden tomar valores en
R.
2. q (x, y, z) : x + y = z es una función 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 triángulo).
3. Informalmente, r (x, y) : x pasa por y es una función 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).
32 ÍNDICE GENERAL
Reglas para el uso

Procederemos como hicimos para los cuantificadores en una letra: iremos enunciando y co-
mentando sucesivamente nuestras reglas, que persistimos,porfiadamente, en llamar axionas.
Asumimos un conjunto de referencia U para la letra x y un conjunto V para la letra y, (lo

que también puede expresarse diciendo que el par (x, y) toma valores en el conjunto U × V ).
Convenimos que
(∀x) (∀y) p (x, y) significa (∀x ∈ U ) (∀y ∈ V ) p (x, y)

(∃x) (∀y) p (x, y) significa (∃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 cuantificadores universales seguidos, no importa el orden en
el que se escriban.
Tome nota de esto −−y no se haga problemas cuando le aparezca una expresión 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 ̸= ϕ)
(Podrı́a considerarse que esta regla es una especie de consecuencia natural de la regla 1).
(Por supuesto, podrı́amos haber escrito (∀x) (∀y) p (x, y) ⇐⇒ (∃x) (∀y) p (x, y) , pero he-
mos preferido la otra forma para que la lista completa sea leı́da conmayor facilida, según
comprobará en el resumen final).
1. Simbolizar los siguientes enunciados:
a) Todo es perecedero.
b) Hay marcianos.
c) Alguien no es perfecto.
d ) No hay cosas sólidas.
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 cálculo de proposiciones

y la última regla anotada para el cálculo de cuantificadores, cuáles de las siguientes
expresiones son fórmulas:
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))
34 ÍNDICE GENERAL
0.2. Códigos y sistemas de numeración

Objetivos: Al finalizar este capı́tulo el lector deberá comprender la necesidad de los dife-
rentes códigos usados en lo sistemas digitales, y será capaz de expresar cualquier cantidad
en los diferentes códigos (binario, decimal, hexadecimal, BCD, BCD8421 y Gray). Además
efectuará aritméticas en el sistema binario y en el BCD8421 y podrá pasar de un código a
otro con facilidad.
0.2.1. Concepto de codificación

Un código no es más que una manera lógica de representar cantidades, mediante la asociación
de un sı́mbolo a cada cantidad.
Estos sı́mbolos en general son los números naturales del 0 al 9 aunque también se utilizan las
letras del alfabeto y otros sı́mbolos de uso general. Normalmente a los códigos se les denomina
sistema de numeración, siendo los más usados:
Sistema de numeración decimal, el cual posee diez sı́mbolos, los números del 0 al 9.
Código binario, usa los sı́mbolos 0 y 1.
Código octal, representado por los números del 0 al 7.
Código hexadecimal, usa dieciséis sı́mbolos: los números del 0 al 9 y las letras A, B, C, D, E
y F.
Código especial BCD.
Código especial Gray.
0.2.2. Sistema de numeración decimal

Un sistema de numeración esta caracterizado por su base, b. Ası́ en general, una cantidad
cualquiera, representada por el número N, puede ser representada en la forma de la ecuación
1,1
N =ai bi
Donde los ai son los sı́mbolos que caracterizan al sistema y b es la base.
En otras palabras cualquier número N, puede ser expresado como un polinomio de potencias
en la base b, cuyos coeficientes son sı́mbolos del sistema de numeración y pueden tomar un
valor desde 0 hasta b − 1.
Por ello si b = 10, tendremos los sı́mbolos de 0 a 10 − 1 = 9: y diremos que estamos en
presencia del sistema decimal cuya base es el número 10.
Sea el número 7419
7419 = 7∗ 103 + 4∗ 102 + 1∗ 101 + 9∗ + 100
Los sı́mbolos 7, 4, 1 y 9 son los coeficientes. Los valores posiciónales o pesos están represen-
tados por las potencias de 10.
En el caso del número fraccionario se utilizan potencias negativas de la base 10, como puede
verse en el siguiente ejemplo.
0.2. CÓDIGOS Y SISTEMAS DE NUMERACIÓN 35
Ejemplo 1.
435, 232 = 4∗ 102 + 3∗ 101 + 5∗ 100 + 2∗ 10−1 + 3∗ 10−2 + 2∗ 10−3 .
0.2.3. Sistema de numeración binaria

En este caso b = 2 y por lo tanto, el sistema binario tiene dos sı́mbolos (0 y 1), los cuales
son conocidos como bits (del inglés Binary digits). Al igual que en el sistema decimal todo
número puede representarse usando la notación posiciónal en potencias de la base b = 2, y
su desarrollo nos equivale al decimal.
Sea el número N = (110101)2 , donde el subı́ndice 2 indica la base, entonces:
N = 1∗ 25 + 1∗ 24 + 1∗ 23 + 1∗ 22 + 1∗ 21 + 1∗ 20
N = 32 + 16 + 4 + 1
N = 53
(110101)2 = (53)10
Para los números fraccionarios se usan las potencias negativas de base (b = 2).
Sea N = (0,1101)2 , entonces:
N = 0∗ 20 + 0∗ 2−1 + 0∗ 2−2 + 0∗ 2−3 + 0∗ 2−4

N = 0,5 + 0,25 + 0,0625
N = (0,8125)10
(0,1101)2 = (0,8125)10
Conteo en binario
El sistema binario es el más usado en sistemas digitales, ya que el hecho de tener dos sı́mbolos
nos permite asociar a cada sı́mbolo 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 diseño con dispositivos electrónicos sencillos. El hecho de tener dos
sı́mbolos no implica que no podamos contar números grandes, para ello tenemos en cuenta
que si queremos contar n objetos necesitamos un número de bits, K, tal que 2K > n o sea
que si queremos expresar o contar los números decimales del 0 al 9, necesitaremos:
2K > 10, donde K es un entero superior a 4

36 ÍNDICE GENERAL
Con 4 bits formamos los números 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 números que tengan dı́gitos
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 (Sı́mbolos 0 1 2)
0, 1, 2, 3, 4, 5, 6, ..., 10, 11, 12, 13, 14, ..., 20, 21, 22, ...
0.2.4. Sistema de numeración octal

El sistema de octal tiene base, b = 8, y por lo tanto utiliza ocho sı́mbolos, que son los dı́gitos
del 0 al 7, para denotar las cantidades numéricas. Igual que el sistema binario, todo número
octal puede representarse usando sus valores posiciónales y expresarse en potencias de base
ocho.
Sea N = (373,043)8 .
Entonces:
N = 3∗ 82 + 7∗ 81 + 3∗ 80 + 0∗ 8−1 + 4∗ 8−2 + 3∗ 8−3

N = 192 + 56 + 3 + 0,0156 + 0,005859...
N = (251,021459...)10
Observe que no necesariamente el valor es exacto.

Para contar en octal, seguimos la misma técnica de la sección 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 numeración hexadecimal

Este sistema tiene como base el número decimal 16 y por lo tanto, posee dieciséis sı́mbolos:
los números del 0 al 9 y los literales A, B, C, D, E,F, representando estos últimos los sı́mbolos
del 10 al 15.
Sea N = (E5D7.A3)16
N = E ∗ 163 + 5∗ 162 + D∗ 161 + 7∗ 160 + A∗ 16−1 + 3∗ 16−2

N = 14∗ 163 + 5∗ 162 + 13∗ 161 + 7∗ 160 + 10∗ 16−1 + 3∗ 16−2
N = (72839,63671878)10
La tabla 1,2 muestra un resumen de los cuatro sistemas de numeración que utilizaremos, y
en próxima sección se explicará como pasar de uno a otro.
SISTEMA BASE SÍMBOLOS

DECIMAL 10 0, 1, 2, 3, 4, 5, 6, 7, 8, 9
BINARIO 2 0, 1,
OCTAL 8 0, 1, 2, 3, 4, 5, 6, 7,
HEXADECIMAL 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F
0.2.6. Conversión entre sistemas de numeración

Como lo representamos en la ecuación 1,1, cualquier número N puede ser representado como:
N = an bn + an−1 bn−1 + · · · + a0 + a−1 b−1 + · · · + a−m b−m Ec. 1,2

N = Ne + Nf
Donde Ne es la parte entera y Nf es la parte fraccionaria.

Si tomamos Ne y lo dividimos por b
N e = an bn + an−1 bn−1 + · · · + a0
Ne a0
= an bn−1 + an−1 bn−2 + · · · + Ec. 1,5
b b
Ne 1
= (cociente 1) + residuo Ec. 1,6
b b
La ecuación 1,5, expresada literalmente en 1,6 nos dice que el primer residuo es a0 .
38 ÍNDICE GENERAL
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.
Conversión decimal a binario

Siguiendo el esquema de la sección precedente, dividiremos consecutivamente por dos la parte
entera y multiplicaremos por dos la parte fraccionaria.
Convertir (653)10 a binario.
653 2
a0 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 2
a7 1 2 2
a8 0 1 2
a9 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 número con parte entera y fraccionaria, se convierte primero la
parte entera, ya realizado en el ejemplo anterior y luego la parte fraccionaria usando la técnica
de multiplicar sucesivamente por dos.
0,61∗ 2 = 1,22 a−1 =1
0,22∗ 2 = 0,44 a−2 =0
∗
0,44 2 = 0,88 a−3 =0
0,88∗ 2 = 1,76 a−3 =1
∗
0,76 2 = 1,52 a−4 =1
∗
0,52 2 = 1,04 a−5 =1
(653,61)10 = (1010001101,10011...)2
Para comprobarlo utilizaremos el desarrollo de potencias en base a dos
(0,100111...)2 = 1∗ 2−1 + 1∗ 2−4 + 1∗ 2−5 + 1∗ 2−6

= 0,5 + 0,625 + 0,03125 + 0,015625
= (0,609375)10
Observe que el resultado no es exacto porque detuvimos el proceso en a−6 ; si calculamos más
fracciones binarias nos acercamos al resultado.
Conversión del sistema decimal al octal

Esta conversión se realiza de manera similar a la de decimal a binario, con la excepción de
que en este caso la división consecutiva se hace por ocho, en lugar de 2.
Supongamos que queremos convertir (653)10 a octal
653 8
a0 5 81 8
a1 1 10 8
a2 2 1 8
a3 1 0
(653)10 = (1215)8
Recuerde que la escogencia de los dı́gitos se hace del último residuo al primero, tal como lo
indica la flecha 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 posiciónales.
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 número octal.
Esta operación se continúa hasta obtener una fracción nula o hasta la precisión deseada, si
lo anterior no se consigue.
Sea (0,46875)10 a octal
0,46875∗ 8 = 3,75 a−1 = 3
0,75∗ 8 = 6,00 a−2 = 6
(0,46875)10 = (0,36)8
Por supuesto, el ejemplo anterior es una muestra del primer caso, o sea la fracción octal es
exacta.
Sea (0,136)10 a octal
0,136∗ 8 = 1,088 a−1 =1
0,088∗ 8 = 1,704 a−2 =1
0,704∗ 8 = 5,632 a−3 =5
0,632∗ 8 = 5,056 a−4 =5
40 ÍNDICE GENERAL
Si nos detenemos aquı́: (0,136)10 = (0,1155)8 , pero si desarrollamos (0,1155)8 , obtenemos:
1∗ 8−1 + 1∗ 8−2 + 5∗ 8−3 + 5∗ 8−4 = (0,1359875)10
La cual, salvo por un error menor de una diezmilésima coincide con el número original.
Si tenemos un número de parte entera y parte fraccionaria hacemos la conversión por separado
y luego combinamos ambos resultados.
Convertir (124,78125)10 a octal
124 8
a0 4 15 8
a1 7 1 8
a2 1 0
Parte fraccionaria
0,78125∗ 8 = 6,25 a−1 = 6

0,25∗ 8 = 2,00 a−2 = 2
(124,78125)10 = (174,62)8
Conversión entre los sistemas binario y octal
Como estudiaremos posteriormente, los circuitos digitales manipulan datos usando el sistema
de numeración binario; sin embargo, esto trae el inconveniente de que a medidad que aumenta
el tamaño del número, aumenta también la cantidad de bits, y consecuentemente se complica
el manejo de datos. Para simplificar esto se introdujeron los sistemas octal y hexadecimal
que tienen una gran ventaja por la caracterı́stica de que sus bases son potencias de dos.
En el caso del sistema octal:
N =i ai 8i Ec. 1,2
Y binario:
∑
N= Ai 2i Ec. 1,2
i
Donde ai = [0, 1, 2, 3, 4, 5, 6, 7]
Ai = [0, 1]
Ahora bien, cualquiera de los ai puede ser expresado como combinación de tres dı́gitos binarios
o bits. De tal manera que si tomamos el número 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,
reflejado en la tabla siguiente y viceversa.
Octal Binario
0 ⇔ 000
1 ⇔ 001
2 ⇔ 010
3 ⇔ 011
4 ⇔ 100
5 ⇔ 101
6 ⇔ 110
7 ⇔ 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 final (LSB) se agregan para completar grupos de tres
(225,54)8
Para ir de octal a binario, simplemente se sustituye cada dı́gito 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 más significativos (M SB) o menos significativos (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 después utilizar este método, con lo cual se ahorra en las divisiones.
Conversión del sistema decimal a hexadecimal

Siguiendo los mismos procedimientos anteriores, corresponde dividir y/o multiplicar por 16.
Convertir (47632)10 a hexadecimal
47632 16
156 2977 16
123 137 186 16
112 97 26 11 16
0
42 ÍNDICE GENERAL
0←−−−1−−−−10 11
−−−−−
−
(47632)10 = (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 = 2,176 a−1 = 2
0,176∗ 16 = 2,816 a−2 = 2
0,816∗ 16 = 13,056 a−3 = D
0,056∗ 16 = 0,896 a−4 = 0
0,896∗ 16 = 14,336 a−5 = E
(124,136)10 = (7C,22D0E)16
Conversión entre los sistemas hexadecimales y binario

Como lo mencionáramosen la sección (Conversión 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 sı́mbolo de la
base hexadecimal puede ser expresado por cuatro dı́gitos 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 número representado en binario o vicerversa.
Hexadecimal Binario
0 0000
1 0001
2 0010
3 0011
4 0100
5 0101
6 0110
7 0111
8 1000
9 1001
A 1010
B 1011
C 1100
D 1101
E 1110
F 1111
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 método, sustituyendo cada dı́gito 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 aritméticas en el sistema binario

Es evidente que el lector conoce las cuatro operaciones fundamentales de la arimética (suma,
resta, multilplicación, división) en el sistema de numeración decimal, pero dado que en siste-
mas digitales utilizamos otros sistemas de numeración; es importante, entonces familiarizarse
con dichas operaciones en el sistema binario, teniendo siempre en mente la aritmética decimal
como guı́a.
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́ ana-
lizado en secciones posteriores.
Sumandos Resultado Acarreo

A B S C
0 0 0 0
0 1 1 0
1 0 1 0
1 1 0 1
Sumar en binario 1101 + 1101

Acarreo 1101
Sumando A 1101
Sumando B 1101
Resultado 11010
Observe que el acarreo se suma a los bits que estén en la posición inmediata a la izquierda,
similar a lo que se hace en el sistema decimal.
44 ÍNDICE GENERAL
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 continuación.
Minuendo Sustraendo Resta Prestado

m S R P
0 0 0 0
0 1 1 1
1 1 0 0
1 0 1 0
Reste 11011 − 1101 en binario

Prestado 11
Minuendo 11011
Sustraendo 1101
Resta 01110
Multiplicación binaria
La multiplicación hace uso de los mismos principios del sistema decimal, utilizando las reglas
de la tabla siguiente. En el ejemplo a continuación se ilustran tres casos de multiplicación
binaria.
Factores Producto
A B P
0 0 0
0 1 0
1 0 0
1 1 1
0.3. CONJUNTOS 45
0.3. Conjuntos
0.3.1. Definiciones Básicas
Construiremos nuestra teorı́a estableciendo 3 conceptos indefinibles. Ellos son “conjunto” ,
“elemento” y “pertenece a”. Aunque son conceptos indefinidos, daremos una definición de
ellos, basada en el lenguaje común. Se notará que en cierto sentido estas no son buenas
definiciones, pues usan palabras que a su vez no hemos definido.
Conjunto: Cualquier colección de objetos (no necesariamente matemáticos).
Elemento o miembro: Un objeto de un conjunto es llamado elemento o miembro del
conjunto.
“a ∈ A” significa “el elemento a pertenece al conunto A”.

“a ∈
/ A” es la negación de la afirmación anterior.
Observación:
Dado un conjunto A y un objeto cualquiera suponemos que justamente una de las dos afir-
maciones siguientes se verifica “a ∈ A” ó “a ∈
/ A”.
¿Cómo representamos conjuntos?
La manera más 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 definiciones 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

Unión
La unión 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} .
La disyunción, ∨, se utiliza en el sentido inclusivo, es decir, significa 2

/ o”.
Intersección
La intersección 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} .
46 ÍNDICE GENERAL
Si A y B no tienen elementos en común, 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 también el nombre de complemento relativo

2
del conjunto B respecto del conjunto A.
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 Simétrica
La diferencia simétrica 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 definidas en los apartados anteriores, los conjuntos satisfacen varias
leyes o identidades. Observaremos que existe una dualidad entre las leyes que utilizan la
intersección y las que utilizan la unión.
Leyes Idempotentes
Dado cualquier conjunto A en un universal arbitrario U , se verifica:
1. A ∪ A = A
2. A ∩ A = A
0.3. CONJUNTOS 47
Demostración (1.):
En efecto, sea x un elemento arbitrario del universal U, entonces,
[x ∈ (A ∪ A)] ⇐⇒ [x ∈ A ∨ x ∈ A]
⇐⇒ x∈A
De la arbitrariedad de x se sigue que
∀x [x ∈ (A ∪ A) ⇐⇒ x ∈ A] ,
de aquı́ que
A ∪ A = A.
2. Análogamente se prueba que A ∩ A = A.
Leyes Conmutativas
Dados dos conjutnos A y B de un universal arbitrario U , se verifica:
1. A ∪ B = B ∪ A
2. A ∩ B = B ∩ A
En efecto, sea x cualquier elemento de U, entonces,
[x ∈ (A ∪ B)] ⇐⇒ x∈A∨x∈B
⇐⇒ x∈B∨x∈A
⇐⇒ 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.

48 ÍNDICE GENERAL
Leyes Asociativas
Dados tres conjuntos A, B y C de un universal arbitrario U , se verifica:
1. A ∪ (B ∪ C) = (A ∪ B) ∪ C
2. A ∩ (B ∩ C) = (A ∩ B) ∩ C
En efecto, sea x un elemento arbitrario de U, entonces,
x ∈ [A ∪ (B ∪ C)]
⇐⇒ x ∈ A ∨ [x ∈ (B ∪ C)]
⇐⇒ x ∈ A ∨ (x ∈ B ∨ x ∈ C)
⇐⇒ (x ∈ A ∨ x ∈ B) ∨ x ∈ C
⇐⇒ (x ∈ A ∪ B) ∨ x ∈ C
⇐⇒ x ∈ (A ∪ B) ∪ C .
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. Análogamente se demuestra que
A ∩ (B ∩ C) = (A ∩ B) ∩ C.
Leyes Distributivas
Dado tres conjuntos A, B y C de un conjunto universal U , se verifica:
1. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
2. A ∩ (B ∩ C) = (A ∩ B) ∪ (A ∩ C)
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 verifica:
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.

Demostración:
1. A ∪ ∅ = A. En efecto, sea x un elemento arbitrario de U, entonces,
[x ∈ (A ∪ ∅)] ⇐⇒ x∈A∨x∈∅
⇐⇒ x ∈ A, (x ∈ ∅ es falso siempre)
luego,
∀x [x ∈ (A ∪ ∅) ⇐⇒ x ∈ A] ,
de aquı́ que
A ∪ ∅ = A.
50 ÍNDICE GENERAL
3. A ∩ ∅ = ∅. Si x es cualquiera de , entonces
[x ∈ (A ∩ ∅)] ⇐⇒ x∈A∧x∈∅
⇐⇒ 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 verifica:
(Ac )c = A.
Demostración:
Sea x cualquiera de U, entonces,
[x ∈ (Ac )c ] ⇐⇒ x∈/ Ac
⇐⇒ ∼ (x ∈ Ac )
⇐⇒ ∼ (x ∈
/ A)
⇐⇒ ∼ [∼ (x ∈ A)]
⇐⇒ x∈A ,
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 verifica:
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.

Demostración:
0.3. CONJUNTOS 51
1. A ∪ Ac = U . En efecto, sea x cualquier elemento de U, entonces,

[x ∈ (A ∪ Ac )] ⇐⇒ x ∈ A ∨ x ∈ Ac
⇐⇒ x∈A∨x∈ /A
⇐⇒ x ∈ A ∨ ¬ (x ∈ A)
⇐⇒ x∈U
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 verifica:
1. (A ∪ B)c = Ac ∩ B c
2. (A ∩ B)c = Ac ∪ B c
Demostración:
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)
⇐⇒ (x ∈ A ) ∧ (x ∈ B c )
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 .
52 ÍNDICE GENERAL
2. Análogamente se prueba que
(A ∩ B)c = Ac ∪ B c .
Proposición:
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
Solución:
1. A ⊆ (A ∪ B), en efecto, si x es cualquiera de U , entonces
(x ∈ A) =⇒ x∈A∨x∈B
⇐⇒ x∈A∪B
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] ⇐⇒ x∈A∧x∈B
=⇒ x∈A
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

A⊆B
[x ∈ (A ∪ B)] ⇐⇒ x∈A∨x∈B
=⇒ x∈B∨x∈B
⇐⇒ x∈B
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 inclusión contraria.

Supongamos que A ⊆ B y sea x un elemento arbitrario de U , entonces
(x ∈ A) =⇒ x∈A∧x∈B
⇐⇒ x ∈ (A ∩ B)
luego,
∀x [x ∈ A =⇒ x ∈ (A ∩ B)] ,
de aquı́ que
A ⊆ (A ∩ B) .
Tenemos pues que
A ⊆ (A ∩ B) y (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
= A∪B
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)
54 ÍNDICE GENERAL
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
Solución:
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 verifica que
A ⊆ A ∪ X, ∀X ∈ Ω,
en particular,
A ⊆ A ∪ (A ∩ B) .
De la doble inclusión 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)
= A∪B
0.3. CONJUNTOS 55
0.3.4. Conjuntos finitos, principio de conteo

Se dice que un conjunto es finito si contiene exactamente m elementos diferentes en donde m
denota algún entero no negativo. En caso contrario, se dice que el conjunto es infinito. Por
ejemplo, el conjunto vacı́o y el conjunto de letras en el alfabeto español son finitos, mientras
que el conjunto de los enteros positivos pares, {2, 4, 6, . . .} , es infinito.
Si un conjunto A es finito, n (A) denotará el número de elementos de A. Algunos textos usan
̸= (A) en lugar de n (A).
Si A y B son conjuntos finitos disyuntos, entonces A ∪ B es finito y
n (A ∪ B) = n (A) + n (B) .
Demostración:
Al contar los elementos de A ∪ B, primero contamos los que están en A. Hay n (A) de éstos.
Los únicos otros elementos de A ∪ B son los que éstan en B, pero no en A. Pero como A y B
son disyuntos, ningún elemento de B está en A, de modo que hay n (B) elementos que están
en B, pero no en A. Por lo tanto, n (A ∪ B) = n (A) + n (B), también tenemos una fórmula
para n (A ∪ B), aunque A y B no sean disyuntos.
Si A y B son conjuntos finitos, entonces A ∪ B y A ∩ B son finitos y
n (A ∪ B) = n (A) + n (B) − n (A ∩ B) .
Podemos aplicar este resultado para obtener una fórmula semejante para cualquier número
finito, k, de conjuntos finitos. Ası́, para k = 3, tenemos que
Si A, B y C son conjuntos finitos, entonces también 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 matemáticas de una facultad toman por lo
menos un idioma entre, francés, alemán y ruso. Suponga también que:
65 estudian francés
45 estudian alemán
42 estudian ruso
20 estudian francés y alemán
25 estudian francés y ruso
15 estudian alemán y ruso
Sean F, A y R los conjuntos de estudiantes que estudian francés, alemán y ruso, respectiva-
mente. Queremos encontar el número de estudiantes que estudian todos los tres idiomas, y
encontar el número correcto de estudiantes en cada una de las ocho regiones del diagrama
de Venn en la figura 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) .
56 ÍNDICE GENERAL
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 francés y alemán pero no ruso
25 − 8 = 17 estudian francés y ruso pero no alemán
15 − 8 = 7 estudian alemán y ruso pero no francés
65 − 12 − 8 − 17 = 28 estudian solamente francés
45 − 12 − 8 − 7 = 18 estudian solamente alemán
42 − 17 − 8 − 7 = 10 estudian solamente ruso
120 − 100 = 20 no estudian ninguno de los idiomas.
Ası́ el diagrama completo está en la figura 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 contaminación del medio ambiente, asisten 100
especialistas, de los cuales 50 hablan inglés, 60 portugués y 50 español; de ellos 30 hablan
portugués e inglés; 20 inglés y español; 20 portugués y español. ¿Cuántos asistentes
hablan los tres idiomas?.
58 ÍNDICE GENERAL
5. Una ensambladora de autos recibió una orden de fabricación de 38 automóviles ti-

po sedán, con las siguientes caracterı́sticas: 18 con aire acondicionado; 23 con vidrios
eléctricos y 29 con cojinerı́a de lujo. De estos, 3 deben tener solamente vidrios eléctricos,
8 deben tener solamente cojinerı́a de lujo, 9 de los vehı́culos deben tener solamente vi-
drios eléctricos y cojinerı́a de lujo, 5 de los vehı́culos deben tener los tres aditamientos.
Determinar:
a) ¿Cuántos vehı́culos llevan aire acondicionado y cojinerı́a de lujo, solamente?.

b) ¿Cuántos vehı́culos llevan aire acondicionado solamente?.
c) ¿Cuántos vehı́culos llevan aire acondicionado y vidrios eléctricos solamente?.
6. En un inventario minero realizado en algunas regiones del paı́s acerca de la producción

futura de recursos no renovables, se encontró que: 8 poseen petróleo, 15 poseen carbón
y 13 poseen oro; 6 poseen solamente carbón y oro; 4 solo poseen oro, 3 poseen los tres
recursos; ninguna de las regiones posee petróleo y carbón solamente. Determinar:
a) ¿Cuántas regiones intervinieron en el inventario?.

b) ¿Cuántas regiones poseen solamente petróleo?.
c) ¿Cuántas regiones poseen solamente carbón?.
7. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a
ingresar a la universidad por ciertos programas:
a) 50 prefieren medicina.
b) 47 prefieren ingenierı́a.
c) 35 prefieren biologı́a.
d ) 16 prefieren ingenierı́a y biologı́a.
e) 11 prefieren ingenierı́a y medicina.
f ) 15 prefieren biologı́a y medicina.
g) 9 prefieren las tres.
Determinar:
1. a) 1) ¿Cuántos aspirantes fueron encuestados?.

2) ¿Cuántos aspirantes prefieren únicamente medicina?.
3) ¿Cuántos aspirantes no prefieren biologı́a?.
4) ¿Cuántos aspirantes prefieren medicina o biologı́a pero no ingenierı́a?.
5) ¿Cuántos aspirantes prefieren medicina o ingenierı́a?.
0.3. CONJUNTOS 59
8. La secretarı́a de educación municipal requiere la provisión de 29 cargos docentes en las

áreas: 13 profesores de matemáticas; 13 profesores de fı́sica y 15 profesores de sistemas.
Para el cubrimiento de los cargos se requiere que: 6 profesores dicten matemáticas y
fı́sica, 4 profesores dicten fı́sica y sistemas y 5 profesores dicten matemáticas y sistemas.
Determinar:
1. a) ¿Cuántos profesores se requiere que dicten las tres áreas?.

b) ¿Cuántos profesores se requiere que dicten matemáticas únicamente?.
c) ¿Cuántos profesores se requiere que dicten matemáticas y sistemas pero no fı́sica?.
9. Con relación al problema anterior. En respuesta a la solicitud detrabajo, se seleccionaron

29 aspirantes cuyas solicitudes presentan las siguiente información:
a) 15 pueden dictar fı́sica.

b) 16 pueden dictar sistemas.
c) 6 pueden dictar matemáticas y fı́sica.
d ) 5 pueden dictar fı́sica y sistemas.
e) 1 puede dictar las tres áreas.
f ) 7 pueden dictar solamente sistemas.
Determinar:
1. a) 1) ¿Cuántos aspirantes selecionados se presentaron para dictar matemáticas?.

2) ¿Qué puestos no pueden cubrirse?.
3) ¿Cuántos solicitantes y en qué área no pueden ser finalmente admitidos?.
60 ÍNDICE GENERAL
0.4. Nociones sobre Álgebra de Boole

El álgerbra de Boole es una estructura matemática que, como tal, abarca un abanico de
situaciones cuya componente común es la que se formula en su definición.
En particular, el álgebra de Boole tiene aplicación en la sı́ntesis de redes de conmutación, en

el estudio de circuitos digitales y en el análisis y programación mediante ordenador.
0.4.1. Definición de Álgebra de Boole

Un conjunto β dotado de dos leyes de composición interna (suma y producto) tiene estructura
de álgebra de Boole si se verifican 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 ∀x ∈ β
∃1 ∈ β : x · 1 = 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 álgebra de Boole. También reciben el nombre de axiomas del álgebra de Boole.
El resto de propiedades se deduce a partir de éstas.
0.4. NOCIONES SOBRE ÁLGEBRA 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 número de elementos de U es n (U ) = n entonces n (P (U )) = 2n .
Todo conjunto P (U ) con las operaciones unión de conjuntos, ∪, e intersección de conjuntos,

∩, tiene estructura de álgebra de Boole.
El elemento neutro de la unión de conjuntos es el conjunto vacı́o, ∅, minetras que el neutro

de la intersección 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 proposición lógica es un enunciado declarativo que puede ser verdadero o falso, pero
no ambas cosas a la vez. El conjunto de las proposiciones lógicas con las operaciones
disyunción (o, ∨) y conjunción (y, ∧) tiene estructura de álgebra de Boole.
3. El álgebra de Boole binaria, formada únicamente por dos elementos:
β = {0, 1}
Principio de dualidad del álgebra de Boole

Toda propiedad que pueda deducirse de las propiedades primitivas o de cualquier otra pro-
piedad derivada de éstas da lugar a otra propiedad que se obtiene intercambiando:
Las operaciones suma y producto
Los sı́mbolos 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 álgebra de Boole, ya que

cada para de propiedades en su definición está formada por una y por su dual.
62 ÍNDICE GENERAL
Propiedades en un álgebra de Boole

Las siguientes propiedades son consecuencia de las propiedades primitivas:
1. Involución:
′
(x′ ) = x, ∀x ∈ β.
2. Idempotencia:
x + x = x, xx = x, ∀x ∈ β.
3.
x0 = 0, x + 1 = 1, ∀x ∈ β.
4. Absorción:
x + xy = x
∀x, y ∈ β.
x (x + y) = x
5. Los neutros son recı́procamente complementarios:
0′ = 1, y 1′ = 0.
6.
x + x′ y = x + y, x (x′ + y) = xy, ∀x, y ∈ β.
7. Leyes de De Morgan:
(1a ) (x + y)′ = x′ y ′
(2a ) (xy)′ = x′ + y ′
0.4.2. Expresiones de Boole: Forma suma de productos

Considere un conjunto de variables (o de letras o de sı́mbolos), digamos x1 , x2 , . . . , xn . Una
expresión Booleana E en estas variables, algunas veces escrito E (x1 , . . . , xn ), es una variable
o una expresión construida con estas variables que usan las operaciones Booleanas +, ∗ y (′ )
Ejemplo 2.
′ ′ ( ′ )′
E = (x + y ′ + z) + (xyz ′ + x′ + y) y F = (xy ′ z ′ + y) + x′ z
Son expresiones de Boole en x, y y z.
Definición 1. Un literal es una variable o una variable complementaria, como x, x′ , y, y ′ .

Definición 2. Un producto fundamental es un literal o un producto de dos o más 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.
Observación:
Un producto fundamental, P1 , se dice que está incluido o contenido en otro producto fun-
damental, P2 , si los literales de P1 son también 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
absorción
P1 + P2 = P1
Por ejemplo, x′ z + x′ yz = x′ z.
Observación:
Una expresión de Boole E se dice que está en forma de suma de productos o en forma min-
term si E es un producto fundamental, o es la suma de dos o más productos fundamentales,
ninguno de los cuales está incluido en otro. Por ejemplo, considere las expresiones
E1 = xz ′ + y ′ z + xyz ′ y E2 = xz ′ + x′ yz ′ + xy ′ z
Aunque la primera expresión, 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 absorción, 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 expresión E2 , ya está en forma de suma
de productos.
Observación:
Toda expresión 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 involución, podemos mover la operación de comple-

mento dentro de cualquier paréntesis hasta que finalmente se aplique sólo a variables.
E consitirá entonces solamente de sumas y productos de literales.
64 ÍNDICE GENERAL
2. Usando la ley distributiva, podemos transformar E en una suma de productos.
3. Usando las leyes conmutativa, de idempotencia y de complemento, podemos transfor-

mar cada producto de E en 0 o en un producto fundamental. Finalmente, usando la
ley de absorción, podemos poner E en forma de suma de productos.
Por ejemplo: [ ]′
Consideremos la expresión 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
Observación:
Una expresión 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 (obsérvese que máximo hay 2n de tales productos). Cualquier expresión
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 +x′i ; éste se puede hacer ya que xi +x′i = 1. Continuamos hasta que todos
los productos usen todas las variables. Otra consideración demuestra que la forma completa
de suma de productos es única. En resumen:
Toda expresión Booleana no nula E (x1 , x2 , . . . , xn ) se puede poner en forma completa de
sumas de productos, y tal representación es única.
Ejemplos:
Definición de maxterm y minterm

β = {0, 1} denota el álgebra de Boole binaria.
En β n el producto de n variables diferentes, complementadas o no, recibe el nombre de

minterm o término mı́nimo.
En β n la suma de n variables diferentes, complementadas o no, recibe el nombre de maxterm

o término máximo.
En β 4 son minterm
x 1 x2 x 3 x4 x1 x2 x3 x4
En β 3 son maxterm
x1 + x2 + x 3 x1 + x 2 + x3
Propiedades
1. Toda función Booleana f : β n −→ β puede ser expresada como suma de minterms

(suma de productos). Esta expresión es la que se conoce como forma canónica disyuntiva
de la función f .
{
δ1 δ2 δn δi xi
f (x1 , x2 . . . , xn ) = x1 x2 . . . xn xi =
xi
2. Toda función Booleana f : β n −→ β puede ser expresada como producto de max-

terms (producto de sumas). Esta expresión es la que se conoce como forma canónica
conjuntiva de la función f.
{
( δ1 ) xi
f (x1 , x2 , . . . , xn ) = x1 + x2 + · · · + xn
δ2 δn δi
xi =
xi
De las dos formas canónicas la más empleada es la forma disyuntiva.
Propiedades
1. Las formas canónicas de una función Booleana f : β n −→ β son únicas.
2. Dos funciones Booleanas son equivalentes (son la misma función) si y sólo si tienen las
mismas formas canónicas.
0.4.3. Obtención de las formas canónicas

Obtención a partir de la tabla de valores de la función
La forma canónica disyuntiva de una función f : β n −→ β se obtiene a partir de cada uno
de los valores 1 que toma la función. 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 número de minterms en la forma disyuntiva es igual al número de unos (1) en la tabla
de valores de f .
Por su lado, la forma canónica conjuntiva de una función f : β n −→ β se obtiene a partir de

cada uno de los valores 0 que toma la función. La única posibilidad para que una suma de
todas las variables (o sus complemetarios) tome valor 0 es con todos sus términos tomando
66 ÍNDICE GENERAL
valor 0. El número de maxterms en la forma conjuntiva es igual al número de ceros (0) en la

table de valores de f .
Para una función f : β n −→ β la suma del número de minterm en la forma canónica

disyuntiva y el número de maxterms en la forma canónica conjuntiva es igual a 2n , que es el
cardinal de β n .
Obtención de las formas canónicas disyuntiva y conjuntiva de la función 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 canónica disyuntiva:
f (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3
Forma canónica conjuntiva:
f (x1 , x2 , x3 ) = (x1 + x2 + x3 ) (x1 + x2 + x3 ) (x1 + x2 + x3 )
Número de minterms: 5. Número de maxterms: 3. Total: 5 + 3 = 8 = 23 .
2. Obtención a partir de una expresión en fórmula
Para obtener la forma canónica disyuntiva a partir de una expresión cualquiera conviene, en
una primera aproximación, obtener una suma de productos, aunque estos productos no sean
minterms. La propiedad que en mayor medida permita esta aproximación es la distributiva
del producto respecto a la suma.
Una vez obtenida la suma de productos, cada variable xj que no figure en un producto se
puede añadir al mismo multiplicando por 1 en la forma
1 = xj + xj .
A continuación se vuelve a aplicar la propiedad distributiva.
Para la forma canónica conjuntiva se requiere transformar la expresión inicial en producto de

sumas. En este proceso juega un papel esencial la propiedad distributiva de la suma respecto
al producto.
Una vez obtenido el producto de sumas, cada variable xj que no figure en una suma se puede
añadir a la misma sumando 0 en la forma
0 = xj x j .
A continuación se vuelve a aplicar la propiedad distributiva.
Observación:
En ambos procedimientos, después 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 canónica disyuntiva y conjuntiva de la función f : β n −→ β
definida 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 fórmula 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 añadido x. Después 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 añadido la variable z y en el segundo la
variable y. Es importante añadir las variables en el orden que figuran en la función, x y z.
De esta manera la simplificación de maxterms es más sencilla, tal y como ha sucedido con el
primer y el tercer maxterm que estaban repetidos.
Obtención de las formas canónicas disyuntiva y conjuntiva de la función f : β n −→ β definida
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

68 ÍNDICE GENERAL
Después de aplicar la propiedad distributiva del producto respecto a la suma ha resultado

una suma de ocho productos. De entre éstos, el primero, el segundo, el tercero y el sexto son
nulos, pues en ellos aparece una expresión 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 función , 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 séptimo, cuarto y quinto ası́ como sexto y octavo están repetidos. Por
la independencia, eliminamos uno de cada pareja y obtenemos la forma canónica 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 expresión inicial de la función ya es un producto de suma. En cada sumando hemos añadido

en la posición correspondiente las variables que faltan en la forma xx, yy, zz ó ww. Después de
aplicar la propiedad distributiva aparecen los maxterms, observando que el segundo y el sexto
están repetidos. Una vez eliminado uno de ellos se obtiene la forma canónica conjuntiva de f
con los esperados 11 maxterms, ya que card β 4 = 24 = 16 y en la forma canónica 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)
Ejercicios propuestos:
0.4.4. Simplificación de funciones Booleanas

Las formas canónicas de una función Booleana en β = {0, 1} son expresiones únicas que
identifican cada función Booleana y la diferencia de las restantes funciones. No son, sin
embargo, expresiones sencillas ni tienen una forma simplificada.
El objetivo de esta sección es la obtención de expresiones simplificadas para las funciones

Booleanas, tanto si su expresión inicial es una de las formas canónicas como si no lo es.
Métodos comunes
1. El método algebraico .
2. El método gráfico: Mapas de Karnaugh.
3. Los métodos iterativos: el método de Quine - McCluskey.(opcional)
El método algebraico
El método denominado .algebraico çonciste en la utilización de las propiedades generales
válidas en cualquier álgebra de Boole.
Las siguientes propiedades facilitan en gran medida los procesos de simplificación.
1. Complementario. Permite eliminar términos de la forma
x+x=1 xx = 0
2. Idempotencia. Permite reducir términos de la forma
x+x=x xx = x
3. Absorción. Permite simplificar términos de la forma
x + xy = x x (x + y) = x
4. Leyes de De Morgan. Actúan sobre el complemetario de las operaciones reduciéndolo

a complementarios sobre las variables
x + y = xy xy = x + y
70 ÍNDICE GENERAL
5. Distributivas. Permiten agrupar las variables, según convenga, en productos o sumas

xy + xz = x (y + z) (x + y) (x + z) = x + yz
Simplificar la función f : β 3 −→ β definida por

f (x, y, z) = x + xy + xyz + xz + xz.
Simplificación:
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) .
Simplificación:
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.
Simplificación:
f (x, y, z, w) = w + wx + yz
= w (1 + x) + yz
= w + yz
= wyz
= w (y + z)
En esta simplificación se ha empleado en primer lugar la propiedad distributiva. El paso de
la segunda a la tercera lı́nea es por la propiedad 1 + x = 1, ∀x ∈ β. Luego hemos empleado
la 1a y 2a ley de D’ Morgan.
Mapas de Karnaugh (K)
Para simplificar expresiones Booleanas, además de las leyes del álgebra lógica, se emplea un
método 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 número de variables lógicas consideradas. Los diagramas asocian a cada
compartimiento una fila de la tabla de verdad. El número binario que identifica cada fila de la
tabla de verdad se hace corresponder con las coordenadas binarias que identifican cada casilla
del Mapa K. En estos mapas se puede trabajar con términos 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 expresión: la forma normal disyuntiva o la forma normal conjutiva, respectivamente; su
disposición es tal que el paso de una posición a otra de la tabla, tanto en vertical como en
horizontal, corresponde a la variación de una y sólo una variable.
Mapas K (dos variables) Una expresión Booleana con dos variables, es decir f (x, y),
tiene una tabla de verdad con cuatro filas, conteniendo cada una el valor de la función para
cada combinación de valores de verdad de las variables x, y. El mapa K correspondiente es
una tabla de (2 × 2) casillas como se muestra a continuación:
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 sólo aparecen unos (1) en el primer
renglón, entonces la función 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 simplificar la expresión se anula la variable x porque x + x′ = 1. Además, ambos

unos (1) se encuentran en el primer renglón, es decir, se encuentran en el renglón denominado
y ′ , por tanto la expresión simplificada es:
f (x, y) = y ′
72 ÍNDICE GENERAL
Simplificar la función Booleana representada en la tabla:
x y f
0 0 0
0 1 1
1 0 1
1 1 1
El mapa K correspondiente a la tabla es:
Ddddddd
Este mapa K tiene dos adyacencias, una en la segunda fila y la otra en la segunda columna.
La función sin simplificar es:
f (x, y) = x′ y + xy ′ + xy
Utilizando las adyacencias mencionadas se obtiene la función reducida:
f (x, y) = y + x
Observe que las adyacencias pueden sobreponerse, y que los valores en una fila o una columna
pueden ser usados más de una vez. Además, 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 continuación:
x′ y ′ x′ y xy xy ′
00 01 11 10
z′ = 0
z=1
Hay que observar que en el anterior mapa K para tres variables, la numeración binaria se
cambia de la segunda columna a la tercera, es decir, se pasa de 01 a 11, no a 10. La única
razón para esto es que es deseable que haya cambio en una sola variable y no en ambas, como
sucederı́a si al 01 le sigue 10. De esta forma pueden distinguirse seis regiones:
Región de x : columnas 3a y 4a
Región de x′ : columnas 1a y 2a
Región de y : columnas 2a y 3a
Región de y ′ : columnas 1a y 4a
Región de z : fila 2a
Región de z ′ : fila 1a .
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1) . También se con-
sideran las adyacencias entre la primera y cuarta columna, tal como si el mapa K fuera
dibujado sobre un cilindro. Además, las adyacencias pueden estar en una sola fila o formando
un cuadrado. Los ejemplos siguientes ilustran lo anterior.
Encontrar la expresión Booleana simplificada cuyo mapa K es:
Solución:
Al existir una adyacencia de cuatro unos (1), la función Booleana de tres variables se reduce
a una sola. Observe que la adyacencia está en la primera y cuarta columna, es decir, en la
región de y ′ , por tanto, la función Booleana simplificada será:
f (x, y, z) = y ′ .
Para demostrar lo anterior, se escribe la función 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 expresión Booleana simplicada cuyo mapa K es:
La adyacencia está en la segunda y tercera columna, es decir, en la región de y, por lo que la

función Booleana simplificada será:
f (x, y, z) = y.
Para demostrar lo anterior, se escribe la función 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.
74 ÍNDICE GENERAL
Mapas K (cuatro variables) El mapa K para funciones booleanas de cuatro variables,
es una tabla de (4 × 4) diseñada de la siguiente forma:
Como en el caso anterior, pueden distinguirse 8 regiones, ası́:

Región de x : columnas 3a y 4a
Región de x′ : columnas 1a y 2a
Región de y : columnas 2a y 3a
Región de y ′ : columnas 1a y 4a
Región de z : filas 3a y 4a
Región de z ′ : filas 1a y 2a
Región de w : filas 2a y 3a
Región de w′ : filas 1a y 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 también entre la primera y cuarta fila como puede verse en los ejemplos
siguientes.
Simplificar la función 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′ .
Simplificar la función 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′.
En los ejemplos anteriores la consideración de las adyacencias señaladas conducen directa-

mente a las expresiones simplificadas, observando las regiones del mapa K en las que se
encuentran estas adyacencias.
Método para obtener la tabla a partir de la función Cada posición de la tabla

corresponde a cierta agrupación de valores de las variables. Hemos de mirar cuáles de estas
agrupaciones hacen que el valor de la función sea igual a 1 y, en este caso, colocar un 1 en la
posición correspondiente.
Ejemplo 3. f (x, y, z, w) = xyzw + xyzw

xy
zw 00 01 11 10
00 1
01 1
11
10
Esta función 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 sólo si
x = y = 1 a la vez que z = 0 y w = 1.
Ejemplo 4. f (x, y, z, w) = xyz

xy
zw 00 01 11 10
00
01
11 1
10 1
El único término de esta función no es un minterm. Se obtiene valor 1 exactamente para

x = 0, y = z = 1. La variable w no figura en la expresión de la función de manera que ésta
puede tomar valor 0 ó 1 sin afectar al valor de la función.
Ejemplo 5. f (x, y, z, w) = yw
Esta función toma valor 1 sólo si y = 0 y w = 0. Las variables x, z no figuran en la expresión

de la función ası́ que pueden tomar cualquier valor.
xy
zw 00 01 11 10
00 1 1
01
11
10 1 1
76 ÍNDICE GENERAL
Ejemplo 6. f (x, y, z, w) = z
xy
zw 00 01 11 10
00
01
11 1 1 1 1
10 1 1 1 1
El valor z = 1 hace que la función tome el valor 1. Los valores de x, y y w no intervienen en

el valor de la función, de manera que sus ocho posibles agrupaciones dan lugar a ocho 1‘s en
la tabla.
Una vez completadas las posiciones de la tabla con 1, se conigna valor 0 en las restantes
posiciones.
Método para obtener la función simplificada a partir de la tabla La dispo-

sición de la tabla permite agrupar las posiciones con valor 1 en grupos de 2p (0 ≤ p < n)
correspondientes a expresiones simplificadas.
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
1 1
1
Para p = 0 agrupaciones de 20 = 1 posiciones con valor 1 (minterms).
1
En el momento de vaciar la tabla y pasar a la expresión simplificada de la función conviene

tener en cuenta estas dos reglas:
1. Son preferible las agrupaciones de más a la de menos 1‘s, ya que dan lugar a términos
más simplificados. Una agrupación de un solo 1 es un minterm y corresponde a un
sumando sin simplificación.
2. Si es necesario, las diferentes agrupaciones pueden solaparese, es decir, tener 1‘s en

común.
Simplificar la función Booleana f : β 3 −→ β cuya tabla de valores es
x y z f
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
La tabla de valores de la función tiene cuatro 1‘s de manera que su forma canónica disyuntiva
es
f (x, y, z) = xyz + xyz + xyz + xyz.
Mapa de Karnaugh de la función f :

xy
z 00 01 11 10
0 0 0 1 0
1 0 1 1 1
itbpF 4,4613cm1,6672cm0cmF igure

Expresión simplificada para f .
f (x, y, z) = yz + xy + xz.
Simplificar la función Booleana f : β 4 −→ β cuya expresión es
f (x, y, z, w) = xyzw + xyzw + xyzw + xyzw + xyzw + xyzw + xyzw.
Esta función está expresada en forma canónica disyuntiva como suma de siete minterms.
Cada uno de ellos da lugar a un 1 en su tabla de valores o en su mapa.
78 ÍNDICE GENERAL
xy
zw 00 01 11 10
00 0 0 0 0
01 1 1 0 0
11 1 1 0 1
10 1 0 0 1
Expresión simplificada para f :
f (x, y, z, w) = xw + yz.
Simplificar la función Booleana f : β 4 −→ β definida por
f (x, y, z, w) = xw + xy + yz + xz.
xy
zw 00 01 11 10
00 1 1 1 1
01 0 0 0 0
11 0 0 0 0
10 1 0 0 1
Expresión simplificada para f :
f (x, y, z, w) = zw + yw.
Esta función ya habı́a sido simplificada empleando propiedades generales del álgebra de
Boole. Aplicando la propiedad distributiva, se puede obtener una expresión más reducida de
la función
f (x, y, z, w) = (z + y) w.
Escribir la función f = (xy + yz ′ )′ + y ′ en la forma normal disyuntiva.
Solución:
′ ′
(xy + yz ′ ) + y ′ = (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 función Booleana puede ser expresada en forma normal disyuntiva en más de una manera,
mediante el cambio del número de variables; sin embargo, para un número 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́ también 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 términos se llama ”forma normal
disyuntiva completa n variables es idénticamente igual a la unidad. Por ejemplo, para el
2
caso de dos variables (n = 2) la forma normal disyuntiva se puede obtener de la tabla:
x y f
0 0 x′y′
0 1 x′y
1 0 xy′
1 1 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
80 ÍNDICE GENERAL
Encontrar y simplificar la función Booleana f (x, y, z) especificada en la tabla siguiente:
F ila x y z f (x, y, z)
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
Solución:
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 filas 1, 5 y 6 de la
tabla tienen valor 1. Ası́ la forma normal disyuntiva de f contendrá tres términos:
f (x, y, z) = x′ y ′ z + xy ′ z + xyz ′
= y ′ z (x′ + x) + xyz ′
= y ′ z,1 + xyz ′
= y ′ z + xyz ′
Escribir la función (xy + yz ′ )′ + y ′ en la forma conjuntiva.
Solución:
′ ′
(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 función Booleana puede ser expresada en forma normal conjutiva en más de una manera,
mediante el cambio del número de variables; sin embargo, para un número 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́ también en
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 simplificandola se obtiene g = y que está en
forma normal en y.
La forma normal conjuntiva en n variables que tiene 2n términos 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 y f
0 0 x + y′
0 1 x+y
1 0 x′ + y ′
1 1 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 simplificar la función Booleana f (x, y, z) especificada en la tabla siguiente:
F ila x y z f (x, y, z)
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
Como sólo dos filas de la tabla, la 1 y la 5, tienen valor cero, es más fácil escribir la función
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 ÍNDICE GENERAL
En los ejemplos de este tipo, la forma normal disyuntiva se usa si el número de unos (1) es
menor que el número de ceros (0) en la columna f y la forma normal conjuntiva se usa si el
número de ceros (0) es menor que el número de unos (1).
Dos funciónes, cada una expresada en la forma normal conjuntiva en n variables, son
iguales si tienen idénticos factores.
La forma normal conjuntiva puede usarse para hallar el complemento de funciones escritas
en esta forma. El complemento de una función escrita en forma normal conjuntiva es una
función cuyos factores son exactamente aquellos de la forma normal conjuntiva completa, los
cuales no aparecen en la función dada. Por ejemplo, el complemento de (x + y ′ ) (x′ + y ′ ) es
(x′ + y) (x + y) .
Para cambiar una función de una forma normal a la otra se utiliza (f ′ )′ = f . El siguiente
ejemplo ilustra el método.
Encontrar la forma normal conjuntiva para la función 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 apóstrofo significa la complementación de toda la expresión entre paréntesis. Después

de negar doblemente la función, la primera negación se trata con la ayuda de las leyes de
D´Morgan; para la segunda negación (la del corchete) se construye el complemento, es decir,
se buscan los términos que allı́ faltan para totalizar la forma normal conjuntiva completa.
Hallar la forma normal conjuntiva para la función 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 ′ )
Ejercicios Propuestos
1. Simplificar 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 número 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 número 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. Simplificar las siguientes expresiones mediante la ley de D´Morgan:
a) (x′ yz ′ )′
b) (x′ + y ′ z)′
[ ]′
c) xy (zw)′
[ ]′
d ) x (y + z ′ )′ w
e) [(x + y ′ ) (x′ + y)]′
{[ ]′ }′
f) (xy)′ z w
84 ÍNDICE GENERAL
5. Para cada una de las siguientes expresiones construir el circuito lógico 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 LÓGICAS 85
0.5. Compuertas Lógicas

El álgebra Booleana es el soporte teórico del álgebra de los circuitos lógicos, lo cual se ajus-
ta a la teorı́a del álgebra Booleana como un álgebra con dos elementos, el 0 y el 1. Esto
significa que, excepto por la terminologı́a y su significado en los circuitos, es idéntica al álge-
bra de proposiciones considerada como un sistema abstracto. El álgebra de circuitos utiliza
dispositivos de dos estados; el ejemplo más simple de tales dispositivos es un interruptor
o contacto (switch). Otros dispositivos de dos estados utilizan dos en circuitos lógicos son
diodos rectificadores, bobinas magneticas, transitores. La naturaleza de los estados varı́a
con el dispositivo: conducción, contra no-conducción, cerrado contra abierto, cargada contra
descaragada, magnetizada contra desmagnetizada, alto voltaje contra bajo voltaje.
Dos problemas que surgen con las aplicaciones del álgebra Booleana en los circuitos lógicos
son:
Simplificación de un circuito dado que tenga determinadas propiedades.
El diseño de circuitos lógicos que tengan propiedades dadas. El problema de diseñar un

circuito que tenga propiedades dadas es exactamente el de encontrar la proposición o
función Booleana asociada a una tabla de verdad dada.
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes para
escribir cualquier ecuación Booleana. Toda función lógica puede expresarse con la combi-
nación de estas tres compuertas. Sin embargo, se utilizan otras cuatro compuertas lógicas:
NAND, NOR, XOR y XNOR.
0.5.1. Compuerta NAND

La compuerta (NOT NAND), denominada también operación de Sheffer, es la negación de
una compuerta AND y se define:
x NAND y = (xy)′ .
El sı́mbolo para la compuerta NAND es:
La tabla de verdad es:

AND NAND
x y xy ′ (xy)′
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0
86 ÍNDICE GENERAL
0.5.2. Compuerta NOR

La compuerta (NOT OR), denominada también operación de Pierce, es la negación de una
compuerta OR y se define:
x NOR y = (x + y)′ .
El sı́mbolo para la compuerta NOR es:
La tabla de verdad es:

OR NOR
x y x + y (x + y)′
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
0.5.3. Compuerta XOR

Corresponde a la operación lógica disyunción exclusiva (x ⊕ y) y a la operación entre conjun-
tos denominada diferencia simétrica. Para designar esta disyunción exclusiva o suma exclusiva
se emplea el sı́mbolo ⊕:
f (x, y) = x ⊕ y = xy ′ + x′ y.
El sı́mbolo para la compuerta XOR es:
Compuerta XNOR
La compuerta XNOR es la negación de una compuerta XOR. Su sı́mbolo es:
La tabla de verdad para las compuertas XOR y XNOR es:

XOR XNOR
x y x ⊕ y (x ⊕ y)′
0 0 0 1
0 1 1 0
1 0 1 0
1 1 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 expresión para la compuerta XOR es:
x ⊕ y = xy ′ + x′ y.
Su complemento, la compuerta XNOR, serı́a:

′
(x ⊕ y)′ = (xy ′ + x′ y) .
Para hallar este complemento se procede ası́:

′ ′
(x ⊕ y)′ = (xy ′ ) . (x′ y) {Ley de D’Morgan}
= (x′ + y) . (x + y ′ ) {Ley de D’Morgan}
= (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 espresión es la función Booleana que establece la equivalencia entre x, y, por
tanto:
(x ←→ y) = (x ⊕ y)′ ,
se concluye que una equivalencia lógica puede representarse mediante una compuerta XNOR.
Escribir la función f = (xy ′ + xz)′ en forma normal disyuntiva, simplificarla y dibujar el
circuito lógico
′
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 función Booleana simplificada es f = yz ′ + x′ .

Para diseñar el circuito lógico correspondiente, no sólo para este ejemplo sino para todos los
circuitos, se emplea un “bus” de variables de entrada y sus negaciones (la lı́nea que sale de
la bolita es la negación de la variable correspondiente), ası́:
La simplificación de la ecuación Booleana es importante desde el punto de vista económico

y por la reducción de los circuitos lógicos, para hacerlos más simples y compactos. Un hecho
que ha permitido dicha simplificación es la existencia de conjuntos funcionalmente completos
de conectivos: {∼ ∧} y {∼ ∨} que pueden ser escritos y representados ası́:
88 ÍNDICE GENERAL
Esta propiedad originó dos formas de diseñar los circuitos lógicos, utilizando sólo compuertas
NAND o sólo compuertas NOR, las cuales han sido denominadas técnicas NAND y NOR,
respectivamente; tales técnicas han sido impuestas por las consideraciones constructivas,
puesto que es más eficiente la fabricación en serie y automatizada de circuitos integrados
y chips que sólo usan una clase de compuerta. La tabla siguiente muestra las equivalencias
entre una y otra técnica.
Dada la siguiente expresión Booleana f = x′ y + x′ y ′ , implementar el circuito lógico corres-
pondiente utilizando:
1. Técnica NAND.
2. Técnica NOR.
Solución:
1.
f = x′ y + x′ y ′
′ [ ′ ]′
(f ′ ) = (x′ y + x′ y ′ )
[ ′ ′ ]′
f = (x′ y) . (x′ y ′ ) (∗)
La anterior es la expresión que implementa el circuito mediante la técnica NAND, ası́:
2. A partir de la expresión (∗), se obtiene:

′
f = [(x + y ′ ) . (x + y)]
′
f = (x + y ′ ) + (x + y)′
{[ ]′ }′
′ ′
(f ′ ) = (x + y ′ ) + (x + y)′
Esta última expresión se implementa mediante técnica NOR, ası́:
Otro recurso empleado para la simplificación de expresiones Booleanas es la consideración de

condiciones “no importa” (don’t care) producidas por términos irrelevantes en la expresión,
que resultan de aquellas combinaciones de los valores lógicos de las variables no requeridas
para la solución de un determinado problema. Estos términos, simbolizados por x en el mapa
K, pueden ser utilizados para conformar adyacencias que producen notorias simplificaciones,
como se verá en el ejemplo siguiente.
Simplificar el siguiente mapa K, utilizando los términos irrelevantes (x).
La función Booleana simplificada considerando la adyacencia es xw, mientras que sin consi-
derar los términos irrelevantes (don’t care) es xyz ′ w.
f = xyz ′ w
f = xw
Encontar la función Booleana simplificada en las forma normal conjuntiva y disyuntiva aso-
ciada 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 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

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

Uploaded by

Copyright:

Available Formats

Lógica para computación

Amaury Camargo Benı́tez

0.1. Logica proposicional

0.1.2. Lógica Informal

Los conectivos lógicos, tienen una notación especial y su sentido en matemáticas es

Observación: Generalmente para representar las proposiciones utilizamos letras lati-

Conjunción (∧) (Corresponde al ”y” del lenguaje común). Sean P y Q aﬁrmaciones. La

Nota: Este en un ”o” inclusivo y no exclusivo. En el lenguaje coloquial muchas veces no se

P : El tablero de este salón es verde.

∼ P : El tablero de este salón no es verde.

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

La negación de ”Juan es rico”; no es ”Juan es pobre”

Condicional (−→) (Corresponde al ”Si,...,entonces...” del lenguaje común). La aﬁrmación

P −→ Q se puede escribir Q ←− P. Donde P es el antecedente y Q es el consecuente.

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

1. Si p es un número par, p = 2m para algún m ∈ Z.

2. p = 2m para algún m ∈ Z, si p es par.

3. p es un número para sólo si p = 2m para algún m ∈ Z.

4. p = 2m para m ∈ Z siempre que p sea par.

5. Suponiendo que p sea par entonces p = 2m para algún m ∈ Z.

6. p es par es suﬁciente para que p = 2m para algún m ∈ Z.

7. p = 2m para algún m ∈ Z es necesario para que p sea par.

Esto se veriﬁca si ambos estudiamos o ambos no lo hacemos, pero claramente si yo lo hago

Otras formas de leer P ←→ Q, Q ←→ P, P si y sólo si Q, P si y solamente si Q, P es

Disyunción excluyente (Disyunción exclusiva): Si P y Q son proposiciones, la expresión

1. Tráinganlo vivo o (tráinganlo) muerto es una instancia de la disyunción excluyente.

1. (Asociatividad): Las propiedades de asociatividad de la conjunción y de la disyunción

Esto permitirá escribir sin ambigüedad

Algo análogo ocurre con la disyunción excluyente.

2. (’Distributividad’): Contrario a la asociatividad, no se tiene que;

3. (No asociatividad): De análoga manera, podemos ver que

y ası́, en estos casos, es indispensable escribir los paréntesis.

4. De acuerdo a propiedades que se verá más adelante y para simpliﬁcar la escritura,

Esto signiﬁca, por jemplo, que la expresión P ∧ Q =⇒ R signiﬁca (P ∧ Q) =⇒ R pero

5. Es conveniente también en escribir ∼ (∼ P ) en lugar de ∼∼ P

Vamos a resumir lo descrito en esta pequeña sección:

1. Se puede escribir, sin ambigüedad y por propiedades lo siguiente:

2. Se puede escribir, sin ambigüedad y por convenciones,

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

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

Tautologı́as (Informalmente): Respecto de los llamados valores de verdad, se dice que

Tautologı́a importantes A continuación probaremos una colección de tautologı́as intere-

2. ∼ (p∧ ∼ p) (principio de no contradicción)

3. p∨ ∼ p (principio de tercero excluido)

1. P ⇐⇒ ∼ p (duplex negatio, doble negación)

Si P, Q son proposiciones, entonces:

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

de manera que la distributividad funciona “por ambos lados”.

Teorema 1. (Leyes de D’Morgan)

Si P, Q, R son proposiciones, entonces:

1. Ya está establecida, se trata de la deﬁnición de la implicación.

P =⇒ Q ⇐⇒ P ∨Q (por deﬁnición de la implicación)

(P =⇒ Q) ⇐⇒ P ∨Q (por deﬁnición de la implicación)

Si P, Q, R son proposiciones, entonces:

Es interesante hacer todas estas demostraciones mediante derivación. Por ejemplo

Si P, Q son proposiciones, entonces:

2. [(P =⇒ Q) ∧ P ] =⇒ Q (modus ponens)

Use derivación. Por ejemplo:

Note que hemos evitado conscientemente la tentación de pasar de P ∨ Q a P ∧ Q.

De todas maneras, tal tentación no es grave y sólo se traducirı́a en que la demostración,

1. [(p =⇒ q) ∧ (p =⇒ r)] =⇒ (p =⇒ r) (transitividad).

2. [(p ⇐⇒ q) ∧ (p ⇐⇒ r)] =⇒ (p ⇐⇒ r) (transitividad).

Si p, q, r son proposiciones, entonces: