Apuntes de Lógica para computación

Apuntes de Lógica para computación
Prof. Amaury Camargo Benı́tez
Índice
Índice 1
1. LÓGICA MATEMÁTICA 3
1.1. LÓGICA PROPOSICIONAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1. Proposiciones y Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2. Tablas de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3. Equivalencias Proposicionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2. ÁLGEBRA DE PROPOSICIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3. INFERENCIAS LÓGICAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.1. Reglas para el uso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.2. Cuantificadores con varias variables . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4.3. Negando proposiciones con Cuantificadores . . . . . . . . . . . . . . . . . . . . . 30
1.4.4. Negando proposiciones con más de un cuantificador . . . . . . . . . . . . . . . . 30
1.4.5. Reglas para el uso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2. Sistemas de numeración 33
2.1. Concepto de codificación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2. Sistema de numeración decimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3. Sistema de numeración binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3.1. Conteo en binario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4. Sistema de numeración octal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.5. Sistema de numeración hexadecimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.6. Conversión entre sistemas de numeración . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6.1. Conversión decimal a binario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6.2. Conversión del sistema decimal al octal . . . . . . . . . . . . . . . . . . . . . . . 37
2.6.3. Conversión entre los sistemas binario y octal . . . . . . . . . . . . . . . . . . . . 39
2.6.4. Conversión del sistema decimal a hexadecimal . . . . . . . . . . . . . . . . . . . . 40
2.6.5. Conversión entre los sistemas hexadecimales y binario . . . . . . . . . . . . . . . 41
2.7. Operaciones aritméticas en el sistema binario . . . . . . . . . . . . . . . . . . . . . . . . 41
2.7.1. Suma binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.7.2. Resta binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1
ÍNDICE ÍNDICE
2.7.3. Multiplicación binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3. Conjuntos 44
3.1. Definiciones Básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2. Operaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.1. Unión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.2. Intersección . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.3. Diferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.4. Complementario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.5. Diferencia Simétrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3. Álgebra de conjuntos : Dualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.1. Leyes Idempotentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.2. Leyes Conmutativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3.3. Leyes Asociativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3.4. Leyes Distributivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3.5. Leyes de Identidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3.6. Ley Involutiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.3.7. Leyes del Complementario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.3.8. Leyes de De D’Morgan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.4. Conjuntos finitos, principio de conteo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4. Nociones sobre Álgebra de Boole 59

4.1. Definición de Álgebra de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.1.1. Principio de dualidad del álgebra de Boole . . . . . . . . . . . . . . . . . . . . . . 60
4.1.2. Propiedades en un álgebra de Boole . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2. Expresiones de Boole: Forma suma de productos . . . . . . . . . . . . . . . . . . . . . . 61
4.2.1. Definición de maxterm y minterm . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3. Obtención de las formas canónicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4. Simplificación de funciones Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.4.1. Método algebraico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.4.2. Mapas de Karnaugh (K) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5. Compuertas Lógicas 83
5.1. Compuerta NAND . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2. Compuerta NOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.3. Compuerta XOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.3.1. Compuerta XNOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Lero y Jose 2 Amaury Camargo B

1 LÓGICA MATEMÁTICA
1. LÓGICA MATEMÁTICA
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 consiste 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.
Cabe anotar también, que la lógica se apoya en una serie de reglas las cuales le dan un significado preciso
a los enunciados o sentencias matemáticas. Estas reglas se usan para distinguir entre argumentos válidos
y no válidos. Considerando que uno de los principales objetivos de estas notas (apuntes) es enseñar al
lector cómo entender y construir argumentos matemáticos correctos.
Además de su importancia en el razonamiento matemático,la lógica tiene numerosas aplicaciones en
ciencias de la computación. Las reglas de la lógica se usan en el diseño de circuitos de ordenador,la
construcción de programas informáticos, la verificación de que un programa está bien construido y en
muchas otras aplicaciones.
1.1. LÓGICA PROPOSICIONAL

1.1.1. Proposiciones y Tablas de Verdad
En el desarrollo de cualquier teorı́a matemática se hacen proposiciones en forma de frases y que tienen un
sentido pleno. Tales proposiciones, verbales o escritas, las denominaremos enunciados o proposiciones.
Proposición.
Llamaremos proposición a cualquier armación que sea verdadera o falsa, pero no ambas cosas a la vez.
Valor de verdad de una proposición.
Llamaremos valor verdadero o de verdad de una proposición a su veracidad o falsedad. El valor de verdad
de una proposición verdadera es verdad (V ) y el de una proposición falsa es falso (F ). Por ejemplo: El
tablero de este salón es verdeel tablero del salón 19 − 01 es blanco . Ambas son proposiciones. De la
primera no tenemos dudas si es verdadera o falsa y de la segunda no hay certeza, sin embargo, también
es una proposición y no es necesario estar en la capacidad de saber personalmente la respuesta.
Por ejemplo,
1. Cuando se deja caer un cuerpo, va hacia arriba. (F)
2. Cuando se coloca una piedra en un recipiente de agua, el volumen es el mismo (F)
3. Una función es impar siempre y cuando sea monótona (F)
4. Todas las palabras esdrújulas llevan acento (V)
5. La orbita de la tierra es elı́ptica, por lo tanto hay sectores del planeta en que son mas cálidos que
otros (V)

1.1 LÓGICA PROPOSICIONAL 1 LÓGICA MATEMÁTICA
6. En los CDs se puede intercambiar información indefinidamente (F)
7. Todo numero real elevado a la cero da uno (F)
Observación:
Por otra parte se tienen expresiones como “Viajar en la noche”o “mirar televisión ”. Las cuales no son
proposiciones, puesto que de ellas no se puede decir que sean verdaderas o falsas.
Nota.
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
Una consecuencia de esta suposición es que si una afirmación no es falsa tendrá que ser verdadera; a
partir de proposiciones podemos construir otras proposiciones.
Operaciones básicas
Las palabras (y,o,si... entonces, etc.),(llamados conectivos o conectores lógicos) nos permitirán formar
nuevas proposiciones a partir de proposiciones simples, y además, conociendo los valores de verdad de
dichas proposiciones, podremos deducir el valor de verdad de la proposición que se construya.
Observación:
Cada proposición tiene una forma lógica a la cual se le da un nombre. Se distinguen dos tipos de pro-
posiciones: simples y compuestas. Una proposición se denomina simple cuando en ella no interviene
ningún conectivo lógico 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, etc.); 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.
Nota: Generalmente se representan las proposiciones con letras latinas mayúsculas o minúsculas como
p, q, r, ...
Un ejemplo,
Teniendo como base las proposiciones: P : 2 es un número primo, Q: 10 es múltiplo de 2, podemos

construir nuevas proposiciones, por ejemplo: P y Q: 2 es un número primo y 10 es múltiplo de 2, P o
Q: 2 es un número primo o 10 es múltiplo de 2.

1.1.2. Tablas de verdad

Una tabla de verdad muestra las relaciones entre los valores de verdad de proposiciones.
Las tablas de verdad son especialmente valiosas a la hora de determinar los valores de verdad de
proposiciones construidas a partir de proposiciones más simples. La tabla 1 muestra los dos posibles
valores de verdad de una proposición p y los correspondientes valores de verdad de su negación ∼ p.
El operador negación construye una nueva proposición a partir de la proposición individual existente.
Ahora introduciremos los operadores lógicos que se usan para formar nuevas proposiciones a partir
de dos o más proposiciones ya creadas. Esos operadores lógicos se llaman también conectivos lógicos.
Una tabla de verdad es una representación esquemática de las relaciones entre proposiciones; sirve para
determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos
utilizados y de los valores de verdad de sus proposiciones simples.
Tabla 1
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”
CONJUNCIÓN.(∧)
(Corresponde al “y ” del lenguaje común). Sean P y Q proposiciones. 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.
Tabla 2
P Q P ∧Q
V V V
V F F
F V F
F F F
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 proposiciones P ∨ Q se lee “P ó Q”, intuitivamente P ∨ Q
es verdadero si cualquiera de las dos proposiciones lo es o si ambas lo son.
Tabla 3
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.
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:
Tabla 4
P Q P ⇒Q
V V V
V F F
F V V
F F V
Las dos primeras lı́neas son “creı́bles”, 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 proposiciones 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.
BICONDICIONAL: (⇔)
El conocimiento que tenemos de las tablas para ⇒ y ∧, y un análisis cuidadoso de la siguiente tabla
(nótese que las columnas intermedias corresponde a las proposiciones más simples que conforman
(P ⇒ Q) ∧ (Q ⇒ P ))
Tabla 5
P Q P ⇒Q Q⇒P (P ⇒ Q) ∧ (Q ⇒ P )
V V V V V
V F F V F
F V V F F
F F V V V
revela que la tabla de verdad para P ⇔ Q es la siguiente:
Tabla 6
P Q P ⇔Q
V V V
V F F
F V F
F F V
DISYUNCIÓN EXCLUYENTE:(Y)
(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 manera, su tabla de verdad se calcula como sigue:
Tabla 7
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,
Tabla 8
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 verdadera, o se tiene que sólo Q es verdadera, pero no cuando ambas son verdaderas ni cuando
ambas son falsas.
(Ilustración)
1. Tráiganlo vivo o (tráiganlo) 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.
Nota:
En el álgebra elemental, el uso de paréntesis en proposiciones tiene análoga utilidad y similares con-
venciones 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 dosmás dos?. Como se sabe,
1 1
la respuesta depende de si usted entiende la pregunta como · 2 + 2, ó bien · (2 + 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 multiplica-
ció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 correctamente.
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.
1.1.3. Equivalencias Proposicionales

Equivalencias Lógicas
Un tipo importante de paso utilizado en argumentos matemáticos es la sustitución de una sentencia
por otra de igual valor de verdad. Ası́, en la construcción de argumentos matemáticos se emplean con
frecuencia métodos que producen proposiciones con el mismo valor de verdad que una fórmula dada.
Comenzaremos nuestra discusión con una clasificación de de las fórmulas según sus posibles valores de
verdad.
Dos proposiciones lógicamente equivalentes son dos proposiciones cuyos valores de verdad coinciden
lı́nea por lı́nea en una tabla de verdad, y de esta manera tienen el mismo significado. Por ejemplo, las
proposiciones P ⇔ Q y (P ∧ Q) ∨ (∼ P ∧ ∼ Q) son lógicamente equivalentes, como podemos ver en la
siguiente tabla de verdad.
P Q ∼P ∼Q (P ∧ Q) (∼ P ∧ ∼ Q) (P ⇔ Q) (P ∧ Q) ∨ (∼ P ∧ ∼ Q)
V V F F V F V V
V F F V F F F F
F V V F F F F F
F F V V F V V V
Esto se evidencia en la coincidencia lı́nea por lı́nea de las dos últimas columnas. La equivalencia lógica
de P ⇔ Q y (P ∧ Q) ∨ (∼ P ∧ ∼ Q) la expresamos de la siguiente manera
(P ⇔ Q) ≡ (P ∧ Q) ∨ (∼ P ∧ ∼ Q)
Un ejemplo importante (como veremos más adelante) de equivalencia lógica es el siguiente
(P ⇒ Q) ≡ (∼ Q) ≡ (∼ P )
Que son lógicamente equivalentes, podemos verlo en la tabla siguiente
P Q ∼P ∼Q P ⇒Q (∼ Q) ⇒ (∼ P )
V V F F V V
V F F V F F
F V V F V V
F F V V V V
Otras dos equivalencias lógicas importantes son las conocidas como Leyes de Morgan:
1. ∼ (P ∧ Q) ≡ (∼ P ) ∨ (∼ Q)
2. ∼ (P ∨ Q) ≡ (∼ P ) ∧ (∼ Q)

Verifique estas dos equivalencias como un ejercicio.
Definición:
Una fórmula que siempre es verdadera, no importa los valores de verdad de las proposiciones que la
componen, se llama tautologı́a. Una fórmula que es siempre falsa se denomina contradicción. Final-
mente, una proposición que no es ni una tautologı́a ni una contradicción se denomina contingencia.
Definición:
Diremos que las proposiciones p y q son lógicamente equivalentes si p ⇔ q es una tautologı́a. La notación
p ≡ q denota que p y q son lógicamente equivalentes
Nota:
El sı́mbolo ≡ no es un conectivo lógico, puesto que p ≡ q no es una fórmula, sino la afirmación de que
p ⇔ q es una tautologı́a.
Observación:
Una tabla de verdad para una fórmula dependiente de tres proposiciones diferentes requiere ocho filas,
una para cada posible combinación de los valores de verdad de las tres proposiciones. En general, se
requieren 2n filas si una fórmula depende de n proposiciones.
Un ejemplo,
Notemos en las tablas siguientes, 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).
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)

1.2 ÁLGEBRA DE PROPOSICIONES 1 LÓGICA MATEMÁTICA
La tabla siguiente ilustra uno de los dos casos anteriores:
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
1.2. ÁLGEBRA DE PROPOSICIONES

Cuando se trabaja con proposiciones, la situación es análoga a la ley descrita.
1. (Asociatividad): Las propiedades de asociatividad de la conjunción y de la disyunción indican que,
(P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R)
(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 son equivalentes las siguientes expresiones;
(P ∧ Q) ∨ R ⇔ P ∧ (Q ∨ R)
(P ∨ Q) ∧ R ⇔ P ∨ (Q ∧ R)
Esto último, se puede comprobar, 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): Algo similar ocurre con
(P ⇒ Q) ⇒ R P ⇒ (Q ⇒ R)
P ⇔ (Q ⇔ R) 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 ejemplo, 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
En resumen:
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
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 escribir las expresiones inmediatamente
anteriores.
Observe al pasar que la frase Tomo el bus y como chocolate o bebo agua. Tiene dos interpretacio-
nes 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 YQ ∼p
V V V V V V F F
V F V F F F V F
F V V F V F V V
F F F F V V F V
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 manera 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 D’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 D’Morgan, según la tradición, pero sólo se trata de un par de teoremas).
Observación
La siguiente e importante propiedad nos permite además presentar, en su demostración, cómo funciona
el método de derivación.

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 D’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)
Ejercicios propuestos 1.
Verifique que si P, Q y R son proposiciones, entonces:
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ı́, conmutatividad; si P, Q, R son proposiciones, entonces:
1. P ∨ (P ∧ Q) ⇔ P (absorción).
2. P ∧ (P ∨ Q) ⇔ P (absorción).

1.3 INFERENCIAS LÓGICAS 1 LÓGICA MATEMÁTICA
Las reglas de absorción son muy importantes en la práctica. 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.3. INFERENCIAS LÓGICAS

Una Regla de inferencia es un esquema para construir inferencias validas osea conclusiones validas.
Estas reglas permiten establecer relaciones sintácticas entre un conjunto de premisas y una aserción
llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se
llega a nuevas aserciones verdaderas a partir de otras ya conocidas.
Para definir las inferencias lógicas es necesario precisar algunos conceptos tales como razonamiento y
demostración.
Razonamiento. Es el proceso que se realiza para obtener una demostración.
Demostración. Es el encadenamiento de proposiciones que permiten obtener otra proposición, llamada
conclusión, a partir de ciertas proposiciones iniciales supuestas como verdaderas, que reciben el nombre
de premisas.
Las reglas de inferencia son:
Modus Ponendo Ponens (MPP).
Es te método establece que si una implicación es cierta y además también lo es su antecedente, entonces
su consecuente es necesariamente verdadero; Simbólicamente se expresa ası́:
[(p → q) ∧ p] → q

Ejemplo 1.
premisa1 : Si Julián estudia ingenierı́a de sistemas a distancia, entonces el estudia en la UNICOR.

premisa2 : Si Julián estudia ingenierı́a de sistemas a distancia.
Conclusión : Julián estudia en la UNICOR.
Simbólicamente, esta situación se expresa ası́: Si

p : Julián estudia ingenierı́a de sistemas a distancia
q : El estudia en la UNICOR.
Entonces:
premisa1 : p → q
premisa2 : p
Conclusión : q
Ejemplo 2.
premisa1 : Si x + y = z, entonces y + x = z
premisa2 : x + y = z
Conclusión y + x = z
Simbólicamente, esta situación se expresa ası́: Si

p:x+y =Z
q :y+x=z
Entonces:
premisa1 : p → q
premisa2 : p
Conclusión : q
Modus Tollendo Tollens (MTT).
Esta regla de inferencia dice que si una implicación es verdadera y su consecuente es falso, entonces su
antecedente será necesariamente falso; Simbólicamente se expresa ası́:
[(p → q)∧ ∼ q] →∼ p
Ejemplo 3.
premisa1 : Si un ángulo de un triangulo es mayor de 90o , entonces la suma de los otros dos ángulos es
menor de 90o
premisa2 : La suma de los otros dos ángulos no es menor de 90o
Conclusión Un ángulo de un triángulo no es mayor de 90o

Simbólicamente, esta situación se expresa ası́:

p : Un ángulo de un triángulo es mayor de 90o
q : La suma de los otros dos ángulos es menor de 90o
Entonces:
premisa1 : p → q
premisa2 : ∼ q
Conclusión : ∼ p
Ejemplo 4.
premisa1 : p ∨ q → r
premisa2 : ∼ r
Conclusión ∼ (p ∨ q) ↔∼ p∧ ∼ q D’ Morgan
Ejemplo 5.
Demostrar que la conclusión es consecuencia de las premisas dadas.

premisa1 : ∼ b
premisa2 : a → b
premisa3 : ∼ a → c Demostrar c
premisa4 : De la premisa 2 y de la premisa 1, [(a → b)∧ ∼ b] se puede concluir ∼ a por el MTT.
premisa5 : De las premisas 3 y 4, [(∼ a → c)∧ ∼ a] se puede concluir la proposición c por el MPP.
Modus Tollendo Ponens (MTP).
Esta ley se enuncia ası́: Si una disyunción es verdadera y una de sus proposiciones simples es falsa,
entonces necesariamente la otra proposición será verdadera. Simbólicamente se expresa ası́:
[(p ∨ q)∧ ∼ p] → q o [(p ∨ q)∧ ∼ q] → p
Ejemplo 6.
premisa1 : O la energı́a interna de un átomo puede cambiar con continuidad o cambia sólo a saltos
premisa2 : La energı́a interna de un átomo no puede cambiar con continuidad
Conclusión : La energı́a interna de un átomo cambia sólo a saltos
Simbólicamente:
p : La energı́a interna de un átomo puede cambiar con continuidad
q : La energı́a interna de un átomo sólo cambia a saltos
premisa1 : p ∨ q
premisa2 : ∼ p
Conclusión : Q

Ejemplo 7.
Demostrar que la conclusión es consecuencia de las premisas dadas.
premisa1 : ∼ q ∨ s
premisa2 : ∼ s
premisa3 : ∼ (r ∧ s) → q Demostrar r ∧ s
premisa4 : De las premisas 1 y 2 se puede concluir ∼ q por el MTP.
premisa5 : De las premisas 3 y 4, ∼ (∼ (r ∧ s)) por MTT, que es equivalente a r ∧ s por la ley de la
doble negación
Silogismo Hipotético (SH).
Es un argumento que se expresa simbólicamente ası́:
[(p → q) ∧ (q → r)] → (p → r)
Ejemplo 8.
premisa1 : Si el agua se hiela, entonces sus moléculas forman cristales
premisa2 : Si las moléculas forman cristales, entonces el agua aumenta de volumen
Conclusión : Si el agua se hiela, entonces el agua aumenta de volumen
Simbólicamente:
p : El agua se hiela
q : Sus moléculas forman cristales
r : El agua aumenta de volumen
premisa1 : p → q
premisa2 : q → r
Conclusión : p → r
Ejemplo 9.
A partir de las premisas dadas indicar la demostración de la conclusión.
premisa1 : ∼ r
premisa2 : ∼ p → q
premisa3 : q Demostrar p
premisa4 : De las premisas 2 y 3 se puede concluir ∼ p → r por SH.
premisa5 : De las premisas 1 y 4, se concluye p por MTT
Use derivación. Por ejemplo:

Si P, Q son proposiciones, entonces:


(P ∨ Q) ∧ P ⇒ Q ⇔ (P ∨ Q) ∧ P ∨ Q
h i
⇔ 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.
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
h i
⇔ 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 obtiene 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 matemática
corriente.
1. Si p es verdadero (1), q es falso (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)]

1.4 Cuantificadores 1 LÓGICA MATEMÁTICA
2. Mediante una tabla de verdad demostrar que:
(p ⊕ q) ⇔ [(∼ p ∧ q) ∨ (p∧ ∼ q)]
3. 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)]
4. Dadas tres proposiciones p, q, r, demostrar utilizando las leyes del álgebra de proposiciones las
siguientes equivalencias:
a) [(p ∧ q) ∨ (∼ p ∧ r) ∨ (q ∧ r)] ⇔ [(p ∧ q) ∨ (∼ p ∧ r)]

b) [(p ∨ q) ∧ (∼ p ∨ r) ∧ (q ∨ r)] ⇔ [(p ∨ q) ∧ (∼ p ∨ r)]
c) (∼ p ∧ q ∧ r) ∨ (∼ p∧ ∼ q ∧ r) ∨ (p ∧ q∧ ∼ r) ∨ (p∧ ∼ q∧ ∼ r) ⇔ (∼ p ∧ r) ∨ (p∧ ∼ r)
d ) (p ∧ q) ∧ (∼ p ∨ q) ⇔ (∼ p ∧ q) ∨ (p∧ ∼ q)
e) (p∨ ∼ q) ∧ (q ∨ r) ∧ (q∨ ∼ r) ⇔ (p ∧ q)
f ) (p∨ ∼ q) ∧ (q∨ ∼ r) ∧ (∼ p ∨ r) ∧ (∼ p∨ ∼ q) ⇔∼ p∧ ∼ q∧ ∼ r
g) [(p ∨ q) ∧ (∼ p ∨ q)] ⇔ q
h) (p∧ ∼ q) ∨ (p ∧ r) ∨ (p ∧ q) ⇔ p
i ) (p ∧ q ∧ r) ∨ (∼ p∨ ∼ q∨ ∼ r) ⇔ 1 es una tautologı́a
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 6= φ 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 universal.
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 cuantificador
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́ni-
cos”. 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 preposició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 fan-
tasmas” 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”.

Observación
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 proposicio-
nes,permite la consolidación del complejo pero maravilloso universo de la lógica formal.
Conservando la orientación que nos hemos propuesto, consideramos importante el conocimiento com-
pleto de la estructura básica, y en este sentido presentamos los elementos fundamentales 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) .
2. En adelante, cuando una expresión figure cuantificada, se sobre entiende que se satisfacen las
condiciones requeridas.
Cuantificadores en una letra Descripción Básica

Describimos ahora los objetos que estudiaremos.
Antes de explicar los cuantificadores, debemos aclarar que ellos no se usan con proposiciones sino con
proposiciones más abiertas que se llaman funciones proposicionales. Para tales proposiciones no
tiene sentido preguntarse directamente si son verdaderas o falsas, pues contienen uno o más objetos in-
determinados, 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 ejemplo a continuació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 un conjunto, 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 proposició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 fantasmas 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, entonces 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 verdadera.
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 proposició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.

1.4.1. Reglas para el uso

Veremos ahora algunas reglas fundamentales para el uso de los cuantificadores. Estas reglas son con-
vencionales, 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).
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 expresamente 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, anota-
remos (∀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 6= φ)
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 com-
probar 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 verdadera 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 casi 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 encontrar 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)
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 proposiciones.
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 proposición del tipo (∃x) p (x) no es fácil de probar; tal demos-
tració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 vertedero y el consecuente falso (y por 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 verdadera, 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 proposiciones y
conjunto que usamos para la regla anterior.
Las proposiciones, 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 h i
R8 :(∀x) [p (x) ⇒ q (x)] ⇔ (∃x) p (x) ∧ q (x)
Se tiene sucesivamente
(∀x) [p (x) ⇒ q (x)] ⇔ (∃x) [p (x) ∧ q (x)]

h i
⇔ (∃x) p (x) ∨ q (x)
h i h i
⇔ (∃x) p (x) ∧ q (x) ⇔ (∃x) p (x) ∧ q (x)
1.4.2. 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 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 equivalentes
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)

⇓ ⇓
(∃x) (∀y) P (xc y) (∃y) (∀x) P (xc y)
⇓ ⇓
(∀y) (∃x) P (xc y) (∀x) (∃y) P (xc y)
⇓ ⇓
(∃y) (∃x) P (xc y) ⇔ (∃x) (∃y) P (xc y)
Considere la tabla anterior con lo siguiente: Posibles valores de x son todos las personas, posibles valores
de y son todas las frutas, P (xc y) : a la persona x le gusta la fruta y
Nótese que si hubiera 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 proposicionales 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 referencia, tenemos que:
1. p : 2 + 3 = 5, q : 2 + 3 = 6 son proposiciones, y
1. p es verdadera,
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.
1.4.3. Negando proposiciones 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”.
1.4.4. Negando proposiciones 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 proposiciones 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 6= 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).

1.4.5. Reglas para el uso

Procederemos como hicimos para los cuantificadores en una letra: iremos enunciando y comentando
sucesivamente nuestras reglas, que persistimos, en llamar axiomas.
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 6= φ)
(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 hemos preferido la
otra forma para que la lista completa sea leı́da con mayor facilidad, 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))

2 SISTEMAS DE NUMERACIÓN
2. Sistemas de numeración
Objetivos: Al finalizar este capı́tulo el lector deberá comprender la necesidad de los diferentes
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.
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.
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 posicionaleso pesos están representados 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.
Ejemplo 10.
435, 232 = 4∗ 102 + 3∗ 101 + 5∗ 100 + 2∗ 10−1 + 3∗ 10−2 + 2∗ 10−3 .

2.3 Sistema de numeración binaria 2 SISTEMAS DE NUMERACIÓN
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 posicional 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
2.3.1. 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
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

2.4 Sistema de numeración octal 2 SISTEMAS DE NUMERACIÓN
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, ...
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...
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

2.6 Conversión entre sistemas de numeración 2 SISTEMAS DE NUMERACIÓN
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
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 .
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.
2.6.1. 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 ente-
ra, 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.
2.6.2. 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
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
2.6.3. Conversión entre los sistemas binario y octal

Como estudiaremos posteriormente, los circuitos digitales manipulan datos usando el sistema de nu-
meración binario; sin embargo, esto trae el inconveniente de que a medida 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: X
N= Ai 2 i 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.
2.6.4. 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
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

2.7 Operaciones aritméticas en el sistema binario 2 SISTEMAS DE NUMERACIÓN
2.6.5. Conversión entre los sistemas hexadecimales y binario

Como se anotó en 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 viceversa.
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. Para convertir 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
2.7. Operaciones aritméticas en el sistema binario

Es evidente que el lector conoce las cuatro operaciones fundamentales de la aritmética (suma, resta,
multiplicación, división) en el sistema de numeración decimal, pero dado que en sistemas 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.

2.7.1. Suma binaria

Para sumar en binario, debemos primero construir una tabla de sumar como se observa en la siguiente,
la cual se denomina Tabla de Verdad del sumador completo, todo lo cual será analizado en secciones
posteriores.
Sumandos 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.
2.7.2. 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

2.7.3. 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

3 CONJUNTOS
3. Conjuntos
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 proposiciones
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.
3.2. Operaciones entre conjuntos

3.2.1. Unión
La unión de dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen 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”.
3.2.2. Intersección
La intersección de dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen
a A y a B. Se nota A ∩ B.
A ∩ B = {x : x ∈ A ∧ x ∈ B} .
Si A y B no tienen elementos en común, es decir, si A ∩ B = ∅, entonces diremos que A y B son
conjuntos disjuntos.

3.3 Álgebra de conjuntos : Dualidad 3 CONJUNTOS
3.2.3. 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 6∈ B} .
El conjunto A − B se lee ”A menos B 2recibe también el nombre de complemento relativo del conjunto
B respecto del conjunto A.
3.2.4. 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.
3.2.5. Diferencia Simétrica

La diferencia simétrica entre dos conjuntos 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 4 B.
A 4 B = (A − B) ∪ (B − A) .
3.3. Álgebra de conjuntos : Dualidad

Bajo las operaciones definidas en los apartados anteriores, los conjuntos satisfacen varias leyes o iden-
tidades. Observaremos que existe una dualidad entre las leyes que utilizan la intersección y las que
utilizan la unión.
3.3.1. Leyes Idempotentes

Dado cualquier conjunto A en un universal arbitrario U , se verifica:
1. A ∪ A = A
2. A ∩ A = A
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.
3.3.2. Leyes Conmutativas

Dados dos conjuntos 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.
3.3.3. 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.
3.3.4. 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)
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) .
3.3.5. 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.
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.

3.3.6. 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.
3.3.7. 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:
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} = ∅
3.3.8. Leyes de De D’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 ∈ Ac ) ∧ (x ∈ B c )
⇔ x ∈ (Ac ∩ B c )
y al ser x un elemento arbitrario de , se sigue que
∀x [x ∈ (A ∪ B)c ⇔ x ∈ (Ac ∩ B c )] ,
luego,
(A ∪ B)c = Ac ∩ B c .
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
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)
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

3.4 Conjuntos finitos, principio de conteo 3 CONJUNTOS
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 6= (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 están 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, respectivamente.
Queremos encontrar el número de estudiantes que estudian todos los tres idiomas, y encontrar 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) .

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 diagrama 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)
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?.
5. Una ensambladora de autos recibió una orden de fabricación de 38 automóviles tipo 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 vidrios eléctricos y cojinerı́a de lujo, 5 de los
vehı́culos deben tener los tres aditamentos. 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?.
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 de trabajo, 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 seleccionados 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?.

4 NOCIONES SOBRE ÁLGEBRA DE BOOLE
4. Nociones sobre Álgebra de Boole

El álgebra 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.
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.

4.1 Definición de Álgebra de Boole 4 NOCIONES SOBRE ÁLGEBRA DE BOOLE
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, ∅, mientras 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:
A0 = {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}
4.1.1. Principio de dualidad del álgebra de Boole

Toda propiedad que pueda deducirse de las propiedades primitivas o de cualquier otra propiedad deri-
vada 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.

4.2 Expresiones de Boole: Forma suma de productos
4.1.2. Propiedades en un álgebra de Boole

Las siguientes propiedades son consecuencia de las propiedades primitivas:
1. Involución: 0
x0 = 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:
00 = 1, y 10 = 0.
6.
x + x0 y = x + y, x x0 + y = xy,

∀x, y ∈ β.
7. Leyes de De Morgan:
(1a ) (x + y)0 = x0 y 0
(2a ) (xy)0 = x0 + 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 (0 )
Ejemplo 11.
0 0 0 0
E = x + y 0 + z + xyz 0 + x0 + y y F = xy 0 z 0 + y + x0 z
Son expresiones de Boole en x, y y z.
Definición 1. Un literal es una variable o una variable complementaria, como x, x0 , y, y 0 .

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 0 , xy 0 z, x, y 0 , yz 0 , x0 yz son productos
fundamentales, sin embargo, xyx0 z y xyzy no lo son; el primero contiene x y x0 y el segundo contiene
a y en dos sitios. Observe que:
xyx0 z = xx0 yz = 0yz = 0
(ya que xx0 = 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 fundamental,
P2 , si los literales de P1 son también literales de P2 . Por ejemplo, x0 z está incluido en x0 yz, ya que x0 y
z son literales de x0 yz. Sin embargo, x0 z no está contenido en xy 0 z, ya que x0 no es un literal de xy 0 z.
En caso de que P1 esté incluido en P2 , entonces por la ley de absorción
P1 + P2 = P1
Por ejemplo, x0 z + x0 yz = x0 z.
Observación:
Una expresión de Boole E se dice que está en forma de suma de productos o en forma minterm
si E es un producto fundamental, o es la suma de dos o más productos fundamentales, ninguno de los
cuales está incluido en otro. Por ejemplo, considere las expresiones
E1 = xz 0 + y 0 z + xyz 0 y E2 = xz 0 + x0 yz 0 + xy 0 z
Aunque la primera expresión, E1 , es una suma de productos, no está en la forma de suma de productos,
ya que xz 0 está contenida en xyz 0 . Sin embargo, por la ley de absorción, E1 se puede expresar como
E1 = xz 0 + y 0 z + xyz 0 = xz 0 + xyz 0 + y 0 z = xz 0 + y 0 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 D’Morgan y la involución, podemos mover la operación de complemento

dentro de cualquier paréntesis hasta que finalmente se aplique sólo a variables. E consistirá en-
tonces solamente de sumas y productos de literales.
2. Usando la ley distributiva, podemos transformar E en una suma de productos.

3. Usando las leyes conmutativa, de idempotencia y de complemento, podemos transformar cada

producto de E en 0 o en un producto fundamental. Finalmente, usando la ley de absorción,
podemos poner E en forma de suma de productos.
Por ejemplo: 0
Consideremos la expresión Booleana E = (ab)0 c [(a0 + c) (b0 + c0 )]0 . Aplicando el anterior algoritmo,

1. E = (ab)00 + c0 (a + c) + (b0 + c0 )0 = (ab + c0 ) (ac0 + bc)

0
2. E = abac0 + abbc + ac0 c0 + bcc0
3. E = abc0 + abc + ac0 + 0 = ac0 + 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 + x0i ; éste se puede hacer ya que
xi + x0i = 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:
4.2.1. 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
x1 x2 x3 x4 x1 x2 x3 x4
En β 3 son maxterm
x1 + x2 + x3 x1 + x2 + x3
Propiedades

4.3 Obtención de las formas canónicas 4 NOCIONES SOBRE ÁLGEBRA DE BOOLE
1. Toda función Booleana f : β n ⇒ β puede ser expresada como suma de minterm (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 maxterm (producto
de sumas). Esta expresión es la que se conoce como forma canónica conjuntiva de la función f.

δ1 δ2 δn

δi xi
f (x1 , x2 , . . . , xn ) = x1 + x2 + · · · + xn 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.
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 complementarios) tome valor 0 es con todos sus términos tomando valor 0. El número de maxterms
en la forma conjuntiva es igual al número de ceros (0) en la tabla 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 xj .
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 agregado 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
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:

4.4 Simplificación de funciones Booleanas 4 NOCIONES SOBRE ÁLGEBRA DE BOOLE
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)
4.4.1. Método algebraico

El método denominado .algebraico çociste 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 D’Morgan. Actúan sobre el complementario de las operaciones reduciéndolo a comple-

mentarios sobre las variables
x + y = xy xy = x + y
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.

4.4.2. 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
conjuntiva, 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:
x0 = 0 x = 1
y0 = 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) = x0 y 0 + xy 0
= y 0 x0 + y 0 x
= y 0 x0 + x

= y 0 ,1
= y0
Note que al simplificar la expresión se anula la variable x porque x + x0 = 1. Además, ambos unos (1)
se encuentran en el primer renglón, es decir, se encuentran en el renglón denominado y 0 , por tanto la
expresión simplificada es:
f (x, y) = y 0
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) = x0 y + xy 0 + 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:
x0 y 0 x0 y xy xy 0
00 01 11 10
z0 = 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 x0 : columnas 1a y 2a
Región de y : columnas 2a y 3a
Región de y 0 : columnas 1a y 4a
Región de z : fila 2a
Región de z 0 : fila 1a .
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1) . También se consideran 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 0 , por tanto,
la función Booleana simplificada será:
f (x, y, z) = y 0 .

Para demostrar lo anterior, se escribe la función en forma normal disyuntiva, ası́:
f (x, y, z) = x0 y 0 z 0 + x0 y 0 z + xy 0 z 0 + xy 0 z
= x0 y 0 z 0 + z + xy 0 z 0 + z

= x0 y 0 + xy 0
= y 0 x0 + x

= y0.
Encontrar la expresión Booleana simplificada 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) = x0 yz 0 + x0 yz + xyz 0 + xyz

= x0 y z 0 + z + xy z 0 + z

= x0 y + xy
= y x0 + x

= y.
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 x0 : columnas 1a y 2a
Región de y : columnas 2a y 3a
Región de y 0 : columnas 1a y 4a
Región de z : filas 3a y 4a
Región de z 0 : filas 1a y 2a
Región de w : filas 2a y 3a
Región de w0 : filas 1a y 4a .

Aquı́ pueden ocurrir adyacencias de dos, cuatro, ocho o dieciséis 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) = x0 y 0 z 0 w0 + xy 0 z 0 w0 + x0 y 0 zw0 + xy 0 zw0 + x0 yz 0 w + xyz 0 w + x0 yzw + xyzw

= y 0 z 0 w0 x0 + x + y 0 zw0 x0 + x + yz 0 w x0 + x + yzw x0 + x

= y 0 z 0 w0 + y 0 zw0 + yz 0 w + yzw
= y 0 w0 z 0 + z + yw z 0 + z

= yw + y 0 w0 .
Simplificar la función Booleana cuyo mapa K asociado es:
f (x, y, z, w) = x0 y 0 z 0 w0 + x0 y 0 z 0 w + x0 y 0 zw + x0 y 0 zw0 + xy 0 z 0 w0 + xy 0 z 0 w + xy 0 zw + xy 0 zw0

= x0 y 0 z 0 w0 + w + x0 y 0 z w0 + w + xy 0 z 0 w0 + w + xy 0 z w0 + w

= x0 y 0 z 0 + x0 y 0 z + xy 0 z 0 + xy 0 z
= x0 y 0 z 0 + z + xy 0 z 0 + z

= x0 y 0 + xy 0
= y 0 x0 + x

= y0.
En los ejemplos anteriores la consideración de las adyacencias señaladas conducen directamente a las
expresiones simplificadas, observando las regiones del mapa K en las que se encuentran estas adyacen-
cias.
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 12. f (x, y, z, w) = xyzw + xyzw

xy 00 01 11 10
zw
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 13. f (x, y, z, w) = xyz

xy 00 01 11 10
zw
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 14. 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 00 01 11 10
zw
00 1 1
01
11
10 1 1
Ejemplo 15. f (x, y, z, w) = z

xy 00 01 11 10
zw
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 consigna valor 0 en las restantes posiciones.
Método para obtener la función simplificada a partir de la tabla La disposició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).
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 solaparse, 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 00 01 11 10
z
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.

xy 00 01 11 10
zw
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 00 01 11 10
zw
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. Apli-
cando 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 0 )0 + y 0 en la forma normal disyuntiva.
Solución:
0 0
xy + yz 0 + y 0 = (xy)0 . yz 0 + y 0
= x0 + y 0 . y 0 + z + y 0

= y 0 + x0 . y 0 + z + y 0

= y 0 + x0 z + y 0
= y 0 + x0 z
= y 0 x + x0 z + z 0 + x0 z y + y 0

= y 0 xz + xz 0 + x0 z + x0 z 0 + x0 yz + x0 y 0 z

= xy 0 z + xy 0 z 0 + x0 y 0 z + x0 y 0 z 0 + x0 yz + x0 y 0 z
= xy 0 z + xy 0 z 0 + x0 y 0 z + x0 y 0 z 0 + x0 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 0 ,

entonces f = xyz + xyz 0 está también en forma normal en las variables x, y, z.
En forma similar, g = x0 yz + xyz + x0 yz 0 + xyz 0 está en forma normal disyuntiva en x, y, z, pero

reduciéndola 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 2es idénticamente igual a la unidad. Por ejemplo, para el caso de dos variables
(n = 2) la forma normal disyuntiva se puede obtener de la tabla:
x y f
0 0 x0y0
0 1 x0y
1 0 xy0
1 1 xy
x0 y 0 + x0 y + xy 0 + xy = 1

cuyo valor es 1 porque

x0 y 0 + x0 y + xy 0 + xy = x0 y 0 + y + x y 0 + y

= x0 1 + x1
= x0 + x
= 1
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) = x0 y 0 z + xy 0 z + xyz 0
= y 0 z x0 + x + xyz 0

= y 0 z,1 + xyz 0
= y 0 z + xyz 0
Escribir la función (xy + yz 0 )0 + y 0 en la forma conjuntiva.
Solución:
0 0
xy + yz 0 + y 0 = (xy)0 . yz 0 + y 0
= x0 + y 0 . y 0 + z + y 0

= y 0 + x0 + y 0 . y 0 + z

= y 0 + x0 + y 0 y 0 + y 0 + z

= x0 + y 0 y 0 + z

= x0 + y 0 + zz 0 . xx0 + y 0 + z

= x0 + y 0 + z x0 + y 0 + z 0 x + y 0 + z x0 + y 0 + z

= x0 + y 0 + z . x0 + y 0 + z 0 x + y 0 + z


Una función Booleana puede ser expresada en forma normal conjuntiva 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 0 entonces
f = x + y + zz 0 ó f = (x + y + z) (x + y + z 0 ) está también en forma normal en las variables x, y, z. Por
otra parte, g = (x0 + y + z) (x + y + z) (x0 + y + z 0 ) está en forma normal conjuntiva en x, y, z, pero
simplificándola 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 complemen-
tadas:
x y f
0 0 x + y0
0 1 x+y
1 0 x0 + y 0
1 1 x0 + y
0
x0 + y x0 + y 0

(x + y) x + y
Porque (x + y) x + y 0 x0 + y x0 + y 0 x + yy 0
x0 + yy 0

=
= (x + 0) x0 + 0

= xx0
= 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 0 . xŽ + y + z 0

= y + z 0 + x . y + z 0 + x0

= y + z 0 + xx0

= y + z0 + 0
= y + z0

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 funciones, 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 0 ) (x0 + y 0 ) es (x0 + y) (x + y) .
Para cambiar una función de una forma normal a la otra se utiliza (f 0 )0 = f . El siguiente ejemplo
ilustra el método.
Encontrar la forma normal conjuntiva para la función f = xyz + x0 yz + xy 0 z 0 + x0 yz 0

0 h 0 i0
f0 = xyz + x0 yz + xy 0 z 0 + x0 yz 0
0 0
x + y 0 + z 0 x + y 0 + z 0 x0 + y + z x + y 0 + z

=
= (x + y + z) x0 + y + z 0 x + y + z 0 x0 + y 0 + z

El apóstrofo significa el complemento 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 0 + xy 0 z + xy 0 z 0 + x0 y 0 z 0

0 h 0 i 0
f0 = xyz + xyz 0 + xy 0 z + xy 0 z 0 + x0 y 0 z 0
0 0
x + y 0 + z 0 . x0 + y 0 + z . x0 + y + z 0 . x0 + y + z . (x + y + z)

=
= x + y0 + z0 . x + y0 + z . x + y + z0


Ejercicios Propuestos
1. Simplificar las siguientes expresiones Booleanas:
a) (x + y) (x0 + y)
b) (x + xy + xyz) (x + y + z)
c) (xy 0 + x0 y)0 . (xy + x0 y 0 )0
d ) (yz + xuw) (yz + x0 + u0 + w0 )
e) xyz + xy 0 z + x0 yzx
f ) (x + y + z + x0 y 0 z 0 ) . (yz + yz 0 + y 0 z)
g) (yz + y 0 z 0 + yz 0 )0 [(y 0 + z 0 ) (y + z 0 )]0
h) xy + x0 z + yz
i ) (x + y) (x0 + 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 0 ) (y + z 0 ) (z + x0 ) (x0 + y 0 )
b) (x + y 0 ) (y + z) (y + z 0 )
c) x0 yz + xy 0 z + x0 yz 0 + x0 y 0 z + xyz 0 + x0 y 0 z 0
3. Escribir cada una de las siguientes expresiones en la forma normal conjuntiva con el menor número
posible de variables:
a) (x + y 0 ) (y + z 0 ) (z + x0 ) (x0 + y 0 )
b) (x + y 0 ) (y + z) (y + z 0 )
c) x0 yz + xy 0 z + x0 yz 0 + x0 y 0 z + xyz 0 + x0 y 0 z 0
4. Simplificar las siguientes expresiones mediante la ley de D’Morgan:
a) (x0 yz 0 )0
b) (x0 + y 0 z)0
0
c) xy (zw)0

0
d ) x (y + z 0 )0 w

e) [(x + y 0 ) (x0 + y)]0

n 0 o0
f) (xy)0 z w

5. Para cada una de las siguientes expresiones construir el circuito lógico correspondiente: 1) Utili-
zando compuertas AN D y OR. 2) Utilizando compuertas N AN D y N OR. Use inversores si es
necesario:
a) f = [xy (z + w)]0
b) g = (x + y + z 0 wu0 )0 + y 0 zw0
c) h = (x + y)0 + z 0 w
d ) i = (x + zw0 )0
e) j = xy (z + y 0 )

5 COMPUERTAS LÓGICAS
5. Compuertas Lógicas
El álgebra Booleana es el soporte teórico del álgebra de los circuitos lógicos, lo cual se ajusta 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́lgebra 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 magnéticas, transistores. La naturaleza de
los estados varı́a con el dispositivo: conducción, contra no-conducción, cerrado contra abierto, cargada
contra descargada, 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 combinación de estas tres
compuertas. Sin embargo, se utilizan otras cuatro compuertas lógicas: NAND, NOR, XOR y XNOR.
5.1. Compuerta NAND

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

x y AND NAND
xy 0 (xy)0
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 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)0 .

5.3 Compuerta XOR 5 COMPUERTAS LÓGICAS
El sı́mbolo para la compuerta NOR es:
La tabla de verdad es:

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

Corresponde a la operación lógica disyunción exclusiva (x ⊕ y) y a la operación entre conjuntos de-
nominada diferencia simétrica. Para designar esta disyunción exclusiva o suma exclusiva se emplea el
sı́mbolo ⊕:
f (x, y) = x ⊕ y = xy 0 + x0 y.
El sı́mbolo para la compuerta XOR es:
5.3.1. 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:
x y XOR XNOR
x ⊕ y (x ⊕ y)0
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 0 + x0 y.
Su complemento, la compuerta XNOR, serı́a:

0
(x ⊕ y)0 = xy 0 + x0 y .

Para hallar este complemento se procede ası́:

0 0
(x ⊕ y)0 = xy 0 . x0 y {Ley de D’Morgan}
= x + y . x + y 0 {Ley de D’Morgan}
0

= x0 + y .x + x0 + y .y 0 P2

= xx0 + xy + x0 y 0 + yy 0 P2
= 0 + xy + x0 y 0 + 0 P4
= xy + x0 y 0 P3
Esta última expresión es la función Booleana que establece la equivalencia entre x, y, por tanto:
(x ⇔ y) = (x ⊕ y)0 ,
se concluye que una equivalencia lógica puede representarse mediante una compuerta XNOR.
Escribir la función f = (xy 0 + xz)0 en forma normal disyuntiva, simplificarla y dibujar el circuito lógico
0
f = xy 0 + xz + xx0
0
= x y 0 + z + x0

= x0 + xyz 0
= x0 y + y 0 z + z 0 + xyz 0

= x0 yz + x0 yz 0 + x0 y 0 z + x0 y 0 z 0 + xyz 0
El mapa K correspondiente es:
La función Booleana simplificada es f = yz 0 + x0 .

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ı́:
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 = x0 y + x0 y 0 , implementar el circuito lógico correspondiente
utilizando:

1. Técnica NAND.
2. Técnica NOR.
Solución:
1.
f = x0 y + x0 y 0
0 h 0 i0
f0 = x0 y + x0 y 0
h 0 0 i 0
f = x0 y . x0 y 0 (∗)
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:

0
x + y 0 . (x + y)

f =
0
f = x + y 0 + (x + y)0
h i0 0
0 0 0 0 0

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 considerar los
términos irrelevantes (don’t care) es xyz 0 w.
f = xyz 0 w
f = xw
Encontrar la función Booleana simplificada en las forma normal conjuntiva y disyuntiva asociada al
siguiente mapa K.

Para la forma normal conjuntiva se consideran los ceros (0) y se tiene en cuenta que las variables
consideradas se deben tomar complementadas, ası́:
f (x, y, z, w) = y 0 + w x0 + y 0

Para la forma normal disyuntiva se consideran los unos (1) .
f (x, y, z, w) = y 0 + x0 w
Al aplicar la ley distributiva de + sobre . se puede ver que las dos expresiones son equivalentes.

Apuntes de Lógica para computación

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Apuntes de Lógica para computación

Загружено:

Авторское право:

Доступные форматы

Apuntes de Lógica para computación

Prof. Amaury Camargo Benı́tez

2.7.3. Multiplicación binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

4. Nociones sobre Álgebra de Boole 59

Lero y Jose 2 Amaury Camargo B

1.1. LÓGICA PROPOSICIONAL

Valor de verdad de una proposición.

1. Cuando se deja caer un cuerpo, va hacia arriba. (F)

2. Cuando se coloca una piedra en un recipiente de agua, el volumen es el mismo (F)

3. Una función es impar siempre y cuando sea monótona (F)

4. Todas las palabras esdrújulas llevan acento (V)

Lero y Jose 3 Amaury Camargo B

6. En los CDs se puede intercambiar información indefinidamente (F)

7. Todo numero real elevado a la cero da uno (F)

Teniendo como base las proposiciones: P : 2 es un número primo, Q: 10 es múltiplo de 2, podemos

Lero y Jose 4 Amaury Camargo B

1.1.2. Tablas de verdad

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”

(Corresponde al “y ” del lenguaje común). Sean P y Q proposiciones. La afirmación P ∧ Q se lee ”P

Lero y Jose 5 Amaury Camargo B

(Corresponde al “Si,...,entonces...” del lenguaje común). La afirmación P ⇒ Q se lee “Si P entonces

P ⇒ Q se puede escribir Q ⇐ P. Donde P es el antecedente y Q es el consecuente. Ası́ pues, los dos

En el ejemplo siguiente, todas las proposiciones quieren decir lo mismo.

Lero y Jose 6 Amaury Camargo B

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.

revela que la tabla de verdad para P ⇔ Q es la siguiente:

(Disyunción exclusiva): Si P y Q son proposiciones, la expresión P Y Q es una abreviatura de la

Lero y Jose 7 Amaury Camargo B

Lero y Jose 8 Amaury Camargo B

1.1.3. Equivalencias Proposicionales

Un ejemplo importante (como veremos más adelante) de equivalencia lógica es el siguiente

Que son lógicamente equivalentes, podemos verlo en la tabla siguiente

Lero y Jose 9 Amaury Camargo B

Verifique estas dos equivalencias como un ejercicio.

Lero y Jose 10 Amaury Camargo B

La tabla siguiente ilustra uno de los dos casos anteriores:

1.2. ÁLGEBRA DE PROPOSICIONES

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

2. (Distributividad): Contrario a la asociatividad, no son equivalentes las siguientes expresiones;

3. (No asociatividad): Algo similar ocurre con

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

Lero y Jose 11 Amaury Camargo B

Esto significa, por ejemplo, que la expresión P ∧ Q ⇒ R significa (P ∧ Q) ⇒ R pero P ∧ Q ⇒ R no

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

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:

Si P, Q, R son proposiciones, entonces:

Lero y Jose 12 Amaury Camargo B

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

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

3. Repare, sin embargo, en que por ejemplo, en la expresión, (P ∧ Q) ∨ (R ∨ S) , la situación es

Teorema 1. (Leyes de D’Morgan)

Las reglas de conmutatividad, asociatividad, distributividad y de D’Morgan son importantes para

Si P, Q, R son proposiciones, entonces: