Documente Academic
Documente Profesional
Documente Cultură
Índice
Índice 1
1. LÓGICA MATEMÁTICA 3
1.1. LÓ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. ÁLGEBRA DE PROPOSICIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3. INFERENCIAS LÓ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 más de un cuantificador . . . . . . . . . . . . . . . . 30
1.4.5. Reglas para el uso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2. Sistemas de numeración 33
2.1. Concepto de codificación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2. Sistema de numeración decimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3. Sistema de numeración binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3.1. Conteo en binario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4. Sistema de numeración octal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.5. Sistema de numeración hexadecimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.6. Conversión entre sistemas de numeración . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6.1. Conversión decimal a binario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6.2. Conversión del sistema decimal al octal . . . . . . . . . . . . . . . . . . . . . . . 37
2.6.3. Conversión entre los sistemas binario y octal . . . . . . . . . . . . . . . . . . . . 39
2.6.4. Conversión del sistema decimal a hexadecimal . . . . . . . . . . . . . . . . . . . . 40
2.6.5. Conversión entre los sistemas hexadecimales y binario . . . . . . . . . . . . . . . 41
2.7. Operaciones aritméticas en el sistema binario . . . . . . . . . . . . . . . . . . . . . . . . 41
2.7.1. Suma binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.7.2. Resta binaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1
ÍNDICE ÍNDICE
3. Conjuntos 44
3.1. Definiciones Básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2. Operaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.1. Unión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.2. Intersección . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.3. Diferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.4. Complementario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.5. Diferencia Simétrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3. Á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
5. Compuertas Lógicas 83
5.1. Compuerta NAND . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2. Compuerta NOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.3. Compuerta XOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.3.1. Compuerta XNOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
1. LÓGICA MATEMÁTICA
Se puede decir, que la lógica es la ciencia de los principios de inferencia o razonamientos formalmente
válidos. Lo especı́fico de un razonamiento o inferencia consiste en derivar una conclusión a partir de
unas premisas, siguiendo una regla de inferencia dada llamada modus ponens. De esta conclusión se dice
que es formalmente válida, es decir, que si sus premisas son verdaderas entonces la conclusión también
es verdadera. La lógica se ocupa de la validez de los razonamientos y no de la verdad o falsedad de los
enunciados que la componen.
Cabe anotar también, que la lógica se apoya en una serie de reglas las cuales le dan un significado preciso
a los enunciados o sentencias matemáticas. Estas reglas se usan para distinguir entre argumentos válidos
y no válidos. Considerando que uno de los principales objetivos de estas notas (apuntes) es enseñar al
lector cómo entender y construir argumentos matemáticos correctos.
Además de su importancia en el razonamiento matemático,la lógica tiene numerosas aplicaciones en
ciencias de la computación. Las reglas de la lógica se usan en el diseño de circuitos de ordenador,la
construcción de programas informáticos, la verificación de que un programa está bien construido y en
muchas otras aplicaciones.
Proposición.
Llamaremos proposición a cualquier armación que sea verdadera o falsa, pero no ambas cosas a la vez.
Llamaremos valor verdadero o de verdad de una proposición a su veracidad o falsedad. El valor de verdad
de una proposición verdadera es verdad (V ) y el de una proposición falsa es falso (F ). Por ejemplo: El
tablero de este salón es verdeel tablero del saló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, también
es una proposición y no es necesario estar en la capacidad de saber personalmente la respuesta.
Por ejemplo,
5. La orbita de la tierra es elı́ptica, por lo tanto hay sectores del planeta en que son mas cálidos que
otros (V)
Observación:
Por otra parte se tienen expresiones como “Viajar en la noche”o “mirar televisión ”. Las cuales no son
proposiciones, puesto que de ellas no se puede decir que sean verdaderas o falsas.
Nota.
Toda afirmación es verdadera o falsa, y no hay una afirmación que sea verdadera y falsa al mismo
tiempo. Esta suposición la llamamos la Ley del tercero excluido
Una consecuencia de esta suposición es que si una afirmación no es falsa tendrá que ser verdadera; a
partir de proposiciones podemos construir otras proposiciones.
Operaciones básicas
Las palabras (y,o,si... entonces, etc.),(llamados conectivos o conectores lógicos) nos permitirán formar
nuevas proposiciones a partir de proposiciones simples, y además, conociendo los valores de verdad de
dichas proposiciones, podremos deducir el valor de verdad de la proposición que se construya.
Observación:
Cada proposición tiene una forma lógica a la cual se le da un nombre. Se distinguen dos tipos de pro-
posiciones: simples y compuestas. Una proposición se denomina simple cuando en ella no interviene
ningún conectivo lógico o término de enlace (y, o, no, si,... entonces..., si y sólo si). Si se juntan una
o varias proposiciones simples con un término de enlace, se forma una proposición compuesta. Los
términos de enlace,(y,o,si... entonces, etc.); se usan para ligar dos proposiciones, en cambio el término
de enlace “no” se agrega a una sola proposición.
La forma de las proposiciones compuestas depende del término de enlace utilizado, y no del contenido
de la proposición o proposiciones simples. Es decir si en una proposición compuesta se sustituyen las
proposiciones simples por otras proposiciones simples cualesquiera, la forma de la proposición compuesta
se conserva.
Nota: Generalmente se representan las proposiciones con letras latinas mayúsculas o minúsculas como
p, q, r, ...
Un ejemplo,
Tabla 1
p ∼p
V F
F V
CONJUNCIÓN.(∧)
Tabla 2
P Q P ∧Q
V V V
V F F
F V F
F F F
Nota: En el lenguaje común la palabra “y” podrá tener otros significados (pero, también, aún), sin
embargo para nosotros el significado es el que nos da la tabla.
DISYUNCIÓN:(∨)
(Corresponde al “o” del lenguaje común). Las proposiciones P ∨ Q se lee “P ó 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.
Después del almuerzo como postre o me lavo los dientes. En la afirmación anterior dada en lenguaje
común uno entiende que no hará las dos cosas después de almuerzo. Aquı́ el “o” es exclusivo, pero en
el lenguaje matemático el “o” que se usa es el inclusivo.
CONDICIONAL:(⇒)
BICONDICIONAL: (⇔)
El conocimiento que tenemos de las tablas para ⇒ y ∧, y un análisis cuidadoso de la siguiente tabla
(nótese que las columnas intermedias corresponde a las proposiciones má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
Tabla 6
P Q P ⇔Q
V V V
V F F
F V F
F F V
DISYUNCIÓN EXCLUYENTE:(Y)
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
Observación:
Si P y Q son proposiciones, entonces P Y Q es una proposició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 sólo
P es verdadera, o se tiene que sólo Q es verdadera, pero no cuando ambas son verdaderas ni cuando
ambas son falsas.
(Ilustración)
1. Tráiganlo vivo o (tráiganlo) muerto es una instancia de la disyunción excluyente.
2. (6 > 2) Y (6 < 2) es una ejemplo más formal.
Observación:
Cuando se trabaja con proposiciones, es indispensable el buen uso de los paréntesis; su descuido provoca
numerosos errores.
El papel de los paréntesis es similar al de la puntuación en nuestra gramática; separa unidades más
pequeñas dentro del discurso.
Su importancia radica en que debemos procurar que lo que escribamos en Matemáticas no esté sujeto
a interpretaciones distintas, es decir, que carezca de ambigüedad.
Tome en cuenta que un cambio en la puntuación puede modificar completamente el sentido de la frase.
Nota:
En el álgebra elemental, el uso de paréntesis en proposiciones tiene análoga utilidad y similares con-
venciones que el uso de paréntesis en expresiones algebraicas. También en el álgebra elemental puede
cambiar el significado de la expresión según los “separadores” que se emplea.
Veamos algunos situaciones:
1. Considere la conocida y mal hecha pregunta ¿Cuál es la mitad
de dosmás dos?. Como se sabe,
1 1
la respuesta depende de si usted entiende la pregunta como · 2 + 2, ó 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 situación convencional, se suele decir que “la suma prevalece sobre la multiplica-
ción”, ó bien que “el producto se hace antes que la suma”.
Estas expresiones en español no son excelentes, pero no traen problema si se las usa correctamente.
En cualquier caso, usted puede escribir 2 + 3 × 5 y todos entenderán 17 (y no 25).
3. Ahora bien, si usted quiere escribir el número a (bc) puede escribir abc, pero puede escribir también
abc para expresar (ab) c.
Esto se debe a la ley de la asociatividad en los números, que dice que si tiene a (bc) = (ab) c y entonces,
la expresión abc puede significar cualquiera de las dos.
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 últimas columnas. La equivalencia lógica
de P ⇔ Q y (P ∧ Q) ∨ (∼ P ∧ ∼ Q) la expresamos de la siguiente manera
(P ⇔ Q) ≡ (P ∧ Q) ∨ (∼ P ∧ ∼ Q)
(P ⇒ Q) ≡ (∼ Q) ≡ (∼ P )
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 lógicas importantes son las conocidas como Leyes de Morgan:
1. ∼ (P ∧ Q) ≡ (∼ P ) ∨ (∼ Q)
2. ∼ (P ∨ Q) ≡ (∼ P ) ∧ (∼ Q)
Definición:
Una fórmula que siempre es verdadera, no importa los valores de verdad de las proposiciones que la
componen, se llama tautologı́a. Una fórmula que es siempre falsa se denomina contradicción. Final-
mente, una proposición que no es ni una tautologı́a ni una contradicción se denomina contingencia.
Definición:
Diremos que las proposiciones p y q son lógicamente equivalentes si p ⇔ q es una tautologı́a. La notación
p ≡ q denota que p y q son lógicamente equivalentes
Nota:
El sı́mbolo ≡ no es un conectivo lógico, puesto que p ≡ q no es una fórmula, sino la afirmación de que
p ⇔ q es una tautologı́a.
Observación:
Una tabla de verdad para una fórmula dependiente de tres proposiciones diferentes requiere ocho filas,
una para cada posible combinación de los valores de verdad de las tres proposiciones. En general, se
requieren 2n filas si una fó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)
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
(P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R)
(P ∨ Q) ∨ R ⇔ P ∨ (Q ∨ R)
Esto permitirá escribir sin ambigüedad: P ∧ Q ∧ R y P ∨ Q ∨ R. Algo análogo ocurre con la disyunción
excluyente.
(P ∧ Q) ∨ R ⇔ P ∧ (Q ∨ R)
(P ∨ Q) ∧ R ⇔ P ∨ (Q ∧ R)
Esto último, se puede comprobar, haciendo la tabla de verdad respectiva; esto obliga a escribir con
los respectivos paréntesis: ya sea exactamente (P ∧ Q) ∨ R si es que piensa en esa expresión, o bien
precisamente P ∧ (Q ∨ r) si eso es lo que quiere escribir.
(P ⇒ Q) ⇒ R P ⇒ (Q ⇒ R)
P ⇔ (Q ⇔ R) P ⇔ (Q ⇔ R)
4. De acuerdo a propiedades que se verá más adelante y para simplificar la escritura, se conviene que
la implicación y la equivalencia prevalecen sobre la conjunción y la disyunción.
En resumen:
P ∧ Q ∧ R, P ∨ Q ∨ R, P Y Q Y R
P ∧ Q ⇒ R, P ∨Q⇒R
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 –según dónde se ponga la separación (la coma, el paréntesis)– y por tanto no podemos
aceptarla.
Bien entendido, los siguientes cuadros contienen toda la información relevante de esta secció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).
Observación
Es importante considerar algunas cuestiones acerca de las leyes de distributividad:
(P ∨ Q) ∧ R ⇔ R ∧ (P ∨ Q) ⇔ (R ∧ P ) ∨ (R ∧ Q) ⇔ (P ∧ R) ∨ (Q ∧ R) ;
2. Ahora bien, si se tiene una expresió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 según se indicó antes, se trabaja de manera análoga al cálculo elemental
(a + b) (c + d) = ac + ad + bc + bd
(que se basa en las propiedades análogas para números); con la diferencia de que, en este caso, tanto
“∧” como “∨” pueden jugar el papel de la multiplicación, a condición de que el otro sea la suma.
(P ∧ Q) ∨ (R ∨ S) ⇔ [(P ∧ Q) ∨ R] ∨ S
⇔ [(P ∨ R) ∧ (Q ∨ R)] ∨ S
⇔ (P ∨ R ∨ S) ∧ (Q ∨ R ∨ S)
1. ∼ (P ∧ Q) ⇔∼ P ∨ ∼ Q
2. ∼ (P ∨ Q) ⇔∼ P ∧ ∼ Q
Observación
La siguiente e importante propiedad nos permite además presentar, en su demostración, cómo funciona
el método de derivación.
1. (P ⇒ Q) ⇔ P ∨ Q
2. P ⇒ Q ⇔ P ∧ Q
3. (P ⇒ Q) ⇔ Q ⇒ P (contra-reciprocidad, contraposición).
Se tiene:
2. Se tiene sucesivamente
3. Se tiene sucesivamente
Ejercicios propuestos 1.
1. (P ⇔ Q) ⇔ [(P ⇒ Q) ∧ (Q ⇒ P )]
2. (P ⇔ Q) ⇔ (Q ⇔ P )
3. (P ⇔ Q) ⇔ P ⇔ Q
4. P ⇔ Q ⇔ (P Y Q)
Si tiene alguna duda, haga las tablas de verdad correspondientes, salvo para el número 1, que es la
definición de equivalencia.
Observación
Note que se declara, también aquı́, conmutatividad; si P, Q, R son proposiciones, entonces:
1. P ∨ (P ∧ Q) ⇔ P (absorción).
2. P ∧ (P ∨ Q) ⇔ P (absorción).
Las reglas de absorción son muy importantes en la práctica. Si usted intenta simplificar una expresión
cualquiera y no lo logra, probablemente harı́a bien en intentar usar una de ellas. (Intente desarrollar,
por ejemplo, P ∨ (P ∧ Q) según la ley de la distributividad y vea lo que ocurre desde el cuarto paso).
Si P, Q, R son proposiciones, entonces:
1. (P ∧ Q ⇒ R) ⇔ [P ⇒ (Q ⇒ R)] (exportació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)]
(P ∧ Q ⇒ R) ⇔ P ∧ Q ∨ R
⇔ P ∨Q ∨R
⇔ P ∨ Q∨R
⇔ P ∨ (Q ⇒ R)
⇔ [P ⇒ (Q ⇒ R)]
Es te método establece que si una implicación es cierta y además también lo es su antecedente, entonces
su consecuente es necesariamente verdadero; Simbólicamente se expresa ası́:
[(p → q) ∧ p] → q
Ejemplo 1.
Entonces:
premisa1 : p → q
premisa2 : p
Conclusión : q
Ejemplo 2.
premisa1 : Si x + y = z, entonces y + x = z
premisa2 : x + y = z
Conclusión y + x = z
Entonces:
premisa1 : p → q
premisa2 : p
Conclusión : q
Esta regla de inferencia dice que si una implicación es verdadera y su consecuente es falso, entonces su
antecedente será necesariamente falso; Simbólicamente se expresa ası́:
[(p → q)∧ ∼ q] →∼ p
Ejemplo 3.
premisa1 : Si un ángulo de un triangulo es mayor de 90o , entonces la suma de los otros dos ángulos es
menor de 90o
premisa2 : La suma de los otros dos ángulos no es menor de 90o
Conclusión Un ángulo de un triángulo no es mayor de 90o
Entonces:
premisa1 : p → q
premisa2 : ∼ q
Conclusión : ∼ p
Ejemplo 4.
premisa1 : p ∨ q → r
premisa2 : ∼ r
Conclusión ∼ (p ∨ q) ↔∼ p∧ ∼ q D’ Morgan
Ejemplo 5.
Esta ley se enuncia ası́: Si una disyunción es verdadera y una de sus proposiciones simples es falsa,
entonces necesariamente la otra proposición será verdadera. Simbólicamente se expresa ası́:
[(p ∨ q)∧ ∼ p] → q o [(p ∨ q)∧ ∼ q] → p
Ejemplo 6.
premisa1 : O la energı́a interna de un átomo puede cambiar con continuidad o cambia sólo a saltos
premisa2 : La energı́a interna de un átomo no puede cambiar con continuidad
Conclusión : La energı́a interna de un átomo cambia sólo a saltos
Simbólicamente:
p : La energı́a interna de un átomo puede cambiar con continuidad
q : La energı́a interna de un átomo sólo cambia a saltos
premisa1 : p ∨ q
premisa2 : ∼ p
Conclusión : Q
Ejemplo 7.
Demostrar que la conclusió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 negación
[(p → q) ∧ (q → r)] → (p → r)
Ejemplo 8.
premisa1 : Si el agua se hiela, entonces sus moléculas forman cristales
premisa2 : Si las moléculas forman cristales, entonces el agua aumenta de volumen
Conclusión : Si el agua se hiela, entonces el agua aumenta de volumen
Simbólicamente:
p : El agua se hiela
q : Sus moléculas forman cristales
r : El agua aumenta de volumen
premisa1 : p → q
premisa2 : q → r
Conclusión : p → r
Ejemplo 9.
A partir de las premisas dadas indicar la demostración de la conclusió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
(P ∨ Q) ∧ P ⇒ Q ⇔ (P ∨ Q) ∧ P ∨ Q
h i
⇔ P ∨Q∨P ∨Q
⇔ P ∨Q∨P ∨Q
⇔ P ∨ Q ∨ (P ∨ Q)
⇔ V
De todas maneras, tal tentación no es grave y sólo se traducirı́a en que la demostración, correcta,
resultara un poco más larga y má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 reflexió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 ⇔ q ∧ r)
2. (p ⇔ q) ⇒ (p ∨ r ⇔ q ∨ r)
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)
9. (p Y q) ⇒ p ∨ q
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 más importantes de la operación “Y”, en particular,
las propiedades 2 y 3 permiten manejarla con mayor facilidad.
En cualquier caso esta operación aparece menos que los otros conectivos en la practica matemática
corriente.
Ejercicios propuestos 2.
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)]
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 álgebra de proposiciones las
siguientes equivalencias:
1.4. Cuantificadores
Vamos a usar los sı́mbolos “∀” y “∃”. Su uso se detalla má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 serán estudiados en el siguiente capı́tulo, pero lo ú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.
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.
Existen tres formas de convertir una función proposicional P x en una proposición, a saber:
Una proposición de la forma (∀x) (P x) es verdadera cuando todas las sustituciones de la variable x por
términos especı́ficos del conjunto de referencia, convierten a P x en enunciado verdadero.
Las proposiciones universales pueden aparecer regadas, como en el enunciado: “No todos son mecáni-
cos”. En este caso la simbolización será: ∼ (∀x) (M x) donde M x es la función proposicional de “x es
mecánico” que toma valores dentro del conjunto de referencia formado por los hombres.
Las palabras “ningún”, “ninguno”, “nada”, “nadie”, corresponden también a enunciados universales
con negaciones, pero de una manera distinta a las proposiciones anteriores. La preposición “ninguno es
mecánico” no equivale a la proposición “no todos son mecánicos” sino a la expresión “para todo x, x
no es mecá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 expresión “x es un fantasma”.
Aná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 expresión “x es mortal”.
Observación
Ası́ como aclaramos en su momento en el cálculo proposicional, el cálculo cuantificacional presenta
también una estructura propia, que adiciona a las reglas ya establecidas para el cálculo se proposicio-
nes,permite la consolidación del complejo pero maravilloso universo de la lógica formal.
Conservando la orientación que nos hemos propuesto, consideramos importante el conocimiento com-
pleto de la estructura básica, y en este sentido presentamos los elementos fundamentales a continuación:
Signos primitivos del cálculo cuantificacional: ∀ (cuantificador universal).
Regla formativa: Si P designa una fórmula; en la cual no figura la expresión (∀x) , entonces (∀x) (P )
designa una fórmula.
Signo definido: Si P designa una fórmula, en la cual no figura (∀x) , entonces (∃x) (P ) designa la
fórmula ∼ (∀x) (∼ P ) .
1. Diremos que una fórmula P no está cuantificada bajo el término x, si en P no figura (∀x) o (∃x) .
2. En adelante, cuando una expresión figure cuantificada, se sobre entiende que se satisfacen las
condiciones requeridas.
Comenzaremos por aquellas funciones proposicionales que tienen sólo una indeterminación.
Funciones proposicionales en una letra Una función proposicional en la letra x es una expresió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 proposición p (a) .
Observació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.
La expresió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 más informales son recomendadas, ocasionalmente y para entender mejor la proposición.
Encontrará algunos ejemplos en la sección de ejercicios).
Se tiene:
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.
La expresió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 más informales son recomendadas, ocasionalmente y para entender mejor la proposición.
Encontrará 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:
En el lenguaje habitual corresponde a esta forma de expresiones tales como Algunos perros muerden,
Alguien se comió mi avena.
Podemos darnos ejemplos de variada ı́ndole para confirmar la impresió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, sólo convenciones, acuerdos explı́citos; (una
de nuestras reglas será una consecuencia de las otras).
Por otra parte, si se nos presenta algún ejemplo en el que una de estas reglas resulte poco razonable,
entonces probablemente harı́amos bien en abandonarla.
Ası́, aún cuando no daremos justificació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 continuación de cada reglas que presentaremos haremos un comentario de longitud variable. Para
una referencia más expedita, hemos reunido las reglas en un cuadro al final de este capı́tulo.
Observación
No somos capaces de enfatizar en modo suficiente cuán importante son las reglas 2 y 3 y la regla 8 (que
es, en realidad, un teorema). Las otras, por el contrario, no serán usadas con frecuencia por ahora y
puede leerlas con detención, comprenderlas y volver posteriormente sobre ellas.
En toda esta secció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 añadido que el conjunto U tenga al menos un elemento (en caso contrario y segú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 sólo para este capı́tulo sino para cualquier trabajo en
Matemáticas. Es una verdadera calamidad que haya al respecto un malentendido generalizado del
alumnado con consecuencias diarias y catastróficas.
La regla indica claramente que para la expresión (∀x) p (x) sea verdadera, no debe haber excepción
alguna, pues tal excepción la invalidarı́a, al hacer verdadera su negación.
La regla puede expresarse diciendo que la falsedad de la expresió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 afirmación No es cierto que todos los osos son blancos es verdadera,
bastarı́a con exhibir un oso que no sea blanco.
La afirmación Todo número real tiene un inverso multiplicativo tiene una (única) excepción, y es por
lo tanto, irredimible y decididamente falsa.
[∗](Vea este ejemplo, más sutil, más adelante). Suponga que un hombre de 60 años decide escribir sus
memorias,. No tiene experiencia ni aprende, de modo que demora un año en escribir un año de su
vida; (las memorias cada vez más aburridas). Suponga que ese hombre no muere, ¿escribirá todas sus
memorias? (Si se quiere probar que no, hay que encontrar alguna, en algún año, que no logra relatar.
−−Aquı́ nos interesa sólo la lógica del problema y no las eventuales dificultades prácticas−−).
Observación
Traducida al español, la expresión (∀x) p (x) puede leerse “no siempre se tiene p(x)”, tal afirmación es
distinta de (∀x) p (x), que puede leerse “nunca se tiene p(x)”.
Aú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 expresión del tipo (∀x) p (x).
Por otra parte, la expresió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 Ningún osos es blanco (falsa).
Lo que estos últimos ejemplos muestran es que no só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 cómo se prueba que alguna propiedad no es cierta, nunca, jamás.
Ella pone de manifiesto lo difı́cil que puede resultar la demostració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 años.
En genera, uno podrı́a pensar que una proposición del tipo (∃x) p (x) no es fácil de probar; tal demos-
tración deberı́a convencer que ningún objeto que a alguien se le pudiere ocurrir cumplirá p (x) (y aú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 atención−−
. Aquı́ estamos só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 ∨.
Regla 6
R6 : (∀x) p (x) ∨ (∀x) q (x) ⇒ (∀x) [p (x) ∨ q (x)]
Por oposición a las dos anteriores, esta regla no es una equivalencia, sino sólo una implicació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 implicación también sea
falsa).
Para tal efecto compruebe que en Z : la afirmación Todo número es par o impar es verdadera, pero Todo
número es par o bien todo nú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 situación es análoga a la de la anterior, si bien aquı́ la implicación esta
“en la otra dirección”.
Podemos construir un caso en que esta última afirmación resulta falsa con las mismas proposiciones y
conjunto que usamos para la regla anterior.
Las proposiciones, Existe un número par y Existe un número impar, son ambas verdaderas, pero
Existe un nú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
es una afirmación verdadera, pues para cualquier x que se tome (real) puedo encontrar un y que satisface
la ecuación. Sin embargo, dicha afirmació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 afirmación es falsa.
La conclusión del ejemplo anterior: El orden de los cuantificadores sı́ importa y es un error muy comú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 expresión con dos variables libres.
Nótese que si hubiera más variables habrı́a muchos más casos. Cuántos casos hay si se tienen 3 variables?.
Observación:
Es interesante mirar la cuestión de proposiciones y funciones proposicionales en conjunto. Lo hacemos
a través de un ejemplo simple y un tanto repetido, pero tomará sólo un par de minutos:
Si fijamos, por ejemplo R como conjunto (ú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.
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”.
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 situación anterior:
1. p (x, y) : x ≤ y es una función proposicional en dos letras que pueden tomar valores en R.
2. q (x, y, z) : x + y = z es una funció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 será, por ejemplo, un triángulo).
3. Informalmente, r (x, y) : x pasa por y es una funció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).
Ejercicios propuestos 3.
Asumimos un conjunto de referencia U para la letra x y un conjunto V para la letra y, (lo que también
puede expresarse diciendo que el par (x, y) toma valores en el conjunto U × V ).
Convenimos que
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 expresió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, según comprobará en el resumen
final).
Ejercicios propuestos 4.
a) Todo es perecedero.
b) Hay marcianos.
c) Alguien no es perfecto.
d ) No hay cosas só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 cálculo de proposiciones y la última
regla anotada para el cálculo de cuantificadores, cuáles de las siguientes expresiones son fó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 numeración
Objetivos: Al finalizar este capı́tulo el lector deberá comprender la necesidad de los diferentes
códigos usados en lo sistemas digitales, y será capaz de expresar cualquier cantidad en los diferentes
códigos (binario, decimal, hexadecimal, BCD, BCD8421 y Gray). Además efectuará aritméticas en el
sistema binario y en el BCD8421 y podrá pasar de un código a otro con facilidad.
N =ai bi
Si queremos contar debemos recordar que el sistema decimal llega hasta el 9, colocamos un 1 delante y
continuamos hasta llegar al 19, y ası́ sucesivamente. En binario lo mismo; comenzamos 0, 1; agregamos
un 1 delante...10, 11; agregamos otro 1 delante...100 101 110 111 y ası́ sucesivamente.
Una manera de contar es pensar en decimal y eliminar todos los nú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, ...
0, 1, 2, 3, 4, 5, 6, ..., 10, 11, 12, 13, 14, ..., 20, 21, 22, ...
La tabla 1,2 muestra un resumen de los cuatro sistemas de numeración que utilizaremos, y en próxima
sección se explicará como pasar de uno a otro.
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 ecuació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 será a1
y ası́ consecutivamente.
En el caso de Nf se hará lo mismo pero multiplicando por b en cada caso.
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 nú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 técnica de multiplicar
sucesivamente por dos.
Observe que el resultado no es exacto porque detuvimos el proceso en a−6 ; si calculamos más fracciones
binarias nos acercamos al resultado.
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 ú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 posició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 número octal. Esta operación se
continúa hasta obtener una fracción nula o hasta la precisión deseada, si lo anterior no se consigue.
Sea (0,46875)10 a octal
Por supuesto, el ejemplo anterior es una muestra del primer caso, o sea la fracción octal es exacta.
Sea (0,136)10 a octal
La cual, salvo por un error menor de una diezmilésima coincide con el número original.
Si tenemos un número de parte entera y parte fraccionaria hacemos la conversión por separado y luego
combinamos ambos resultados.
Parte fraccionaria
Octal Binario
0 ⇔ 000
1 ⇔ 001
2 ⇔ 010
3 ⇔ 011
4 ⇔ 100
5 ⇔ 101
6 ⇔ 110
7 ⇔ 111
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 má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 después utilizar este método, con lo cual se ahorra en las divisiones.
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
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
Factores Producto
A B P
0 0 0
0 1 0
1 0 0
1 1 1
3. Conjuntos
3.1. Definiciones Básicas
Construiremos nuestra teorı́a estableciendo 3 conceptos indefinibles. Ellos son “conjunto” , “elemento” y
“pertenece a”. Aunque son conceptos indefinidos, daremos una definición de ellos, basada en el lenguaje
común. Se notará que en cierto sentido estas no son buenas definiciones, pues usan palabras que a su
vez no hemos definido.
Conjunto: Cualquier colección de objetos (no necesariamente matemáticos).
Elemento o miembro: Un objeto de un conjunto es llamado elemento o miembro del conjunto.
Observación:
Dado un conjunto A y un objeto cualquiera suponemos que justamente una de las dos proposiciones
siguientes se verifica “a ∈ A” ó “a ∈
/ A”.
¿Cómo representamos conjuntos?
La manera má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 últimas definiciones lo único que cambia es la variable, pero los conjuntos
descritos son los mismos. Es decir el nombre de las variables es irrelevante.
3.2.2. Intersección
La intersecció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 común, es decir, si A ∩ B = ∅, entonces diremos que A y B son
conjuntos disjuntos.
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 tambié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} .
A 4 B = (A − B) ∪ (B − A) .
1. A ∪ A = A
2. A ∩ A = A
Demostración (1.):
En efecto, sea x un elemento arbitrario del universal U, entonces,
[x ∈ (A ∪ A)] ⇔ [x ∈ A ∨ x ∈ A]
⇔ x∈A
∀x [x ∈ (A ∪ A) ⇔ x ∈ A] ,
de aquı́ que
A ∪ A = A.
1. A ∪ B = B ∪ A
2. A ∩ B = B ∩ A
Demostración (1.):
En efecto, sea x cualquier elemento de U, entonces,
[x ∈ (A ∪ B)] ⇔ x ∈ A ∨ x ∈ B
⇔ x∈B∨x∈A
⇔ x ∈ (B ∪ A)
∀x [x ∈ A ∪ B ⇔ x ∈ B ∪ A] ,
por lo tanto,
A ∪ B = B ∪ A.
1. A ∪ (B ∪ C) = (A ∪ B) ∪ C
2. A ∩ (B ∩ C) = (A ∩ B) ∩ C
Demostración (1.):
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.
1. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
2. A ∩ (B ∩ C) = (A ∩ B) ∪ (A ∩ C)
Demostración (1.):
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) .
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) .
1. A ∪ ∅ = A
2. A ∪ U = U
3. A ∩ ∅ = ∅
4. A ∩ U = A
[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) .
1. A ∪ Ac = U
2. U c = ∅
3. A ∩ Ac = ∅
4. ∅c = 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} = ∅
1. (A ∪ B)c = Ac ∩ B c
2. (A ∩ B)c = Ac ∪ B c
Demostración:
[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 )
∀x [x ∈ (A ∪ B)c ⇔ x ∈ (Ac ∩ B c )] ,
luego,
(A ∪ B)c = Ac ∩ B c .
Proposició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
Solución:
(x ∈ A) ⇒ x ∈ A ∨ x ∈ B
⇔ x∈A∪B
luego,
∀x [x ∈ A ⇒ x ∈ (A ∪ B)] ,
de aquı́ que
a ⊆ (A ∪ B) .
[x ∈ A ∩ B] ⇔ x ∈ A ∧ x ∈ B
⇒ x∈A
luego,
∀x [x ∈ (A ∩ B) ⇒ x ∈ A] ,
de donde se sigue que
A ∩ B ⊆ A.
[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) .
A ∩ B ⊆ A.
(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
Solución:
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 inclusió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
n (A ∪ B) = n (A) + n (B) .
Demostración:
Al contar los elementos de A ∪ B, primero contamos los que están en A. Hay n (A) de éstos. Los únicos
otros elementos de A ∪ B son los que están en B, pero no en A. Pero como A y B son disyuntos, ningún
elemento de B está en A, de modo que hay n (B) elementos que están en B, pero no en A. Por lo
tanto, n (A ∪ B) = n (A) + n (B), también tenemos una fó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 fórmula semejante para cualquier número finito, k,
de conjuntos finitos. Ası́, para k = 3, tenemos que
Si A, B y C son conjuntos finitos, entonces también lo es A ∪ B ∪ C, y
Por ejemplo:
Supongamos que 100 de los 120 estudiantes de matemáticas de una facultad toman por lo menos un
idioma entre, francés, alemán y ruso. Suponga también que:
65 estudian francés
45 estudian alemán
42 estudian ruso
20 estudian francés y alemán
25 estudian francés y ruso
15 estudian alemán y ruso
Sean F, A y R los conjuntos de estudiantes que estudian francés, alemán y ruso, respectivamente.
Queremos encontrar el número de estudiantes que estudian todos los tres idiomas, y encontrar el
nú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 francés y alemán pero no ruso
25 − 8 = 17 estudian francés y ruso pero no alemán
15 − 8 = 7 estudian alemán y ruso pero no francés
65 − 12 − 8 − 17 = 28 estudian solamente francés
45 − 12 − 8 − 7 = 18 estudian solamente alemán
42 − 17 − 8 − 7 = 10 estudian solamente ruso
120 − 100 = 20 no estudian ninguno de los idiomas.
Ası́ el diagrama completo está en la figura siguiente (b). Observe que
28 + 18 + 10 = 56
(a) (b)
Ejercicios propuestos 5.
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)
ñ) 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 contaminación del medio ambiente, asisten 100 especialistas,
de los cuales 50 hablan inglés, 60 portugués y 50 español; de ellos 30 hablan portugués e inglés;
20 inglé s y español; 20 portugués y español. ¿Cuántos asistentes hablan los tres idiomas?.
5. Una ensambladora de autos recibió una orden de fabricación de 38 automóviles tipo sedán, con las
siguientes caracterı́sticas: 18 con aire acondicionado; 23 con vidrios eléctricos y 29 con cojinerı́a
de lujo. De estos, 3 deben tener solamente vidrios eléctricos, 8 deben tener solamente cojinerı́a
de lujo, 9 de los vehı́culos deben tener solamente vidrios eléctricos y cojinerı́a de lujo, 5 de los
vehı́culos deben tener los tres aditamentos. Determinar:
6. En un inventario minero realizado en algunas regiones del paı́s acerca de la producción futura de
recursos no renovables, se encontró que: 8 poseen petróleo, 15 poseen carbón y 13 poseen oro;
6 poseen solamente carbón y oro; 4 solo poseen oro, 3 poseen los tres recursos; ninguna de las
regiones posee petróleo y carbón solamente. Determinar:
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:
Determinar:
Determinar:
(x + y) + z = x + (y + z)
(xy) z = x (yz) ∀x, y, z ∈ β
x+y = y+x
xy = yx ∀x, y, z ∈ β
∃0 ∈ β : x + 0 = x ∀x ∈ β
∃1 ∈ β : x · 1 = x ∀x ∈ β
4. Para cada elemento x ∈ β existe un único elemento x ∈ β, llamado complementario de x, tal que
x+x = 1
xx = 0
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
álgebra de Boole. También reciben el nombre de axiomas del álgebra de Boole. El resto de propiedades
se deduce a partir de éstas.
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 ).
Todo conjunto P (U ) con las operaciones unión de conjuntos, ∪, e intersección de conjuntos, ∩, tiene
estructura de álgebra de Boole.
2. Una proposición lógica es un enunciado declarativo que puede ser verdadero o falso, pero no
ambas cosas a la vez. El conjunto de las proposiciones lógicas con las operaciones disyunción (o,
∨) y conjunción (y, ∧) tiene estructura de álgebra de Boole.
β = {0, 1}
Los sı́mbolos 0 y 1.
El principio de dualidad es consecuencia de la propia estructura de álgebra de Boole, ya que cada para
de propiedades en su definición está formada por una y por su dual.
1. Involución: 0
x0 = x, ∀x ∈ β.
2. Idempotencia:
x + x = x, xx = x, ∀x ∈ β.
3.
x0 = 0, x + 1 = 1, ∀x ∈ β.
4. Absorción:
x + xy = x
∀x, y ∈ β.
x (x + y) = x
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
Ejemplo 11.
0 0 0 0
E = x + y 0 + z + xyz 0 + x0 + y y F = xy 0 z 0 + y + x0 z
(ya que yy = y, por la ley de idempotencia). En otras palabras, todo producto de Boole se puede reducir
a 0 o a un producto fundamental.
Observación:
Un producto fundamental, P1 , se dice que está incluido o contenido en otro producto fundamental,
P2 , si los literales de P1 son también literales de P2 . Por ejemplo, x0 z está incluido en x0 yz, ya que x0 y
z son literales de x0 yz. Sin embargo, x0 z no está contenido en xy 0 z, ya que x0 no es un literal de xy 0 z.
En caso de que P1 esté incluido en P2 , entonces por la ley de absorción
P1 + P2 = P1
Por ejemplo, x0 z + x0 yz = x0 z.
Observación:
Una expresión de Boole E se dice que está en forma de suma de productos o en forma minterm
si E es un producto fundamental, o es la suma de dos o más productos fundamentales, ninguno de los
cuales está 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 expresión, E1 , es una suma de productos, no está en la forma de suma de productos,
ya que xz 0 está contenida en xyz 0 . Sin embargo, por la ley de absorció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 está en forma de suma de productos. La segunda expresión E2 , ya está en forma de suma de
productos.
Observación:
Toda expresión de Boole no nula E se puede poner en forma de suma de productos con el siguiente
procedimiento (Algoritmo).
Por ejemplo: 0
Consideremos la expresión Booleana E = (ab)0 c [(a0 + c) (b0 + c0 )]0 . Aplicando el anterior algoritmo,
Observación:
Una expresión de Boole (no nula) E (x2 , x2 , . . . , xn ) se dice que está en forma completa de suma de
productos si E está en forma de suma de productos, y en cada producto se usan todas las variables
(obsérvese que máximo hay 2n de tales productos). Cualquier expresió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 ; éste se puede hacer ya que
xi + x0i = 1. Continuamos hasta que todos los productos usen todas las variables. Otra consideración
demuestra que la forma completa de suma de productos es única. En resumen:
Toda expresión Booleana no nula E (x1 , x2 , . . . , xn ) se puede poner en forma completa de sumas de
productos, y tal representación es única.
Ejemplos:
Propiedades
1. Toda función Booleana f : β n ⇒ β puede ser expresada como suma de minterm (suma de
productos). Esta expresión es la que se conoce como forma canónica disyuntiva de la función f .
δ1 δ2 δn δi xi
f (x1 , x2 . . . , xn ) = x1 x2 . . . xn xi =
xi
2. Toda función Booleana f : β n ⇒ β puede ser expresada como producto de maxterm (producto
de sumas). Esta expresión es la que se conoce como forma canónica conjuntiva de la función f.
δ1 δ2 δn
δi xi
f (x1 , x2 , . . . , xn ) = x1 + x2 + · · · + xn xi =
xi
Propiedades
2. Dos funciones Booleanas son equivalentes (son la misma función) si y sólo si tienen las mismas
formas canónicas.
Por su lado, la forma canónica conjuntiva de una función f : β n ⇒ β se obtiene a partir de cada uno
de los valores 0 que toma la función. La única posibilidad para que una suma de todas las variables (o
sus complementarios) tome valor 0 es con todos sus términos tomando valor 0. El número de maxterms
en la forma conjuntiva es igual al número de ceros (0) en la tabla de valores de f .
Para una función f : β n ⇒ β la suma del número de minterm en la forma canónica disyuntiva y el
número de maxterms en la forma canónica conjuntiva es igual a 2n , que es el cardinal de β n .
Obtención de las formas canónicas disyuntiva y conjuntiva de la funció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 canónica disyuntiva:
f (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3
Una vez obtenida la suma de productos, cada variable xj que no figure en un producto se puede añadir
al mismo multiplicando por 1 en la forma
1 = xj + xj .
A continuación se vuelve a aplicar la propiedad distributiva.
Para la forma canónica conjuntiva se requiere transformar la expresió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 añadir a
la misma sumando 0 en la forma
0 = xj xj .
A continuación se vuelve a aplicar la propiedad distributiva.
Observación:
En ambos procedimientos, despué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 canónica disyuntiva y conjuntiva de la funció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 fó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 añadido x. Después de aplicar la propiedad distributiva
se ha comprobado que el primer y el ú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
añadir las variables en el orden que figuran en la función, x y z. De esta manera la simplificación de
maxterms es más sencilla, tal y como ha sucedido con el primer y el tercer maxterm que estaban
repetidos.
Obtención de las formas canónicas disyuntiva y conjuntiva de la función f : β n ⇒ β definida por
f (x, y, z, w) = (x + y) (z + w) (x + z) .
Después de aplicar la propiedad distributiva del producto respecto a la suma ha resultado una suma
de ocho productos. De entre éstos, el primero, el segundo, el tercero y el sexto son nulos, pues en ellos
aparece una expresión del tipo xx ó 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 función , x y z w.
Los minterms segundo y séptimo, cuarto y quinto ası́ como sexto y octavo están repetidos. Por la
independencia, eliminamos uno de cada pareja y obtenemos la forma canónica disyuntiva de f con 5
minterms:
f (x, y, z, w) = xyzw + xyzw + xyzw + xyzw + xyzw
f (x, y, z, w) = (x + y + z + w) (x + y + z + w) (x + y + z + w) (x + y + z + w)
= (x + y + z + w) (x + y + z + w) (x + y + z + w)
= (x + y + z + w) (x + y + z + w) (x + y + z + w) (x + y + z + w)
Ejercicios propuestos:
El objetivo de esta sección es la obtención de expresiones simplificadas para las funciones Booleanas,
tanto si su expresión inicial es una de las formas canónicas como si no lo es.
Métodos comunes
1. El método algebraico .
x+x=1 xx = 0
x+x=x xx = x
x + xy = x x (x + y) = x
xy + xz = x (y + z) (x + y) (x + z) = x + yz
Simplificació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) .
Simplificació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.
Simplificación:
f (x, y, z, w) = w + wx + yz
= w (1 + x) + yz
= w + yz
= wyz
= w (y + z)
Mapas K (dos variables) Una expresió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 función para cada combinació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 continuació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 sólo aparecen unos (1) en el primer renglón, entonces la
funció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 expresión se anula la variable x porque x + x0 = 1. Además, ambos unos (1)
se encuentran en el primer renglón, es decir, se encuentran en el renglón denominado y 0 , por tanto la
expresión simplificada es:
f (x, y) = y 0
f (x, y) = y + x
Observe que las adyacencias pueden sobreponerse, y que los valores en una fila o una columna pueden
ser usados más de una vez. Ademá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
continuació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 numeración binaria se cambia de la
segunda columna a la tercera, es decir, se pasa de 01 a 11, no a 10. La única razó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:
Región de x : columnas 3a y 4a
Región de x0 : columnas 1a y 2a
Región de y : columnas 2a y 3a
Región de y 0 : columnas 1a y 4a
Región de z : fila 2a
Región de z 0 : fila 1a .
En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1) . También se consideran las
adyacencias entre la primera y cuarta columna, tal como si el mapa K fuera dibujado sobre un cilindro.
Además, las adyacencias pueden estar en una sola fila o formando un cuadrado. Los ejemplos siguientes
ilustran lo anterior.
Encontrar la expresión Booleana simplificada cuyo mapa K es:
Solución:
Al existir una adyacencia de cuatro unos (1), la función Booleana de tres variables se reduce a una sola.
Observe que la adyacencia está en la primera y cuarta columna, es decir, en la región de y 0 , por tanto,
la función Booleana simplificada será:
f (x, y, z) = y 0 .
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.
La adyacencia está en la segunda y tercera columna, es decir, en la región de y, por lo que la función
Booleana simplificada será:
f (x, y, z) = y.
Para demostrar lo anterior, se escribe la función en la forma normal disyuntiva:
= 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) diseñada de la siguiente forma:
Región de x : columnas 3a y 4a
Región de x0 : columnas 1a y 2a
Región de y : columnas 2a y 3a
Región de y 0 : columnas 1a y 4a
Región de z : filas 3a y 4a
Región de z 0 : filas 1a y 2a
Región de w : filas 2a y 3a
Región de w0 : filas 1a y 4a .
Aquı́ pueden ocurrir adyacencias de dos, cuatro, ocho o dieciséis unos (1) que eliminan una, dos, tres
o cuatro variables, respectivamente. Se consideran adyacencias entre la primera y cuarta columna y
también entre la primera y cuarta fila como puede verse en los ejemplos siguientes.
Simplificar la función Booleana cuyo mapa K asociado es:
= 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 .
= 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 consideración de las adyacencias señaladas conducen directamente a las
expresiones simplificadas, observando las regiones del mapa K en las que se encuentran estas adyacen-
cias.
Método para obtener la tabla a partir de la función Cada posición de la tabla corresponde
a cierta agrupación de valores de las variables. Hemos de mirar cuáles de estas agrupaciones hacen que
el valor de la función sea igual a 1 y, en este caso, colocar un 1 en la posición correspondiente.
Esta funció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 sólo si x = y = 1 a la vez que z = 0 y
w = 1.
El valor z = 1 hace que la función tome el valor 1. Los valores de x, y y w no intervienen en el valor de
la funció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.
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. Son preferible las agrupaciones de más a la de menos 1‘s, ya que dan lugar a términos más
simplificados. Una agrupación de un solo 1 es un minterm y corresponde a un sumando sin
simplificación.
2. Si es necesario, las diferentes agrupaciones pueden solaparse, es decir, tener 1‘s en común.
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 función tiene cuatro 1‘s de manera que su forma canónica disyuntiva es
Esta función está expresada en forma canó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.
f (x, y, z, w) = xw + xy + yz + xz.
Esta función ya habı́a sido simplificada empleando propiedades generales del álgebra de Boole. Apli-
cando la propiedad distributiva, se puede obtener una expresión más reducida de la función
f (x, y, z, w) = (z + y) w.
Solució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 función Booleana puede ser expresada en forma normal disyuntiva en más de una manera, mediante
el cambio del número de variables; sin embargo, para un número dado de variables la forma normal es
única.
La forma normal disyuntiva en n variables que tiene 2n términos se llama ”forma normal disyuntiva
completa n variables 2es idé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
= x0 1 + x1
= x0 + x
= 1
Encontrar y simplificar la funció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
Solució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 contendrá tres té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
Solució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 función Booleana puede ser expresada en forma normal conjuntiva en más de una manera, mediante
el cambio del número de variables; sin embargo, para un número dado de variable la forma normal es
única. Por ejemplo, f = x + y está 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 ó f = (x + y + z) (x + y + z 0 ) está también en forma normal en las variables x, y, z. Por
otra parte, g = (x0 + y + z) (x + y + z) (x0 + y + z 0 ) está en forma normal conjuntiva en x, y, z, pero
simplificándola se obtiene g = y que está en forma normal en y.
La forma normal conjuntiva en n variables que tiene 2n té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
= 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 número de unos (1) es menor que
el número de ceros (0) en la columna f y la forma normal conjuntiva se usa si el número de ceros (0)
es menor que el número de unos (1).
Dos funciones, cada una expresada en la forma normal conjuntiva en n variables, son iguales si
tienen idénticos factores.
La forma normal conjuntiva puede usarse para hallar el complemento de funciones escritas en esta forma.
El complemento de una función escrita en forma normal conjuntiva es una función cuyos factores son
exactamente aquellos de la forma normal conjuntiva completa, los cuales no aparecen en la función
dada. Por ejemplo, el complemento de (x + y 0 ) (x0 + y 0 ) es (x0 + y) (x + y) .
Para cambiar una función de una forma normal a la otra se utiliza (f 0 )0 = f . El siguiente ejemplo
ilustra el método.
El apóstrofo significa el complemento de toda la expresión entre paréntesis. Después de negar doblemente
la función, la primera negación se trata con la ayuda de las leyes de D’Morgan; para la segunda negación
(la del corchete) se construye el complemento, es decir, se buscan los términos que allı́ faltan para
totalizar la forma normal conjuntiva completa.
Ejercicios Propuestos
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 nú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 nú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
a) (x0 yz 0 )0
b) (x0 + y 0 z)0
0
c) xy (zw)0
0
d ) x (y + z 0 )0 w
5. Para cada una de las siguientes expresiones construir el circuito ló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 Lógicas
El álgebra Booleana es el soporte teórico del álgebra de los circuitos lógicos, lo cual se ajusta a la teorı́a
del álgebra Booleana como un álgebra con dos elementos, el 0 y el 1. Esto significa que, excepto por la
terminologı́a y su significado en los circuitos, es idéntica al álgebra de proposiciones considerada como
un sistema abstracto. El álgebra de circuitos utiliza dispositivos de dos estados; el ejemplo más simple
de tales dispositivos es un interruptor o contacto (switch). Otros dispositivos de dos estados utilizan
dos en circuitos lógicos son diodos rectificadores, bobinas magnéticas, transistores. La naturaleza de
los estados varı́a con el dispositivo: conducción, contra no-conducción, cerrado contra abierto, cargada
contra descargada, magnetizada contra desmagnetizada, alto voltaje contra bajo voltaje.
Dos problemas que surgen con las aplicaciones del álgebra Booleana en los circuitos lógicos son:
El diseño de circuitos lógicos que tengan propiedades dadas. El problema de diseñar un circuito
que tenga propiedades dadas es exactamente el de encontrar la proposición o función Booleana
asociada a una tabla de verdad dada.
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes para escribir
cualquier ecuación Booleana. Toda función lógica puede expresarse con la combinación de estas tres
compuertas. Sin embargo, se utilizan otras cuatro compuertas lógicas: NAND, NOR, XOR y XNOR.
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 expresión para la compuerta XOR es:
x ⊕ y = xy 0 + x0 y.
= 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 última expresión es la función Booleana que establece la equivalencia entre x, y, por tanto:
(x ⇔ y) = (x ⊕ y)0 ,
se concluye que una equivalencia lógica puede representarse mediante una compuerta XNOR.
Escribir la función f = (xy 0 + xz)0 en forma normal disyuntiva, simplificarla y dibujar el circuito ló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
Esta propiedad originó dos formas de diseñar los circuitos lógicos, utilizando sólo compuertas NAND o
sólo compuertas NOR, las cuales han sido denominadas técnicas NAND y NOR, respectivamente;
tales técnicas han sido impuestas por las consideraciones constructivas, puesto que es más eficiente la
fabricación en serie y automatizada de circuitos integrados y chips que sólo usan una clase de compuerta.
La tabla siguiente muestra las equivalencias entre una y otra técnica.
Dada la siguiente expresión Booleana f = x0 y + x0 y 0 , implementar el circuito lógico correspondiente
utilizando:
1. Técnica NAND.
2. Técnica NOR.
Solució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 (∗)
f = xyz 0 w
f = xw
Encontrar la función Booleana simplificada en las forma normal conjuntiva y disyuntiva asociada al
siguiente mapa K.
itbpF 4,3111in2,8444in0inF igure
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
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.