Modulo de Logica

Mdulo de Lgica matemtica
Favin Arenas A. y Amaury Camargo .

ndice
1. Generalidades. 5
1.1. Objetivos generales . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Introduccin a la lgica matemtica . . . . . . . . . . . . . . . 7
1.3. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Competencias . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Estrategias pedaggicas o actividades de aprendizaje . . . . . 10
1.6. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 10
1.7. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.8. Clases de proposiciones . . . . . . . . . . . . . . . . . . . . . 12
1.8.1. Proposiciones conjuntivas, p . q . . . . . . . . . . . . . 13
1.8.2. Proposiciones disyuntivas, p . q . . . . . . . . . . . . . 15
1.8.3. Proposiciones disyuntivas exclusivas p Y q . . . . . . . . 16
1.8.4. Proposiciones condicionales, p q . . . . . . . . . . . 16
1.8.5. Proposiciones bicondicionales, p q . . . . . . . . . . 17
1.8.6. Proposiciones negativas:~ p . . . . . . . . . . . . . . . 19
1.8.7. Validacin de leyes lgicas . . . . . . . . . . . . . . . . 21
1
NDICE Lgica Matemtica
1.9. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.10. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2. Introduccin a los Conjuntos 33
2.1. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2. Competencias . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.5. Teora de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6. Clases de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 37
2.7. Determinacin de un conjunto . . . . . . . . . . . . . . . . . . 38
2.8. Algebra de conjuntos . . . . . . . . . . . . . . . . . . . . . . . 40
2.9. Propiedades de los Conjuntos . . . . . . . . . . . . . . . . . . 43
2.10. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3. Introduccin al lgebra de Boole 48
3.1. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2. Competencias . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.5. Clases de operaciones . . . . . . . . . . . . . . . . . . . . . . . 51
3.6. lgebra de Boole . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.7. Principio de dualidad . . . . . . . . . . . . . . . . . . . . . . . 55
3.8. Funciones booleanas . . . . . . . . . . . . . . . . . . . . . . . 58
3.8.1. Funciones reales y funciones booleanas . . . . . . . . . 58
Favin Arenas. 2 Camargo Bentez.
3.8.2. Funciones booleanas y tablas de verdad . . . . . . . . . 61
3.9. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4. Introduccin al mtodo de Karnaugh 65
4.1. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.2. Competencias . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.5. Mtodo de Karnaugh para la Simplicacin de circuitos . . . . 68
4.5.1. Mtodo Karnaugh de simplicacin de expresiones booleanas 87
4.6. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.7. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.9. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.9.1. Proposiciones conjuntivas, p . q . . . . . . . . . . . . . 103
4.9.2. Proposiciones disyuntivas, p . q . . . . . . . . . . . . . 104
4.9.3. Proposiciones condicionales, p q . . . . . . . . . . . 105
4.9.4. Proposiciones bicondicionales, p q . . . . . . . . . . 106
4.9.5. Negacin de Proposiciones :~ p . . . . . . . . . . . . . 106
4.10. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.11. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.13. Algebra de conjuntos . . . . . . . . . . . . . . . . . . . . . . . 110
4.14. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.15. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.17. Clases de operaciones . . . . . . . . . . . . . . . . . . . . . . . 116
4.18. lgebra de Boole . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.18.1. Funciones reales y funciones booleanas . . . . . . . . . 120
4.19. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
4.20. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
4.22. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Lgica Matemtica
1. Generalidades.
Nombre del curso:
Programa:
Area:
Semestre:
Crditos:
Prerrequisitos:
1.1 Objetivos generales Lgica Matemtica
1.1. Objetivos generales
Proporcionar una formacin slida en los fundamentos de la lgica de
proposiciones.
Desarrollar las habilidades y destrezas para la representacin formal
del conocimiento y para la transcripcin de frases del lenguaje natural
en lenguaje formal.
Introducir el manejo simblico de sistemas formales y la demostracin
de teoremas
Describir qu es una interpretacin, cmo se calcula el valor de una
frmula en una interpretacin y los tipos de frmulas en funcin de las
diferentes interpretaciones.
Fomentar al alumno para que se enfrente a la resolucin de problemas
de forma lgica, analtica y estructurada.
Comprender los mecanismos computacionales asociados a las prob-
lemticas de la demostracin automtica de teoremas y la Progra-
macin Lgica.
Mostrar el contexto de la lgica en la Informtica y captar su relacin
con ramas especcas como: Programacin, Ingeniera del Software,
Bases de Datos, Diseo de Circuitos, etc.
1.2 Introduccin a la lgica matemtica Lgica Matemtica
UNIDAD DE APRENDIZAJE I
1.2. Introduccin a la lgica matemtica
La verdad y la mentira, palabras opuestas que utilizamos a diario para tomar
decisiones, sean estas correctas o no. Debemos valorar cada cosa; pero es
razonable que no todas las expresiones se pueden valorar, o...Alguien se
atrevera a contradecir a quien pregunte por la hora?, por supuesto que no, y
aunque a usted no le guste algn color signica que por ello a nadie mas le
gustar?.Claro que no! En este caso podemos decir que es una situacin sub-
jetiva o dependiente del individuo que lo exprese. Tambin hay expresiones
que para la mayora de las personas tiene un valor nico, por ejemplo .la rosa
es una or, en algunas tendremos que ser bien explcitos para evitar malos
entendidos, por ejemplo: Jess tiene cinco letras. a quien nos referimos al
hombre llamado Jess a la palabra Jess?. Por lo tanto una proposicin es
una armacin de la cual se puede armar que es cierta o que es falsa. Para
expresarnos con claridad utilizamos conjuntos de palabras con sentido lgi-
co, sin embargo, qu es en realidad lgica? Cuando escuchamos expresiones
como:
Su respuesta fue lgica
Es ilgico pensar que no lo notar
Lgicamente...
En realidad estamos expresando lo que la mayora de las personas hara
o escogera como correcto, o dicho de otra forma, el sentido comn.
ser cierto que el sentido comn es el menos comn de los sentidos?
1.3 Objetivos Lgica Matemtica
1.3. Objetivos
El alumno estar en la capacidad conocer, utilizar y aplicar los siguientes
elementos bsicos para la solucin de un problema:
Resolver proposiciones compuestas utilizando los conectivos lgicos.
Hallar el valor de verdad de una proposicin a travs de la conjuncin,
disyuncin, condicional, bicondicional y negacin a travs de proposi-
ciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir
si es una ley.
1.4 Competencias Lgica Matemtica
1.4. Competencias
Sustenta una proposicin compuesta como una tautologa a partir de
su tabla de verdad.
Identica en un teorema el antecedente y el consecuente.
Desarrolla el proceso de sntesis a partir de la construccin de proposi-
ciones compuestas utilizando los conectivos lgicos.
1.5 Estrategias pedaggicas o actividades de aprendizaje Lgica Matemtica
1.5. Estrategias pedaggicas o actividades de apren-
dizaje
Mesa redonda.
Presentacin de trabajos.
Sesin de Chat.
Sesin Foro.
Talleres
Encuentro presencial
1.6. Recursos de aprendizaje
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
1.7 Proposiciones Lgica Matemtica
1.7. Proposiciones
La lgica es toda una disciplina en la que las reexiones y el razonamien-
to son fundamentales. Es estudiada tambin por la losofa, pero, aqu nos
referiremos por lgica a la Lgica matemtica. El elemento bsico sobre el
que se desarrolla toda esta teora se llama proposicin.
De todo lo anterior una proposicin es una armacin con sentido com-
pleto de la cual se puede armar que es cierta o que es falsa.
Ejemplo 1.
1. La sal es un compuesto qumico
2. 10 < 14
3. 13 es un nmero impar
4. El sol sale de noche
5. 45 + 5 = 30
6. De que color es la pared?
Las armaciones 1, 2, 3, 4 y 5. son proposiciones aunque no todas son
verdaderas siguen siendo proposiciones.
A esta propiedad de las proposiciones de ser verdadera o falsa se le llama
valor de verdad.
Las proposiciones se representan con letras minsculas, usualmente p, q,
r, s, t,..
1.8 Clases de proposiciones Lgica Matemtica
Existen casos donde el sujeto del que se habla en la proposicin no est
denido o no se conoce, por lo que tiene una incgnita.
A estos casos les llamamos frases proposicionales. (Suele llamarles proposi-
ciones abiertas)
1. x + 12 = 20
2. Alguien es un ingeniero famoso
3. Mi nombre es "fulano de tal"
4. Tengo x dinero en el banco
1.8. Clases de proposiciones
1. Proposiciones simples o atmicas: Son aquellas que no se pueden frag-
mentar en proposiciones menores.
a) La luna es un satlite natural
Los dgitos son nueve
4 es un nmero par
Todos los nmeros impares son primos
Los pinginos son aves
2. Proposiciones compuestas o moleculares: Las proposiciones simples se
pueden conectar, y construir proposiciones llamadas compuestas. sta
operacin puede hacer que cambie su valor de verdad.
"Las rosas son rojas y las violetas azules"es un enunciado com-
puesto por los subenunciados "las rosas son rojas
2
"las violetas
son azules".
"El es inteligente o estudia todas las noches"es, implcitamente,
un enunciado compuesto por los subenunciados "El es inteligente
2
"estudia todas las noches".
La propiedad fundamental de un enunciado compuesto es que su valor
de verdad est completamente determinado por los valores de verdad
de sus subenunciados junto con la manera como estn conectados para
formar el enunciado compuesto. Comenzamos con un estudio de algunas
de estos conectivos.
Utilizaremos las letras p; q; r(en minsculas) para denotar proposiciones.
Adems una proposicin puede tomar el valor de 1 si es verdadera,
0 si es falsa, esto tambin se espera que ocurra en las proposiciones
compuestas, por esto es necesario una tabla que de la oportunidad
de vericar todas las posibles combinaciones, la llamaremos Tablas de
verdad
1.8.1. Proposiciones conjuntivas, p . q
Dos enunciados cualesquiera se pueden combinar con la palabra
2
"para
formar un enunciado compuesto llamado la conjuncin de los enunciados
originales. Simblicamente, p .q denota la conjuncin de los enunciados p y
q, que se lee "p y q".
el valor de esta proposicin conjuntiva depender de que las dos proposi-
ciones que la conforman sean verdaderas
1. p : El dos es un nmero par (V)
2. q : Siete es un nmero primo (V)
3. r : El ocho es un nmero primo (F)
as que :
p . q : El dos es un nmero par y siete es un nmero primo (V)
En caso de que una de las dos sea falsa entonces toda la proposicin conjun-
tiva lo ser.
r . q : El ocho es un nmero primo y siete es un nmero primo (F)
La tabla de verdad del enunciado compuesto p . q est dada por la sigu-
iente tabla:
p q p . q
1 1 1
1 0 0
0 1 0
0 0 0
Para ilustrarlo: en una tubera de acueducto se han colocado 2 grifos
numerados p y q respectivamente si se abre p escribimos 1, si la cerramos
escribimos 0. la nica forma en que salga agua es p = 1 y q = 1 en cualquier
otro caso no saldr agua.
1.8.2. Proposiciones disyuntivas, p . q
Dos enunciados se combinan con la palabra .
o
"para formar un enunciado
compuesto llamado la disyuncin de los enunciados originales. Simblica-
mente, p . q denota la disyuncin de los enunciados p y q, que se lee "p o
q".
El valor de esta proposicin conjuntiva depender de que las dos proposi-
ciones que la conforman sean no sean falsas.
La tabla de verdad del enunciado compuesto p . q est dada por la sigu-
iente tabla:
p q p . q
1 1 1
1 0 1
0 1 1
0 0 0
En este caso la nica manera en que no salga agua es que ambos grifos
estn cerrados
q
p
1.8.3. Proposiciones disyuntivas exclusivas p Y q
Dos enunciados se pueden combinar con la palabra .
o
"para formar un
enunciado compuesto llamado la disyuncin de los enunciados originales.
Simblicamente, p Y q denota la disyuncin de los enunciados p y q, que
se lee "p o q".
La tabla de verdad del enunciado compuesto p Y q est dada por la sigu-
iente tabla:
p q p Y q
1 1 0
1 0 1
0 1 1
0 0 0
1.8.4. Proposiciones condicionales, p q
Cuando se unen dos proposiciones con el conectivo entonces , se forma
una proposicin que solo es falsa si las primera es verdadera y la segunda es
falsa (solo en este orden).
Ejemplo 2.
Sea p : El canguro es marsupial ( 1 )
q : America es habitat de todos los marsupiales ( 0 )
El canguro es marsupial entonces Amrica es habitat de todos los marsu-
piales.
en forma simblica
p q p q
1 0 0
En las proposiciones condicionales llamamos a la primera proposicin
que la compone antecedente y a la segunda consecuente. Cuando el an-
tecedente tiene una relacin directa con el consecuente podemos utilizar el
smbolo de la implicacin ==
La suma de dos nmeros naturales es un nmero natural esto implica que
2+3 es nmero natural
La tabla de verdad de la proposicin compuesta p q est dada por la
siguiente tabla:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Ahora el grifo p tiene un problema, se encuentra mal y cuando alguien
la abre esta se cierra, cuando alguien la cierra esta se abre, por eso la nica
forma en que no salga agua es que se abra p (en realidad se cierra) y se cierre
q
1.8.5. Proposiciones bicondicionales, p q
Cuando se unen dos proposiciones con el conectivo si y solo si , se forma
una proposicin que solo es falsa si las dos tienen valores de verdad diferentes.
q
p
Ejemplo 3.
Sea p : todo nmero impar es primo ( 0 )
q : 9 es menor que 6 ( 0 )
Todo nmero impar es primo si y solo si 9 es menor que 6, es como decir:
Todo nmero impar es primo nica y exclusivamente si 9 es menor que 6
Como ambas proposiciones son falsas se cumple la armacin compuesta
La tabla de verdad del enunciado compuesto p q est dada por la
siguiente tabla:
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
La proposicin bicondicional p q es equivalente por su tabla de verdad a
(p q) . (q p)
q
p
q
p
Compruebe la tabla de verdad para este circuito de acueducto:
p q (p q) . (q p)
1 1
1 0
0 1
0 0
1.8.6. Proposiciones negativas:~ p
Aunque no es un conectivo lgico (como .; .; Y ,==; =) genera nuevas
proposiciones con solo cambiarle el valor de verdad y se simboliza anteponien-
do ~ a la letra de la proposicin:
Ejemplos:
p : todo nmero impar es primo
~ p : no todo nmero impar es primo
q : 9 es menor que 6
~ q : 9 no es menor que 6
La tabla de verdad de la negacin de p : ~ p est dada por la siguiente tabla:
Problema 1.
p
p ~ p
1 0
0 1
Problema 2. Supngase que en este circuito de acueducto llamamos abrir
con el 1 y cerrar con el 0. Si sale agua 1 y si no sale 0. Completa la
siguiente tabla de acuerdo a la grca.
p
r
q
grifo p grifo q grifo r Sale?
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
1.8.7. Validacin de leyes lgicas
A partir de las tablas de verdad anteriores se pueden calcular la tabla de
verdad de proposiciones mas complejas.
Ejemplo 4. Hallar La tabla de verdad de la proposicin: (p q) .(q. ~ p)
para esto se determinan inicialmente las tablas de:p; q; ~ p; p q; q. ~ p
y por ltimo (p q) . (q. ~ p)
p q ~ p p q q. ~ p (p q) . (q. ~ p)
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
El nmero de lneas de la tabla de verdad depende del nmero de variables
de la expresin y se puede calcular por medio de la siguiente formula.
N
o
de lneas = 2
n
Donde n = nmero de variables distintas.
El propsito de estas tablas de verdad consiste en probar si dos proposi-
ciones son equivalentes o no, o tal vez si una implica a la otra.
Ejemplo 5. Veamos, se desea probar que (p q) es equivalente a (~ p.q)
para eso validamos la proposicin (p q) =(~ p . q) mediante su tabla de
verdad
Ejemplo 6.
p q ~ p p q ~ p . q (p q) =(~ p . q)
1 1 0 1 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
Ntese que el valor de verdad es en todo caso verdadero, cuando esto
ocurre le llamamos TAUTOLOGA, cuando tenemos una tautologa ten-
emos una ley lgica.
Veamos otro ejemplo: (p q) . (p r) =p (q . r)
p q r (p q) (p r) (q . r)
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 0
1 0 0 0 0 0
0 1 1 1 1 1
0 1 0 1 1 0
0 0 1 1 1 0
0 0 0 1 1 0
(p q) . (p r) p (q . r) (p q) . (p r) =p (q . r)
1 1 1
0 0 1
0 0 1
0 0 1
1 1 1
1 1 1
1 1 1
1 1 1
Un ejemplo de las leyes lgicas son :
Leyes de Idempotencia
p . p =p
p . p =p
Leyes conmutativas
p . q =q . p
p . q =q . p
p Y q =q Y p
p q =q p
Leyes asociativas
p . (q . r) =(p . q) . r
p . (q . r) =(p . q) . r
p (q r) =(p q) r
Leyes distributivas
p . (q . r) =(p . q) . (p . r)
p . (q . r) =(p . q) . (p . r)
Leyes de absorcin
p . (p . q) =p
p . (p . q) =p
Leyes de Morgan
~ (p . q) = ~ p. ~ q
~ (p . q) = ~ p. ~ q
Leyes de Involucin
~ (~ p) =p
Problema 3. aplica la validacin de tablas para probar las anteriores leyes.
Tambien hay ocasiones en que lo que se desea probar es que dos proposi-
ciones no pueden ser simultneamente verdaderas. veamos
Ejemplo 7. pruebe que las proposiciones p es excluyente con ~ p
se debe validar (p. ~ q)
p q ~ q (p. ~ q)
1 1 0 0
1 0 1 0
0 1 0 0
0 0 1 0
Ejemplo 8. pruebe que las proposiciones (p. ~ q) es excluyente con (p q)
se debe validar (p. ~ q) . (p q)
1.9 Cuanticadores Lgica Matemtica
p q ~ q p q (p. ~ q) (p. ~ q) . (p q)
1 1 0 1 0 0
1 0 1 0 1 0
0 1 0 1 0 0
0 0 1 1 0 0
A casos como estos donde la tabla termina solo con ceros se le llama
CONTRADICCIN
1.9. Cuanticadores
Si, en una condicin dada p(x), atribuimos a la variable x los valores
de su dominio, obtendremos, como vimos, una proposicin. Otra forma, ex-
tremadamente importante en Matemtica, de obtener proposiciones a partir
de una condicin p(x), es anteponerle a esta los smbolos \x; x y !x que
se llaman cuanticadores (cuanticador universal , cuanticador existencial
y cuanticador existencial de unicidad respectivamente).
La proposicin \x : p(x) se lee para todo x, tal que p(x) y signica
que p(x) es verdadera, atribuyendo a x cualquier valor de su dominio.
La proposicin x : p(x) se lee existe un x, tal que p(x) y signica que
p(x) es verdadera, para algn x de su dominio, n"no signica "nico". por
ejemplo "Mara Teresa tiene una amiga que la quiere mucho"es posible que
tenga ms de una, es por esto que la proposicin !x : p(x) se lee existe un
nico x, tal que p(x) y signica que p(x) es verdadera si y solo si x toma
un nico valor de su dominio.
1.9 Cuanticadores Lgica Matemtica
Por ejemplo, siendo x una variable real, son verdaderas las proposiciones:
1) \x : x
2
+ 1 > 0
2) x : x
2
4 = 0
3) !x : 8x 4 = 0
Justicacin:
1) Como ningn nmero al cuadrado es negativo
\x : x
2
_ 0
\x : x
2
+ 1 _ 0 + 1
\x : x
2
+ 1 _ 1 y como 1 > 0
\x : x
2
+ 1 > 0
2) Mostremos los valores de x en los cuales:x
2
4 = 0 ;
x
2
= 4
x =
_
4
x = 2
solo con lo valores 2 y 2 la proposicin es verdadera
3) Se pide 8x 4 = 0 as que el valor de x es:
8x 4 = 0
8x = 4
x =
4
8
x = 2
y este es el nico valor de x que lo hace verdadero
1.10 Actividades Lgica Matemtica
1.10. Actividades
Ejercicio 1. 1. Cules de los enunciados siguientes pueden considerarse
como proposiciones
a) Si llueve es porque estamos en invierno.
b) Un tringulo es una gura plana con tres lados.
c) Un tringulo es un polgono de tres ngulos.
d) La losofa es triangular
e) 5
2
= 21
f) Un cuadrado es una gura plana de cuatro lados.
g) Un cuadrado es un polgono de cuatro ngulos rectos
h) Un rectngulo es un polgono de cuatro ngulos rectos.
i) Medelln es ciudad de eterna primavera.
j) Un rectngulo es una gura verde.
k) x
2
+ 3x 4 = 0
l) Todas las naranjas son amarillas.
m) Algunas manzanas son rojas.
2. Para que la proposicin abierta x +5 < 10 tenga valor de verdad falso,
x debe reemplazarse por:
a) 2
b) 3
c) 4
d) 5
3. En la proposicin: S respetamos la vida entonces Colombia ser un
pas feliz. Podemos escoger:
p : Respetamos la vida
q :Colombia ser un pas feliz
Se construy la tabla de verdad para esta proposicin compuesta, pero
tiene un error. Localzalo, marcando con x el rengln correcto
p q p q
1 0 1
0 0 1
1 1 1
0 1 1
4. Una gura de 4 lados se llama cuadriltero, si tiene 5 lados se llama
pentgono, si tiene 6 lados se llama hexgono En el enunciado anterior
identica todas las proposiciones cerradas.
(Represntalas con las letras p, q, r).
5. Con las proposiciones clasicadas en el ejercicio anterior. escribe en
palabras las proposiciones compuestas siguientes:
a) p ~ q
b) ~ (p q)
c) (p q ) (p r)
6. Supn que p es verdadera, q es falsa y r es falsa cmo es el valor de
verdad de las siguientes proposiciones
a) p. ~ q
b) ~ (p q)
c) (p . q ) Y (p r)
7. Completa las siguientes tablas de verdad
a)
p q ~ q ~ p ~ p. ~ q p Y q (p Y q) . (~ p. ~ q)
1 1 1
1 0 0
0 1 0
0 0 1
b)
p q ~ q p q p. ~ q (p q) (p. ~ q)
1 1 1
1 0 0
0 1 0
0 0 1
c)
p q r ((p r) . (q r)) r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
8. Construye 3 frases que no sean proposiciones, 3 proposiciones, luego
niega las tres proposiciones.
9. Ana y Jos apostaron al marcador entre sus equipos favoritos de ftbol.
Al iniciarse el partido Jos le dice a Ana: si mi equipo gana entonces
yo pago el almuerzo La situacin puede tener los resultados que se
muestran en la tabla. En cual de todos Jos habr mentido? Escrbelo
en la tabla.
p q Jos cumpli?
Gan el equipo de Jos v Jos pag el almuerzo v
Gan el equipo de Jos v Jos no pag el almuerzo f
Perdi el equipo de Jos f Jos pag el almuerzo v
Perdi el equipo de Jos f Jos no pag el almuerzo f
10. Encuentre una expresin que solo contenga .; . y la negacin ~;para
representar:
a) p q
b) p q
c) p Y q:
11. En el siguiente circuito elctrico cada interruptor est representado por
una letra , encuentra la tabla de verdad que representa este circuito y
disea otro circuito que tenga la misma tabla de verdad.
Lgica Matemtica
UNIDAD DE APRENDIZAJE II
2. Introduccin a los Conjuntos
Las ideas esenciales de la teora de conjuntos fue introducida por George.
Cantor, en la parte nal del siglo XIX. Desde entonces la teora dos con-
juntos no ha dejado de desarrollarse intensamente, de tal forma que ahora
puede decirse que todas las ramas de la Matemtica fueron profundamente
inuenciados y enriquecidos por esa teora. Procuraremos en esta unidad de
aprendizaje introducir algunas de las ideas bsicas de teora de conjuntos,
evitando un tanto una formulacin demasiado abstracta, o rigurosa.
La nocin de conjunto es una de las que tiene la Matemtica Moderna
(recuerda que es un punto en geometra? eso tambin es una nocin) , en
donde los conceptos y no las deniciones son adoptados como punto de par-
tida y sirven base para la denicin de otros conceptos introducidos en el
desarrollo de la teora. Intuitivamente, un conjunto es entendido como una
coleccin de objetos de cualquier natureza , los cuales se dicen elementos del
conjunto.
2.1. Objetivos
El alumno conocer, utilizar y aplicar los siguientes elementos bsicos
para la solucin de un problema:
Generalidades sobre que es un conjunto y sus Clases.
Generalidades sobre el lgebra de conjuntos y problemas.
Razonamiento sobre cardinalidad de conjuntos..
2.2. Competencias
Determina conjuntos por extensin y comprensin.
Maniesta habilidad en la representacin grca de conjuntos y sus
operaciones.
Muestra inters participando en la construccin de proposiciones com-
puestas y nuevos conjuntos.
Reconoce a partir de una proposicin el conjunto equivalente.
Comprende y demuestra las leyes logicas y de conjuntos.
dizaje
Mesa redonda.
Sesin de Chat.
Sesin Foro.
Talleres
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
2.5 Teora de conjuntos Lgica Matemtica
2.5. Teora de conjuntos
Elementos: la mnima parte de un objeto se denomina elementos, son
elementos los integrantes de una familia, son elementos los das de la semana,
son elementos los nmeros de telfonos de montera, son elementos las hojas
de un rbol, claro est esta es una nocin que has escuchado antes y est
muy relacionado con otro objeto matemtico llamado CONJUNTO.
Conjunto: se suele decir que una agrupacin de elementos es un conjun-
to, pero tambin es conjunto aunque tenga solo un elemento o aunque no
tenga elementos; por lo tanto son conjuntos: la familia, la semana, el direc-
torio telefnico, un rbol, el grupo de presidentes de Colombia, el grupo de
mamferos que ponen huevos.
Smbolos: Los conjuntos se representan con letras maysculas: A; B; C;...
Los elementos con letras minsculas: a; b; c; :::
Al representarlos , para agrupar los elementos utilizamos llaves , tam-
bin podemos usar un diagrama de Venn, a veces es ms fcil , por eso debes
utilizar las dos formas.
Ejemplo:
Representa el conjunto de los nmeros dgitos
D = 0; 1; 2; 3; 4; 5; 6; 7; 8; 9
o tambin
Relacin de pertenencia. Si se tiene un conjunto A y un elemento a
y ocurre que a es un miembro de A, se dice, entonces, a pertenece a A y se
escribe a A (a es un elemento de A).
Pero si se tiene un elemento c que no pertenece al conjunto A ,se escribe
2.6 Clases de conjuntos Lgica Matemtica
c = A (c no es un elemento de A).
2.6. Clases de conjuntos
Los conjuntos se clasican segn el nmero de elementos que posean,
veamos:
Conjunto vaco:
Es aquel conjunto que no tiene elementos, como una bolsa vaca, se sim-
boliza con
El conjunto de los nmeros pares que terminan en 3
Representmoslo as:
P = los nmeros pares que terminan en 3 =
Conjunto unitario: es el que tiene un solo elemento.
B = { la capital de Colombia}
M = {Lucy}
C = 0
Conjunto nito: es aquel que tiene un nmero nito de elementos .
Tambin es nito el conjunto unitario.
2.7 Determinacin de un conjunto
Lgica Matemtica
S = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}
N = 3; 13; 23; 33; 34; 35
T = {Miguel, Jos}
A = a; b; c; d; :::; x; y; z
Conjunto innito: si tiene tantos elementos que es imposible contarlos
se le llama conjunto innito.
N = 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; :::
Conoces otro conjunto que sea innito? Cuantos?
Que signica los puntos suspensivos?
2.7. Determinacin de un conjunto
Para determinar o identicar un conjunto existen dos maneras:
Por extensin, que consiste en escribir todos y cada uno de los elementos
que lo conforman, as conociendo todos sus elementos conocemos el conjunto.
Por comprensin, esta consiste en indicar una caracterstica especial y
comn que tienen los elementos de un conjunto.
Ejemplo 9.
por extensin:
V = a; e; i; o; u
F = 1; 11; 21; 31; 41; 51; 61; 71; 81; 91; 101; 111; ::::
Y =
Por comprensin:
2.7 Determinacin de un conjunto
Lgica Matemtica
V ={las vocales}
F={los nmeros naturales que terminan en 1}
Y ={los nmeros impares que terminan en 0}
Subconjunto:
Si un conjunto B est contenido en un conjunto A, es porque todos los
elementos de B estn en A; pero es posible que existan elementos en A, que
no estn en B.
Entonces B es un Subconjunto de A, o tambin se puede decir B est
contenido en A. Se representa con los smbolos: B A
As que:
(B A) ==(x B ==x A)
2.8 Algebra de conjuntos Lgica Matemtica
2.8. Algebra de conjuntos
Unin de Conjuntos Los conjuntos A = a; b; c; d; e y B = a; e; i; o; u
se combinan para formar un nuevo conjunto, donde ningn elemento puede
estar repetido a; b; c; d; e; i; o; u, a este conjunto lo llamaremos unin de A
y B.
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
M ' J = 1; 2; 3; 4; 5; 7; 9
En forma grca la unin es la regin resaltada
Simblicamente la unin de A y B es:
AUB = x : x A . x B
Interseccin de Conjuntos En esta operacin de conjuntos se trata de
encontrar los elementos comunes a ambos conjuntos, es decir los repetidos,
veamos:
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
La interseccin la representamos por:
M J = 1; 3; 5 pues son los que se repiten. En forma grca la inter-
seccin es la regin resaltada
Simblicamente la intercepcin de A y B es:
A B = x : x A . x B
Diferencia de Conjuntos En los conjuntos V = a; e; i; o; u y A =
a; e; o
La diferencia de V A es el conjunto formado por los elementos de V
que no estn en A as:
V A = i; o
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
La diferencia la representamos por:
M J = 2; 4 pues son los que estn en M y no en J.
Tambin se puede calcular J M
J M = 7; 9 pues son los que estn en J y no en M.
En forma grca la diferencia es la regin sombreada
Simblicamente es:
M J = x : x M . x = J
J M = x : x J . x = M
Complemento Para esta operacin debemos denir primero un conjunto
que nos sirva como base o referencia, lo simbolizarn con la letra U, se llamar
universal o referencial.
Si U = 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 y el conjunto A = 0; 1; 2; 3
Llamaremos complemento de A , al conjunto formado por todos los el-
ementos de U que no estn en A, o sea 4; 5; 6; 7; 8; 9, a este conjunto lo
denotaremos con A/
Notese que A/ = U A
U = 1; 3; 5; 7; 11; 13; 17; 19; 23; 29
Si B = 1; 11; 29 entonces B/ = 3; 5; 7; 13; 17; 19; 23
Si C = 3; 5; 7; 17; 23 entonces C/ = 1; 11; 13; 19; 29
Si D = 1; 3; 5; 7; 11; 13; 17; 19; 23; 29 entonces D/ =
Simblicamente es:
A
0
= x : x U . x = A
2.9 Propiedades de los Conjuntos
Lgica Matemtica
2.9. Propiedades de los Conjuntos
Existen ciertas analogas entre los conectivos de las proposiciones y las
operaciones con conjuntos, una de ellas consiste en que todos los operadores
de conjuntos se pueden poderse reducir a combinaciones de intercepciones
y uniones, as como los conectivos de proposiciones se pueden reducir a los
conectivos
2
"(.), .
o
"(.) y la negacin (~).
La interseccin de conjuntos es anloga a la conjuncin de proposiciones - .
La unin de conjuntos es anloga a la disyuncin de proposiciones ' - .
El complemento de conjuntos es anlogo a la negacin de proposiciones A
0
- ~ p
La contenencia de conjuntos es anloga a la implicacin de proposiciones A B - p q
La diferencia de conjuntos es anloga a la implicacin de proposicionesA B = A B
0
-
p q =~ p . q
Por lo tanto gozan de propiedades semejantes a las proposiciones:
Leyes de Idempotencia
A A = A
A ' A = A
Leyes conmutativas
2.9 Propiedades de los Conjuntos
Lgica Matemtica
A B = B A
A ' B = B ' A
Leyes asociativas
p . (q . r) =(p . q) . r
p . (q . r) =(p . q) . r
p (q r) =(p q) r
Leyes distributivas
A (B ' C) = (A B) ' (A C)
A ' (B C) = (A ' B) (A ' C)
Leyes de absorcin
A (A ' B) = A
A ' (A B) = A
Leyes de Morgan
(A ' B)
0
= A
0
B
0
(A B)
0
= A
0
' B
0
Leyes de Involucin
(A
0
)
0
= A
Veamos grcamente la ley de Morgan (A ' B)
0
= A
0
B
0
2.10. Actividades
1. Completa en el dibujo las cantidades correspondientes a cada seccin
de la gura y con esa informacin responde las preguntas a, b, c y d
36 personas fueron a Europa, visitaron Espaa, Inglaterra o Francia, sin
embargo, no todas fueron a los tres lugares, para identicar la cantidad exacta
de personas que fueron a cierto pas, se especica cada cantidad en el siguiente
diagrama de Venn.
21 personas fueron a Francia
17 personas fueron a Espaa
16 personas fueron a Inglaterra
9 personas fueron a Francia y a Espaa
8 personas fueron a Espaa y a Inglaterra
6 personas fueron a Francia y a Inglaterra
1. a) El nmero de personas que fue a Francia y Espaa pero no a
Inglaterra es:_______
b) El nmero de personas que fue a Espaa o Inglaterra es:______
c) El nmero de persona que fue a Inglaterra, Espaa y Francia
es:________
d) El nmero de personas que fue a Espaa o Inglaterra pero no a
Francia es:______
2. Despus de medir su peso en una balanza, se obtienen los siguientes
resultados:
Andrs es ms liviano que Fernando, pero ms pesado que Gabriela
Esteban es ms liviano que Andrs, pero ms pesado que Gabriela
Pedro es ms liviano que Jorge, pero ms pesado que Miguel
Jorge es ms liviano que Gabriela
Ordena los jvenes segn su peso, comenzando con el ms pesado.
(Paradoja de Russell) En un pueblo chico hay solo un barbero, y los
hombres del pueblo, por lo que se reere a la rasurada, se dividen en
dos grupos: los que se rasuran con el barbero, y los que se rasuran solos.
A cual de los dos grupos pertenece el barbero?
Explica.
Lgica Matemtica
UNIDAD DE APRENDIZAJE III
3. Introduccin al lgebra de Boole
En las dos unidades anteriores se vi que las leyes para las proposiciones
y para los conjuntos son semejantes. Podemos ahora demostrar que cada uno
de estos sistemas es un lgebra de Boole. Esta estructura algebraica mas
general es una de las partes del Algebra abstracta, que a pesar del nombre se
aplica podramos decir que "demasiado.
a
la computacin y a la inteligencia
Articial. Esta unidad es fundamental, sobre todo para la simplicacin de
circuitos (Unidad 4 ).
3.1. Objetivos
Generalidades sobre que es un lgebra de Boole y como se prueba.
Generalidades sobre las leyes del lgebra de Boole y demostraciones.
Generalidades sobre las funciones de Boole con una o mas variables.
3.2. Competencias
Interpretar las demostraciones de las leyes del lgebra de Boole.
Compruebar si el conjunto en cuestin verica las leyes del lgebra de
Boole.
Aplicar las leyes del lgebra de Boole para simplicar funciones booleanas.
Armonizar los conocimientos de Tablas de verdad con las funciones
booleanas.
dizaje
Mesa redonda.
Sesin de Chat.
Sesin Foro.
Talleres
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
3.5 Clases de operaciones Lgica Matemtica
3.5. Clases de operaciones
Hasta el momento hemos hablado de operaciones entre proposiciones y
entre conjuntos
Vale la pena clasicar en general las operaciones
El primer tipo se llama operacin binaria, y no slo enlaza dos elementos,
sino que determina un tercero (el resultado de los otros dos) que pertenece al
conjunto que consideramos. Por lo tanto una OPERACIN BINARIA
es una .operacin tal que:
si a; b X,entonces tambin la es a b
Ejemplo 10. la Suma en el conjunto de los naturales es una operacin bi-
naria
pues si m; n N;entonces m+n N:
Ejemplo 11. la Resta en el conjunto de los naturales no es una operacin
binaria pues existen elementos de N; como por ejemplo 7 y 12 tal que 712 =
5 = N:
Ejemplo 12. la divisin en el conjunto de los naturales no es una operacin
9
2
= N:
Ejemplo 13. La operacin > en el conjuntoa; b; c se dene como sigue en
la siguiente tabla:
> a b c
a a b a
b b a c
c a c a
El segundo tipo de operacin se llama operacin unitaria, esta en reali-
dad transforma un nmero en otro, por lo tanto unaOPERACIN UNI-
TARIA ' sobre un conjunto B es una .operacin tal que:
Si a B, entonces '(a) B
Ejemplo 14. el operador menos () el conjunto de los enteros es una op-
eracin binaria
pues si m Z;entonces m Z:
Ejemplo 15. la Radicacin en el conjunto de los nmeros reales es una
operacin binaria si y solo si es raz impar; es decir el operador
2n+1
_
+ es
una operacin binaria con n N
pero el operador
2n
_
+ no es una operacin binaria con n N
ntese que 1 R pero
2n
_
1 = R:
1. Dgase cules de las siguientes son operaciones unitarias
a) la operacin "tomar el inverso de"en el conjunto de los nmeros
reales.
b) la operacin "tomar el inverso de"en el conjunto de los nmeros
enteros.
c) encuntrese otro conjunto sobre el cual "tomar el inverso de"sea
una operacin unitaria.
2. En qu circunstancias son +; ; ; ; operaciones binarias:
3.6 lgebra de Boole Lgica Matemtica
a) En el sistema de los nmeros reales o subconjuntos de este sistema.
b) En el sistema de los nmeros complejos.
3.6. lgebra de Boole
Un conjunto B, junto con las operaciones binarias ; denidas sobre l
es un lgebra de Boole,
si se verican las siguientes Propiedades:
Ley conmutativa
1. a) 1) \a; b B; a b B
2) \a; b B; a b B
Ley distributiva
1. a) 1) \a; b; c B; a (b c) = (a b) (a c)
2) \a; b; c B; a (b c) = (a b) (a c)
Elementos neutros
1. a) 1) \a B; e B; a e = a (Neutro Aditivo o cero)
2) \a B; i B; a i = a (Neutro Multiplicativo o
unidad)
Complementacin
1. a) 1) \a B; a
c
B; a a
c
= i (complemento a la unidad)
2) \a B; a
c
B; a a
c
= e (complemento al cero)
mas adelante se probar que a
c
es el mismo en ambos casos.
Ejemplo 16. Sea D
26
= 1; 2; 13; 26 el conjunto de los divisores positivos
del 26; denamos las operaciones binarias as:
a b = MCM(a; b) ( Mnimo Comn mltiplo)
a b = mcd(a; b) ( Mximo Comn divisor)
observe que para que a b = a; b tiene que ser 1(Neutro Aditivo o
cero)
y para que a b = a; b tiene que ser 26(Neutro Multiplicativo o
unidad)
por otra parte:
para que ab = 26; tiene que ser b =
26
a
(complemento de la unidad)
y para que a b = 1; depende de quien sea a as:
si a = 1 entonces b = 26
Para representar estas operaciones utilizaremos tablas algo parecidas a las
de la escuela.
1 2 13 26
1 1 2 13 26
2 2 2 26 26
13 13 26 13 26
26 26 26 26 13
1 2 13 26
1 1 1 1 1
2 1 2 1 2
13 1 1 13 13
26 1 2 13 26
3.7 Principio de dualidad Lgica Matemtica
3.7. Principio de dualidad
Si en un teorema vlido intercambiamos por y e por i, obtenemos
otro teorema vlido.
La demostracin de que esto es cierto se obtiene haciendo este intercambio
en todos los pasos de la demostracin del teorema original.
Solo por comodidad cambiaremos los signos de las operaciones a b por
a + b; a b por ab; aclaramos que estos signos representarn las dos op-
eraciones del lgebra de Boole las cuales pueden ser cualesquier operacin
binaria. Ademas cambiaremos los elementos neutros e por 0; i por 1; sin
querer con esto confundirlos.
A continuacin se plantearn otras Propiedades de las Algebras de Boole,
se realizarn las pruebas de estas propiedades para uno de ellas y la otra la
realizar el estudiante con el principio de dualidad.
Ley de idempotencia
1. a) 1) \a B; a +a = a
2) \a B; aa = a
Prueba (i): Sea a B a = a + 0 = a + (aa
c
) = (a +a) (a +a
c
) =
(a +a) (1) = a +a
Ley de acotamiento
1. a) 1) \a B; a + 1 = 1
2) \a B; a0 = 0
Prueba (i): Sea a B a+1 = (a + 1) 1 = (a + 1) (a+a
c
) = a+(1a
c
) =
a +a
c
= 1
Ley de absorcin
1. a) 1) \a; b B; a +ab = a
2) \a; b B; a(a +b) = a
Prueba (i): Sea a; b B a +ab = a1 +ab = a(1 +b) = a(1) = a
Ley asociativa
1. a) 1) \a; b; c B; a + (b +c) = (a +b) +c
2) \a; b; c B; a(bc) = (ab)c
Prueba (i): Sea a; b; c B
a + (b +c) = 1 [a + (b +c)]
= a
c
a [a + (b +c)]
= a
c
[aa +a (b +c)]
= a
c
[a +a (b +c)]
= a
c
a
= a
c
[a +ac]
= a
c
[a (a +b) +ac]
= a
c
a [(a +b) +c]
= 1 [(a +b) +c]
= (a +b) +c
Unicidad del complemento
1. a) 1) \a B; (a +x = 1) . (ax = 0) =x = a
c
Prueba (i): Sea a B supngase a +x = 1 y ax = 0
a
c
= a
c
1 = a
c
(a +x) = a
c
a + a
c
x = 0 + a
c
x = a
c
x = a
c
(x + 0) =
a
c
x +ax = (a
c
+a)x = 1x = x
Ley de involucin
1. a) 1) \a B; (a
c
)
c
= a
Prueba (i): Sea a B a + a
c
= 1; esto signica que a es el
complemento de a
c
; es decir a = (a
c
)
c
Ley de Morgan
a) 1) \a; b B; (a +b)
c
= a
c
b
c
2) \a; b B; (ab)
c
= a
c
+b
c
Prueba (i): Sea a; b B (a +b) + a
c
b
c
= a + (b +a
c
b
c
) = a +
(b +a
c
)(b +b
c
)
= a + (b + a
c
)1 =
a +b +a
c
= a +a
c
+b = 1 +b = 1
con esto por la unicidad del complemento (a +b)
c
= a
c
b
c

3.8 Funciones booleanas Lgica Matemtica
3.8. Funciones booleanas
3.8.1. Funciones reales y funciones booleanas
Hasta ahora se ha mostrado en qu operaciones se basa el Algebra de
Boole y algunas de sus
propiedades.
Utilizando expresiones booleanas, vamos a denir Funciones booleanas,
que son muy parecidas a las funciones matemticas a las que estamos acos-
tumbrados pero con la particularidad de que las variables son booleanas y
que los valores devueltos por la funcin tambin son booleanos, es decir, una
funcin booleana slo puede tomar los valores 0 1.
Como hemos hecho antes, vamos a ver un ejemplo utilizando una funcin
matemtica de las
que todos conocemos. Por ejemplo esta:
f(x) = 2x + 1
Se trata de una funcin Real que tiene una variable Real (x) es decir el
dominio de f es R
5 2.5 0 -2.5 -5
10
5
0
-5
x
y
x
y
hay una innidad de valores en el dominio de f por esto se obtiene una
innidad de puntos en forma de una recta.
Tambin podemos denir funciones reales de 2 ms variables, como por
ejemplo:
f(x; y) = 2x +y
2
f(x; y; z) = z
2
sen(x +y)
f(x
1
; x
2
; x
3
; :::; x
n
) =
3
_
x
1
+x
2
+x
3
+::: +x
n
Como estamos acostumbrados a trabajar con este tipo de funciones, nos
resultan claras. Ahora
vamos a denir funciones booleanas. Para ello hay que tener presente que
trabajaremos con
variables booleanas y que por tanto usaremos las operaciones + y del
Algebra de Boole.
Ejemplo 17. sea la siguiente funcin booleana de una variable:
f(x) = x
c
El valor devuelto por la funcin es el complemento del valor de la variable.
Como la variable x es booleana, slo puede tomar los valores 0 y 1.
Los que la funcin F toma son:
f(0) = 0
c
= 1
f(1) = 1
c
= 0
Ejemplo 18.
Ejemplo 19. Sea la siguiente funcin booleana se dos variables:
f(x; y) = x
c
(x +y)
obtenemos:
f(0; 0) = 0
c
(0 + 0) = 1 0 = 0
f(0; 1) = 0
c
(0 + 1) = 1 1 = 1
f(1; 0) = 1
c
(1 + 0) = 0 1 = 0
f(1; 1) = 1
c
(1 + 1) = 0 0 = 0
Antes de calcular los valores que toma la funcin, se pueden aplicar algu-
nas propiedades para obtener una funcin ms simplicada:
del ejemplo anterior
f(x; y) = x
c
(x +y)
= x
c
x +x
c
y (ley distributiva)
= 0 +x
c
y (complemento al cero)
= x
0
y
en el cual tambin obtenemos:
f(0; 0) = 0
0
0 = 1 0 = 0
f(0; 1) = 0
0
1 = 1 1 = 1
f(1; 0) = 1
0
0 = 0 1 = 0
f(1; 1) = 1
0
1 = 0 0 = 0
3.8.2. Funciones booleanas y tablas de verdad
Existe otra manera de representar una funcin booleana. es mediante las
tablas de verdad, pero cambiando las proposiciones por expresiones booleanas:
utilizaremos nuevamente el ejemplo anterior:
f(x; y) = x
c
(x +y)
su tabla es:
x y f(x; y)
1 1 0
1 0 0
0 1 1
0 0 0
El nmero de las de la tabla de verdad depende del nmero de variables
que usemos.
consideremos h(x; y; z) = x +yz
x y z yz x +yx
1 1 1 1 1
1 1 0 0 1
1 0 1 0 1
1 0 0 0 1
0 1 1 1 1
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0
3.9. Actividades
Ejercicio 2. Probar las siguientes equivalencias de expresiones por los mto-
dos de:
1. a) Tablas de verdad.
b) Transformaciones algebraicas(propiedades del lgebra de Boole)
ab
c
+a
c
b +a
c
b
c
= a
c
+b
c
a
c
b
c
+ac +bc
c
= a
c
c
c
+b
c
c +ab
a
c
b
c
+bd +ab
c
= d +d
c
b
c
(a +b
c
+ab)(a
c
+b)ab
c
= 0
(a +b
c
+ab
c
)(ab +bc
c
+a
c
c) = ab +a
c
b
c
c
(ab +c +d)(c
c
+d)(c
c
+d +e) = abc
c
+d
Ejercicio 3. 1. Demostrar las siguientes propiedades de la funcin lgica
O-exclusiva:
f(p; q) = p Y q
a) Asociativa
b) Conmutativa
c) Existencia de elemento neutro e tal que x Ye = x
d) Existencia de Inverso (A todo elemento x se le puede hacer corre-
sponder un elemento x tal que x Y y = e
e) Distributiva del Producto respecto a la O-exclusiva
f ) que mediante la O-exclusiva y la funcin y : f(p; q) = p.q se pueden
realizar las otras dos operaciones fundamentales del lgebra de Boole:
negacin y suma(disyuncin)
Nota: Calcular el valor de 1 Yx y de 1 Y ((1 Y x)(1 Y y))
Una funcin de tres variables f(a,b,c) debe tomar el valor cero cuando la
variable b est a uno y la variable a no est en estado uno. En los dems
casos posibles debe estar en estado uno.
a) Realizar la tabla de verdad de la funcin.
Discurso sobre los estudios de Informtica en clase de Lgica:
Seoras y seores, buenas tardes:
Es hora de que recapacitemos sobre los estudios de informtica en vsperas
del asentamiento de la titulacin en nuestra Universidad. Se sabe que si los
ordenadores hablasen los informticos no existiran. Por otra parte, en la lti-
ma reunin del Consejo de Universidades, ste arm que: "...la Universidad
titular informticos mientras los ordenadores no hablen ..."; armacin que
nos parece muy correcta, si bien lo cierto es que los ordenadores no hablan
pero los informticos existen.
A la vista de todo ello nos preguntamos: Es, por tanto, coherente que la
Universidad expida ttulos de informtica en la actualidad?.
Demuestre las leyes del algebra de Boole que no se probaron aplicando el
principio de dualidad.
Lgica Matemtica
UNIDAD DE APRENDIZAJE IV
4. Introduccin al mtodo de Karnaugh
El mtodo de Karnaugh convierte una expresin booleana a otra ms simpli-
cada. En nuestro caso, convierte una suma de productos en otra minimal .
Tiene como caractersticas:
Un mnimo nmero de trminos en la expresin.
Un mnimo nmero de variables en cada trmino de dicha expresin.
Inicialmente se tiene una expresin booleana constituida por una suma
de productos de variables, que pueden tomar nicamente los valores de cero
[0] o uno [1]. El resultado de esta expresin es un valor booleano para cada
uno de los valores que tomen dichas variables.
4.1. Objetivos
Entradas y salidas de las compuertas lgicas.
tablas de verdad a partir de mediciones en compuertas lgicas.
Simplicacin Tabular mediante Mapas de Karnaugh
4.2. Competencias
Deduce la relacin existente entre las entradas y salidas de las com-
puertas lgicas.
Construye tablas de verdad a partir de mediciones en compuestos lgi-
cos.
Representa funciones lgicas mediante simbologa electrnica normal-
izada y de uso tradicional.
Reconoce por su smbolo, forma o nomenclatura las diferentes funciones
lgicas.
dizaje
Mesa redonda.
Sesin de Chat.
Sesin Foro.
Talleres
Aula de clases
Laboratorios
Auditorios.
Videobeam
Retroproyector.
4.5 Mtodo de Karnaugh para la Simplicacin de circuitos Lgica Matemtica
4.5. Mtodo de Karnaugh para la Simplicacin de cir-
cuitos
Las seales de tensin alta ( mas de 1 voltio) o bajas (menos de 1 voltio)
han dado lugar a su vez a representaciones electrnicas que se utilizan en el
diseo de los circuitos integrados. Estos circuitos se conocen como ircuitos
lgicos"pues basan su funcin en condiciones presenciales o no de los pulsos
altos o bajos.
En los circuitos digitales todos los voltajes, a excepcin de las fuentes de
alimentacin, se agrupan en dos posibles categoras: voltaje altos y voltajes
bajos. Entre estos dos rangos de voltajes existen existe una denominada zona
prohibida o de incertidumbre que los separa. Una tensin alta signica un 1
binario y una tensin baja signica un 0 binario. Todos los sistemas digitales
se construyen utilizando bsicamente tres puertas lgicas bsicas. Estas son
las puertas AND, la puerta OR y la puerta NOT; o la combinacin de estas.
El recurso a las tablas para la simplicacin de ecuaciones booleanas
es, como ya se ha dicho, fruto de su mayor simplicidad. Aunque existen
otros mtodos (como las tablas de Quine- McCluskey), nos limitaremos a
explicar someramente el mtodo conocido como mapas de Karnaugh. stos
se pueden utilizar para simplicar funciones de dos a seis variables, aunque
habitualmente slo se los emplee para funciones de dos a cinco variables.
El mtodo grco de Karnaugh, desarrollado en The Map Method for
Synthesis of Combinatorial Logic Circuits (AIEE, vol. 72, 1953), se basa en
otro de E. W. Veitch publicado en A Chart Method for Simplifying Truth
Functions (ACM, 1952). Esta tcnica se convirti rpidamente en la her-
ramienta ms potente entre los diseadores de computadores y expertos en
lgica digital durante la dcada de los 50.
LA COMPUERTA AND
B
A
El esquema de la gura, da una idea de funcionamiento de la compuerta
AND. Examinando de cerca el circuito, notamos que la lmpara encender
solo si ambos interruptores se cierran o se activan simultneamente. Si uno
de los interruptores esta abierto, el circuito se interrumpe y la lmpara no se
enciende. Todas las posibles combinaciones para los interruptores A y B se
muestran en la tabla de verdad.
A B Lampara
1 1 1
1 0 0
0 1 0
0 0 0
La tabla de esta gura es la misma que la de la conjuncin, es decir dos
interruptores en serie se representan con la compuerta AND
Para representar una compuerta AND se utilizar el smbolo siguiente
Esta compuerta AND es un dispositivo que posee dos entradas A y B y
una salida A B.
El lgebra booleana es una forma de lgica simblica que muestra como
operan las compuertas lgicas. Una expresin booleana es un mtodo de
mostrar que ocurre en un circuito lgico.
A B = Y es la expresin booleana de la compuerta AND se lee .
A
AND
B igual a la salida Y"
El punto () signica la funcin lgica AND en lgebra booleana, y no la
operacin de multiplicar como en el lgebra corriente.
En caso de que el circuito lgico tenga tres variables.
la expresin A B C se lee " A AND B AND C" y se representa con la
gura:
La tabla de verdad de esta ltima coincide con el conjuntivo mltiple
p . q . r
es decir:
p q r p . q . r
1 1 1 1
1 1 0 0
1 0 1 0
1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 0
LA COMPUERTA OR El grco de este circuito ilustra el fun-
cionamiento de la compuerta OR, en el cual los interruptores han sido conec-
tados en paralelo. El encendido de la lmpara se producir si se cierra
cualquiera de los dos interruptores o ambos. Todas las posibles combina-
ciones de los interruptores se muestran en la tabla siguiente.
A B Lampara
1 1 1
1 0 1
0 1 1
0 0 0
La tabla de esta gura es la misma que la de la disyuncin, es decir dos
interruptores en serie se representan con la compuerta OR
Para representar una compuerta OR se utilizar el smbolo siguiente:
Esta compuerta OR es un dispositivo que posee dos entradas A y B y
una salida A +B.
A + B = Y es la expresin booleana de la compuerta OR se lee .
A
OR
El signo mas (+) signica la funcin lgica OR en lgebra booleana, y no
la operacin de sumar como en el lgebra corriente.
En caso de que el circuito lgico tenga tres variables.
la expresin A+B+C se lee A OR B OR C y se representa con la gura:
COMPUERTA INVERSORA En este circuito cuando se cierra el inter-
ruptor A, la bombilla se apaga,(Por qu?), al abrir el interruptor la bombilla
se enciende.
La tabla es:
A lmpara
1 0
0 1
Es la misma tabla de la negacin ~ p; a este esquema se le llama La
compuerta inversora,
esta posee una entrada y una salida como se muestra en la gura. Su fun-
cin es producir una salida inversa o contraria a su entrada es decir convertir
unos a ceros y ceros a unos.
El crculo inversor puede estar en la parte de entrada o de salida del
smbolo triangular.
este tiene el mismo sentido de el complemento a la unidad del lgebra de
Boole.
con solo estas tres compuertas se pueden conformar otras como las sigu-
ientes:
LA PUERTA NAND Una compuerta NAND es un dispositivo lgico que
opera en forma exactamente contraria a, una compuerta, AND, entregando
una salida baja cuando todas sus entradas son altas y una salida alta mientras
exista por lo menos un bajo a cualquiera de ellas:
En forma proposicional ~ (p . q).
En forma de expresin booleana (AB)
0
.
Observar que el smbolo NAND es smbolo AND con un pequeo crculo
a la salida.
LA PUERTA NOR Se ha conectado un inversor a la salida de una puerta
OR, obsrvese que se ha aadido un pequeo circulo inversor al smbolo OR
para formar el smbolo NOR.
Debido a que los interruptores A y B estn en paralelo entre si y con
la lmpara (Y) esta ultima solo enciende cuando ambos interruptores estn
abiertos y permanece apagada mientras cualquiera de ellos , o ambos estn
cerrados.
Smbolo lgico de una compuerta NOR es:
Podemos decir que este dispositivo lgico opera en forma exactamente
opuesta a una compuerta OR , entregando una salida alta cuando todas sus
entradas son bajas y una salida baja cuando existe por lo menos un alto en
cualquiera de ellas.
En forma de expresin booleana (A +B)
c
.
LA COMPUERTA OR EXCLUSIVA O XOR La OR exclusiva, se
denomina la puerta comparadora OR, La tabla de verdad para la funcin
XOR se muestra en la tabla
A B A XOR B
1 1 0
1 0 1
0 1 1
0 0 0
la cual es equivalente a la disyuncin exclusiva
p q p Y q
1 1 0
1 0 1
0 1 1
0 0 0
Note que XOR es combinacin de los anteriores:
apliquemos el calculo proposicional:
p Y q = ~ (p =q)
= ~ [(p q) . (q p)] aplicando la ley de Morgan
= ~ (p q). ~ (q p) negacin del condicional
= (p. ~ q) . (q. ~ p) ley distributiva
= (p . q) . (p. ~ p) . (~ q . q) . (~ p. ~ q) siempre (p. ~ p) = 1
= (p . q) . 1 . 1 . (~ p. ~ q) simplificando
= (p . q) . (~ p. ~ q) Ley de Morgan
= (p . q). ~ (p . q) c _ ley distributiva
= (p. ~ p) . (p. ~ q) . (q. ~ p) . (q. ~ q) complemento a cero
= 0 . (p. ~ q) . (q. ~ p) . 0 suma del modulo
= (p. ~ q) . (q. ~ p) Listo!
Con c _ probamos que p Y q equivale a tres compuertas una de (p . q);
otra de ~ (p . q) y otra que las relacione con la conjuncin .; as pues: A
XOR B equivale a: (A OR B) AND (A NAND B) es decir:
(A +B)(AB)
0
con la parte nal del clculo proposicional anterior A XORB = A
0
B+AB
0
VERIFICACIN:
A=1 y B=1
A=1 y B=0
A=0 y B=1
A=0 y B=0
Ejemplo 20. construya un circuito con compuertas lgicas que exprese la
siguiente funcin booleana de dos variables:
Ejemplo 21. f(x; y) = x
0
+xy +xy
0
se comienza con cada sumando
x
0
X
Y
X
Y
xy
X
Y
XY
xy
0
X
Y
XY
X
Y
X+XY+XY
La suma de todos ellas es una compuerta OR de tres entradas:
El lector puede probar que la tabla de verdad de esta funcin booleana es
una tautologa:
Observacin: debido a que xyz = (xy)z = x(yz) y que
x +y +z = (x +y) +z = x + (y +z)
una compuerta OR de tres entradas puede reemplazarse por dos com-
puertas OR de dos entradas
as:
es equivalente a:
De manera semejante ocurre para la compuerta AND.
Ejemplo 22. Encuentre un circuito de compuertas lgicas para: F(x; y; z) =
xyz +x/z/
Ejemplo 24. Encontrar una representacin booleana del siguiente circuito
de compuertas lgicas.
(X+Y)+Z
Ejemplo 23.
x
y
z
xyz+xy
x
y
z
x
y
z
xyz
y
c
z
c
(xyz)NOR(yz
c
+y
c
z)
=[(xyz)+(yz
c
+y
c
z)]
c
y
c
XOR z
c
=
(y
c
)
c
(z
c
)+(y
c
)(z
c
)
c
=yz
c
+y
c
z
solucin: en cada parte del circuito hay un mensaje:
en conclusin F(x; y; z) = [xyz + (yz
c
+y
c
z)]
c
Es posible que la expresin F(x; y; z) = [xyz + (yz
c
+ y
c
z)]
c
se pueda
simplicar mas para lo cual se aplicarn todas las propiedades del lgebra de
Boole veamos:
[xyz + (yz
c
+y
c
z)]
c
= (xyz)
c
(yz
c
+y
c
z)
c
ley de Morgan
= (x
c
+y
c
+z
c
)((yz
c
)
c
(y
c
z)
c
) ley de Morgan
= (x
c
+y
c
+z
c
)((y
c
+ (z
c
)
c
)((y
c
)
c
+z
c
) ley de involucin
= (x
c
+y
c
+z
c
)(y
c
+z)(y +z
c
) ley distributiva
= (x
c
+y
c
+z
c
)(yz +yy
c
+zz
c
+y
c
z
c
) Complemento al cero
= (x
c
+y
c
+z
c
)(yz + 0 + 0 +y
c
z
c
) ley de Morgan
= (x
c
+y
c
+z
c
)(yz +y
c
z
c
) ley de Morgan
= yzx
c
+yzy
c
+yzz
c
+x
c
y
c
z
c
+y
c
z
c
z
c
+z
c
y
c
y
c
ley distributiva
= yzx
c
+ 0 + 0 +x
c
y
c
z
c
+y
c
z
c
z
c
+z
c
y
c
y
c
Complemento al cero
= yzx
c
+x
c
y
c
z
c
+z
c
y
c
ley de idempotencia
= yzx
c
+z
c
y
c
ley de absorcin
Existen mtodos ms prcticos y rpidos para simplicar expresiones
booleanas:
4.5.1. Mtodo Karnaugh de simplicacin de expresiones booleanas
Entrando en materia, los mapas estn constituidos por una cuadrcula en
forma de encasillado cuyo nmero de casillas depende del nmero de variables
que tenga la funcin a simplicar.
Caso de dos variables
Se utiliza una tabla en donde una variable y su complemento va en la
primera la, la otra variable y su complemento va en la primera columna
x x
c
y
y
c
Ejemplo 25. : Simplica la funcin de dos variables f(x; y) = x
c
y+xy
c
+xy
Lo primero que se debe hacer es representarlo en un mapa de dos variables.
Se representa como una tabla. Para llenar la tabla, se coloca un uno (1) donde
la interseccin forme un producto de la funcin, as:
para el primer trmino de la funcin: x
c
y, se marca con el uno (1) en la
tabla.
para el segundo trmino de la funcin: xy
c
, se marca con el uno (1) en
la tabla.
por ultimo el tercer trmino de la funcin: xy, se marca con el uno (1)
en la tabla. y lo dems con ceros
formando grupos con los unos se observa que: se ocupa todo el rengln de la
x y toda la columna de la y; no mas.
la funcin f(x; y) = x
c
y +xy
c
+xy; se simplica f(x; y) = x +y
Reglas de simplicacin (1)Las agrupaciones son exclusivamente de
unos. Esto implica que ningn grupo puede contener ningn cero.
Correcta Incorrecta
(2) Las agrupaciones nicamente pueden hacerse en horizontal y vertical.
Las diagonales estn prohibidas.
Correcta Incorrecta
(3) Los grupos deben contener 1; 2; 4; 8; 9; :::; 2
n
nmero de unos.
Correcta Incorrecta
(4) Cada grupo ha de ser tan grande como sea posible.
Correcta Incorrecta
(6) Pueden existir traslapamiento de grupos.
Correcta Incorrecta
(7) La formacin de grupos tambin se puede producir con las celdas
extremas de la tabla. De tal forma que la parte inferior se podra agrupar
con la superior y la izquierda con la derecha.
Correcta
(8) Tiene que resultar el menor nmero de grupos posibles (ser minimal
) siempre y cuando no contradiga ninguna de las reglas anteriores.
Caso de tres variables
Se utiliza una tabla en donde una variable y su complemento va en la
primera columna, las otras dos variables y sus complementos se acomodan
como productos de ellas en la primera la
yz y
c
z yz
c
y
c
z
c
x
x
c
F(x; y; z) = x
c
y
c
z
c
+x
c
y
c
z +x
c
yz
c
+xy
c
z
c
+xyz
c
Los pasos a seguir para conseguir reducir esta expresin son:
1. Convertir la expresin a una suma de productos si es necesario.
en este caso no lo es.
2. se construye un mapa de karnaugh
3. Cubrir todos los unos del mapa mediante rectngulos de 2
n
elemen-
tos, donde n = 1; 2:::nmero de variables. Ninguno de esos rectngulos debe
contener ningn cero
Para minimizar el nmero de trminos resultantes se har el mnimo
nmero posible de rectngulos que cubran todos los unos.
Para minimizar el nmero de variables se har cada rectngulo tan grande
como sea posible.
Para encontrar la suma de productos minimal preguntese lo siguiente:
Cada rectngulo pertenece a un trmino producto?
que variables hay en comn en tal rectngulo? a estos se llamarn im-
plicantes primos.
En el cubrimiento mas grande predomina z
c
En el cubrimiento mas pequeo no predomina , pero contiene a x
c
y
c
z:
entonces los implicantes primos son:
z
c
y x
c
y
c
z:,sin embargo como z
c
contiene a x
c
y
c
z
c
;no es necesario incluir en
los implicantes primos a x
c
y
c
z:; pues ser suciente con x
c
y
c
; : en conclusin
f(x; y; z) se simplica en:
f(x; y; z) = z
c
+x
c
y
c
Caso de cuatro variables
Se utiliza una tabla en donde dos variables se acomodan como productos
de ellas y sus complementos en la primera columna, las otras dos variables y
sus complementos se acomodan como productos de ellas en la primera la
zw z
c
w zw
c
z
c
w
c
xy
x
c
y
xy
c
x
c
y
c
Ejemplo 26. sea f(x; y; z; w) = xyzw +xyzw
c
+xyz
c
w +x
c
yzw
c
+
x
c
yz
c
w+x
c
yz
c
w
c
+xy
c
zw
c
+x
c
y
c
zw+x
c
y
c
zw
c
+x
c
y
c
z
c
w
primero se marcan con unos las reguiones de la funcin
ahora se agrupan los unos con tal que tengan 2
n
unos
entonces los implicantes primos son:
a) xyz
b) zw
c
c) yz
c
w
d) x
c
y
c
z
e) x
c
yz
c
f ) x
c
y
c
zw
Por lo tanto f(x; y; z; w) se simplica en:
f(x; y; z; w) = xyz +zw
c
+yz
c
w +x
c
y
c
z +x
c
yz
c
+x
c
y
c
zw
4.6. Actividades
Ejercicio 4. . Simplicar las siguientes expresiones booleanas utilizando
mapas de Karnaugh
ab/(a +b/)c/ +b
a +b + (a/ +b +c)/
bc +da +c + (dc(ab +dc))
Ejercicio 5. Mostrar con un ejemplo que el mnimo en dos niveles no es
nico Sugerencia: utilizar mapas de Karnaugh.
Ejercicio 6. Un misionero est perdido en alguna esquina de Punta Car-
retas. Enfrente de l tiene dos calles que nacen de la esquina de la cual se
encuentra. En este lugar tambin hay dos pescadores uno de los cuales siem-
pre dice la verdad y el otro siempre miente. El misionero quiere saber como
llegar al tren fantasma que se encuentra en el Parque Rod. Qu pregunta
debe realizar para llegar correctamente a destino? .
Ejercicio 7. Probar que los dos circuitos siguientes realizan la misma fun-
cin lgica:
Ejercicio 8. . Obtenga una forma minimal en suma de productos las
siguientes expresiones:
(a) f(a; b; c) = (ab +ac)(ab)
(b) f(x; y; v; w) = xy(v +w)[(x +y)v]
(c) f(x; y; z) = x +yz
(d) f(a; b; c) = (a +b +c)(d +a) +bc +ac
Ejercicio 9. Obtenga la tabla de verdad de las siguientes expresiones:
1. (a) f(x; y; z; w) = wyz +xy +wy
(b) f(x; y; z; w) = (w +x +y)(x +z)(w +x)
(c) Las funciones del problema anterior.
Ejercicio 10. Construya un circuito de compuertas lgicas que est repre-
sentado por la funcin:
1. (a) f(x; y; z) = x +y
c
+z
(b) f(x; y) = [(x +y)
c
(x +y)]
c
(c) f(x; y; z; w) = (xy +yzw
c
)
c
+x
c
zw
c
Ejercicio 11. Simplique los circuitos anteriores aplicando el mtodo de
Karnaugh
Ejercicio 12. A partir de las tablas de verdad de las siguientes funciones,
obtenga las expresiones algebraicas de dichas funciones y los circuitos lgicos
que las realizan:
1.
1.
x y f(x; y)
1 1 1
1 0 0
0 1 1
0 0 0
x y f(x; y)
1 1 0
1 0 0
0 1 0
0 0 1
x y f(x; y)
1 1 0
1 0 1
0 1 1
0 0 0
Ejercicio 13. Construya un circuito de compuertas lgicas para cada una de
las tablas anteriores.
Ejercicio 14. Dibuja el diagrama de un circuito para una funcin OR de
dos entradas utilizando solamente
1. (a) compuertas NAND
(b) compuertas NOR.
Ejercicio 15. Convertir el siguiente circuito en uno que solo utilice com-
puertas NAND
1.
Ejercicio 16. Convertir el circuito anterior a uno que solo contenga com-
puertas NAND de dos entradas
Ejercicio 17. Encuentre los implicantes primos de este mapa de Karnaugh
Gua de trabajo 1
4.7. Objetivos
Resolver proposiciones compuestas utilizando los conectivos lgicos.
Hallar el valor de verdad de una proposicin a travs de la conjuncin,
disyuncin, condicional, bicondicional y negacin a travs de proposi-
ciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir
si es una ley.
4.8 Recursos de aprendizaje Lgica Matemtica
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico
Proposiciones
La lgica es toda una disciplina en la que las reexiones y el razonamien-
to son fundamentales. Es estudiada tambin por la losofa, pero, aqu nos
referiremos por lgica a la Lgica matemtica. El elemento bsico sobre el
que se desarrolla toda esta teora se llama proposicin.
De todo lo anterior una proposicin es una armacin con sentido completo
de la cual se puede armar que es cierta o que es falsa.
Ejemplo:
1. La sal es un compuesto qumico
2. 10 < 14
3. 13 es un nmero impar
4. El sol sale de noche
5. 45 + 5 = 30
6. De que color es la pared?
Las armaciones 1, 2, 3, 4 y 5. son proposiciones aunque no todas son ver-
daderas siguen siendo proposiciones.
A esta propiedad de las proposiciones de ser verdadera o falsa se le llama
valor de verdad.
Las proposiciones se representan con letras minsculas, usualmente p, q, r,
s, t,..
Existen casos donde el sujeto del que se habla en la proposicin no est
denido o no se conoce, por lo que tiene una incgnita.
A estos casos les llamamos frases proposicionales. (Suele llamarles proposi-
ciones abiertas)
1. x + 12 = 20
2. Alguien es un ingeniero famoso
4.9. Actividades
Cules de los enunciados siguientes pueden considerarse como proposiciones
Ejercicio 18. 1. a) Un tringulo es un polgono de tres ngulos.
b) La losofa es triangular
c) 5
2
= 21
d) Un cuadrado es una gura plana de cuatro lados.
e) Un cuadrado es un polgono de cuatro ngulos rectos
f) Un rectngulo es un polgono de cuatro ngulos rectos.
g) Medelln es ciudad de eterna primavera.
h) Un rectngulo es una gura verde.
i) x
2
+ 3x 4 = 0
j) Todas las naranjas son amarillas.
k) Algunas manzanas son rojas.
2. Para que la proposicin abierta x +5 < 10 tenga valor de verdad falso,
x debe reemplazarse por:
a) 2
b) 3
c) 4
d) 5
4.9.1. Proposiciones conjuntivas, p . q
Dos enunciados cualesquiera se pueden combinar con la palabra
2
"para for-
mar un enunciado compuesto llamado la conjuncin de los enunciados orig-
inales. Simblicamente, p . q denota la conjuncin de los enunciados p y q,
que se lee "p y q".
ciones que la conforman sean verdaderas,es decir, que solo es verdadera si las
dos proposiciones son verdaderas
nota: recordemos que V es simbolizado por (1) y F por (0)
La tabla de verdad del enunciado compuesto p . q est dada por:
p q p . q
1 1 1
1 0 0
0 1 0
0 0 0
1. p : El dos es un nmero par (1)
2. q : Siete es un nmero primo (1)
3. r : El ocho es un nmero primo (0)
as que :
p . q : El dos es un nmero par y siete es un nmero primo (1)
En caso de que una de las dos sea falsa entonces toda la proposicin conjun-
tiva lo ser.
r . q : El ocho es un nmero primo y siete es un nmero primo (0)
4.9.2. Proposiciones disyuntivas, p . q
Dos enunciados se combinan con la palabra .
o
"para formar un enunciado com-
puesto llamado la disyuncin de los enunciados originales. Simblicamente,
p . q denota la disyuncin de los enunciados p y q, que se lee "p o q".
ciones que la conforman sean no sean falsas,es decir, que solo es falsa si las
dos proposiciones son falsas.
La tabla de verdad del enunciado compuesto p . q est dada por:
p q p . q
1 1 1
1 0 1
0 1 1
0 0 0
4.9.3. Proposiciones condicionales, p q
Cuando se unen dos proposiciones con el conectivo entonces , se forma una
proposicin que solo es falsa si las primera es verdadera y la segunda es falsa
(solo en este orden).
La tabla de verdad de la proposicin compuesta p q est dada por:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Ejemplo 27.
Sea p : El canguro es marsupial ( 1 )
q : America es habitat de todos los marsupiales ( 0 )
El canguro es marsupial entonces Amrica es habitat de todos los marsupiales.(0)
4.9.4. Proposiciones bicondicionales, p q
Cuando se unen dos proposiciones con el conectivo si y solo si , se forma
una proposicin que solo es falsa si las dos tienen valores de verdad diferentes.
La tabla de verdad del enunciado compuesto p q est dada por:
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
4.9.5. Negacin de Proposiciones :~ p
Aunque no es un conectivo lgico (como .; .; Y ,==; =) genera nuevas
proposiciones con solo cambiarle el valor de verdad y se simboliza anteponien-
do ~ a la letra de la proposicin:
Ejemplos:
p : todo nmero impar es primo
~ p : no todo nmero impar es primo
q : 9 es menor que 6
~ q : 9 no es menor que 6
La tabla de verdad de la negacin de p : ~ p est dada por:
p ~ p
1 0
0 1
4.10. Actividades
4. Una gura de 4 lados se llama cuadriltero, si tiene 5 lados se llama
pentgono, si tiene 6 lados se llama hexgono En el enunciado anterior
identica todas las proposiciones cerradas.
(Represntalas con las letras p, q, r).
5. Con las proposiciones clasicadas en el ejercicio anterior. escribe en
palabras las proposiciones compuestas siguientes:
a) p ~ q
b) ~ (p q)
c) (p q ) (p r)
6. Supn que p es verdadera, q es falsa y r es falsa cmo es el valor de
verdad de las siguientes proposiciones
a) p. ~ q
b) ~ (p q)
7. Completa las siguientes tablas de verdad
a)
p q ~ q ~ p ~ p. ~ q p Y q (p Y q) . (~ p. ~ q)
1 1 1
1 0 0
0 1 0
0 0 1
b)
p q ~ q p q p. ~ q (p q) (p. ~ q)
1 1 1
1 0 0
0 1 0
0 0 1
c)
p q r ((p r) . (q r)) r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
8. Construye 3 frases que no sean proposiciones, 3 proposiciones, luego
niega las tres proposiciones.
Gua de trabajo 2
4.11. Objetivos
Generalidades sobre que es un conjunto y sus Clases.
Generalidades sobre el lgebra de conjuntos y problemas.
Razonamiento sobre cardinalidad de conjuntos..
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico
4.13. Algebra de conjuntos
Unin de Conjuntos Los conjuntos A = a; b; c; d; e y B = a; e; i; o; u
se combinan para formar un nuevo conjunto, donde ningn elemento puede
estar repetido a; b; c; d; e; i; o; u, a este conjunto lo llamaremos unin de A
y B.
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
M ' J = 1; 2; 3; 4; 5; 7; 9
Simblicamente la unin de A y B es:
AUB = x : x A . x B
Interseccin de Conjuntos En esta operacin de conjuntos se trata de
encontrar los elementos comunes a ambos conjuntos, es decir los repetidos,
veamos:
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
La interseccin la representamos por:
M J = 1; 3; 5 pues son los que se repiten.
Simblicamente la intercepcin de A y B es:
A B = x : x A . x B
Diferencia de Conjuntos En los conjuntos V = a; e; i; o; u y A =
a; e; o
La diferencia de V A es el conjunto formado por los elementos de V
que no estn en A as:
V A = i; o
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
La diferencia la representamos por:
M J = 2; 4 pues son los que estn en M y no en J.
Tambin se puede calcular J M
J M = 7; 9 pues son los que estn en J y no en M.
Simblicamente es:
M J = x : x M . x = J
J M = x : x J . x = M
Complemento Para esta operacin debemos denir primero un conjunto
que nos sirva como base o referencia, lo simbolizarn con la letra U, se llamar
universal o referencial.
Si U = 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 y el conjunto A = 0; 1; 2; 3
Llamaremos complemento de A , al conjunto formado por todos los el-
ementos de U que no estn en A, o sea 4; 5; 6; 7; 8; 9, a este conjunto lo
denotaremos con A/
Notese que A/ = U A
U = 1; 3; 5; 7; 11; 13; 17; 19; 23; 29
Si B = 1; 11; 29 entonces B/ = 3; 5; 7; 13; 17; 19; 23
Si C = 3; 5; 7; 17; 23 entonces C/ = 1; 11; 13; 19; 29
Si D = 1; 3; 5; 7; 11; 13; 17; 19; 23; 29 entonces D/ =
Simblicamente es:
A
0
= x : x U . x = A
4.14. Actividades
1. Sea A el conjunto de los nmeros naturales divisibles entre 6 menores
que 50, B el conjunto de los nmeros naturales divisibles entre 2 menores
que 50 y C el conjunto de los nmeros naturales divisibles entre 5
menores que 50.Encuentre.
a AUB
b AUC
c BUC
d A B
e A C
f B C
g A B
h A C
i B C
2. Representar gracamente las anteriores operaaciones
3. Si A y B son dos conjuntos no vacios.Encuentra las condiciones que
deben cumplir para que se veriquen las siguientes operaciones:
a (AUB) A
b AUB = B
c A B = B
d A (A B)
e A (A B)
4. Completa en el dibujo las cantidades correspondientes a cada seccin
de la gura y con esa informacin responde las preguntas a, b, c y d
36 personas fueron a Europa, visitaron Espaa, Inglaterra o Francia, sin
embargo, no todas fueron a los tres lugares, para identicar la cantidad exacta
de personas que fueron a cierto pas, se especica cada cantidad en el siguiente
diagrama de Venn.
21 personas fueron a Francia
17 personas fueron a Espaa
16 personas fueron a Inglaterra
9 personas fueron a Francia y a Espaa
8 personas fueron a Espaa y a Inglaterra
6 personas fueron a Francia y a Inglaterra
1. a) El nmero de personas que fue a Francia y Espaa pero no a
Inglaterra es:_______
b) El nmero de personas que fue a Espaa o Inglaterra es:______
c) El nmero de persona que fue a Inglaterra, Espaa y Francia
es:________
d) El nmero de personas que fue a Espaa o Inglaterra pero no a
Francia es:______
Gua de trabajo 3
4.15. Objetivos
Generalidades sobre que es un lgebra de Boole y como se prueba.
Generalidades sobre las leyes del lgebra de Boole y demostraciones.
Generalidades sobre las funciones de Boole con una o mas variables.
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico
4.17. Clases de operaciones
Hasta el momento hemos hablado de operaciones entre proposiciones y
entre conjuntos
Vale la pena clasicar en general las operaciones
El primer tipo se llama operacin binaria, y no slo enlaza dos elementos,
sino que determina un tercero (el resultado de los otros dos) que pertenece al
conjunto que consideramos. Por lo tanto una OPERACIN BINARIA
es una .operacin tal que:
si a; b X,entonces tambin la es a b
Ejemplo 28. la Suma en el conjunto de los naturales es una operacin bi-
naria
Ejemplo 29. pues si m; n N;entonces m+n N:
Ejemplo 30. la Resta en el conjunto de los naturales no es una operacin
5 = N:
El segundo tipo de operacin se llama operacin unitaria, esta en reali-
dad transforma un nmero en otro, por lo tanto unaOPERACIN UNI-
TARIA ' sobre un conjunto B es una .operacin tal que:
Si a B, entonces '(a) B
Ejemplo 31. el operador menos () el conjunto de los enteros es una op-
eracin binaria
pues si m Z;entonces m Z:
Ejemplo 32. la Radicacin en el conjunto de los nmeros reales es una
operacin binaria si y solo si es raz impar; es decir el operador
2n+1
_
+ es
una operacin binaria con n N
pero el operador
2n
_
+ no es una operacin binaria con n N
ntese que 1 R pero
2n
_
1 = R
4.18. lgebra de Boole
Un conjunto B, junto con las operaciones binarias ; denidas sobre l
es un lgebra de Boole,
si se verican las siguientes Propiedades:
Ley conmutativa
1. a) 1) \a; b B; a b B
2) \a; b B; a b B
Ley distributiva
1. a) 1) \a; b; c B; a (b c) = (a b) (a c)
2) \a; b; c B; a (b c) = (a b) (a c)
Elementos neutros
1. a) 1) \a B; e B; a e = a (Neutro Aditivo o cero)
2) \a B; i B; a i = a (Neutro Multiplicativo o
unidad)
Complementacin
1. a) 1) \a B; a
c
B; a a
c
= i (complemento a la unidad)
2) \a B; a
c
B; a a
c
= e (complemento al cero)
mas adelante se probar que a
c
es el mismo en ambos casos.
Ejemplo 33. Sea D
26
= 1; 2; 13; 26 el conjunto de los divisores positivos
del 26; denamos las operaciones binarias as:
Ejemplo 34. a b = MCM(a; b) ( Mnimo Comn mltiplo)
a b = mcd(a; b) ( Mximo Comn divisor)
observe que para que a b = a; b tiene que ser 1(Neutro Aditivo o
cero)
y para que a b = a; b tiene que ser 26(Neutro Multiplicativo o
unidad)
por otra parte:
para que ab = 26; tiene que ser b =
26
a
(complemento de la unidad)
y para que a b = 1; depende de quien sea a as:
Para representar estas operaciones utilizaremos tablas algo parecidas a las
de la escuela.
1 2 13 26
1 1 2 13 26
2 2 2 26 26
13 13 26 13 26
26 26 26 26 13
1 2 13 26
1 1 1 1 1
2 1 2 1 2
13 1 1 13 13
26 1 2 13 26
A continuacin se plantearn otras Propiedades de las Algebras de Boole,
se realizarn las pruebas de estas propiedades para uno de ellas y la otra la
realizar el estudiante con el principio de dualidad.
Ley de idempotencia \a B; a +a = a
1. a) 1) \a B; aa = a
Ley de acotamiento
1. a) 1) \a B; a + 1 = 1
2) \a B; a0 = 0
Ley de absorcin
1. a) 1) \a; b B; a +ab = a
2) \a; b B; a(a +b) = a
Ley asociativa
1. a) 1) \a; b; c B; a + (b +c) = (a +b) +c
2) \a; b; c B; a(bc) = (ab)c
Unicidad del complemento
1. a) 1) \a B; (a +x = 1) . (ax = 0) =x = a
c
Ley de involucin
1. a) 1) \a B; (a
c
)
c
= a
Ley de Morgan
1. a) 1) \a; b B; (a +b)
c
= a
c
b
c
2) \a; b B; (ab)
c
= a
c
+b
c
4.18.1. Funciones reales y funciones booleanas
Hasta ahora se ha mostrado en qu operaciones se basa el Algebra de
Boole y algunas de sus
propiedades.
Utilizando expresiones booleanas, vamos a denir Funciones booleanas,
que son muy parecidas a las funciones matemticas a las que estamos acos-
tumbrados pero con la particularidad de que las variables son booleanas y
que los valores devueltos por la funcin tambin son booleanos, es decir, una
funcin booleana slo puede tomar los valores 0 1.
Como hemos hecho antes, vamos a ver un ejemplo utilizando una funcin
matemtica de las
que todos conocemos. Por ejemplo esta:
f(x) = 2x + 1
Se trata de una funcin Real que tiene una variable Real (x) es decir el
dominio de f es R
5 2.5 0 -2.5 -5
10
5
0
-5
x
y
x
y
hay una innidad de valores en el dominio de f por esto se obtiene una
innidad de puntos en forma de una recta.
Tambin podemos denir funciones reales de 2 ms variables, como por
ejemplo:
f(x; y) = 2x +y
2
f(x; y; z) = z
2
sen(x +y)
f(x
1
; x
2
; x
3
; :::; x
n
) =
3
_
x
1
+x
2
+x
3
+::: +x
n
Como estamos acostumbrados a trabajar con este tipo de funciones, nos
resultan claras. Ahora
vamos a denir funciones booleanas. Para ello hay que tener presente que
trabajaremos con
variables booleanas y que por tanto usaremos las operaciones + y del
Algebra de Boole.
Ejemplo 35. sea la siguiente funcin booleana de una variable:
f(x) = x
c
El valor devuelto por la funcin es el complemento del valor de la variable.
Como la variable x es booleana, slo puede tomar los valores 0 y 1.
Los que la funcin F toma son:
f(0) = 0
c
= 1
f(1) = 1
c
= 0
Ejemplo 36.
Ejemplo 37. Sea la siguiente funcin booleana se dos variables:
f(x; y) = x
c
(x +y)
obtenemos:
f(0; 0) = 0
c
(0 + 0) = 1 0 = 0
f(0; 1) = 0
c
(0 + 1) = 1 1 = 1
f(1; 0) = 1
c
(1 + 0) = 0 1 = 0
f(1; 1) = 1
c
(1 + 1) = 0 0 = 0
Antes de calcular los valores que toma la funcin, se pueden aplicar algu-
nas propiedades para obtener una funcin ms simplicada:
del ejemplo anterior
f(x; y) = x
c
(x +y)
= x
c
x +x
c
y (ley distributiva)
= 0 +x
c
y (complemento al cero)
= x
0
y
en el cual tambin obtenemos:
f(0; 0) = 0
0
0 = 1 0 = 0
f(0; 1) = 0
0
1 = 1 1 = 1
f(1; 0) = 1
0
0 = 0 1 = 0
f(1; 1) = 1
0
1 = 0 0 = 0
4.19. Actividades
1. Dgase cules de las siguientes son operaciones unitarias
a) la operacin "tomar el inverso de"en el conjunto de los nmeros
reales.
b) la operacin "tomar el inverso de"en el conjunto de los nmeros
enteros.
c) encuntrese otro conjunto sobre el cual "tomar el inverso de"sea
una operacin unitaria.
2. En qu circunstancias son +; ; ; ; operaciones binarias:
a) En el sistema de los nmeros reales o subconjuntos de este sistema.
b) En el sistema de los nmeros complejos.
2. Probar las siguientes equivalencias de expresiones por los mtodos de:
a. Tablas de verdad.
Ejercicio 19. 1.
2. a) Transformaciones algebraicas(propiedades del lgebra de Boole)
ab
c
+a
c
b +a
c
b
c
= a
c
+b
c
a
c
b
c
+ac +bc
c
= a
c
c
c
+b
c
c +ab
a
c
b
c
+bd +ab
c
= d +d
c
b
c
(a +b
c
+ab)(a
c
+b)ab
c
= 0
(a +b
c
+ab
c
)(ab +bc
c
+a
c
c) = ab +a
c
b
c
c
(ab +c +d)(c
c
+d)(c
c
+d +e) = abc
c
+d
1.
Gua de trabajo 4
4.20. Objetivos
Entradas y salidas de las compuertas lgicas.
tablas de verdad a partir de mediciones en compuertas lgicas.
Simplicacin Tabular mediante Mapas de Karnaugh
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico
B
A
LA COMPUERTA AND
El esquema de la gura, da una idea de funcionamiento de la compuerta
AND. Examinando de cerca el circuito, notamos que la lmpara encender
solo si ambos interruptores se cierran o se activan simultneamente. Si uno
de los interruptores esta abierto, el circuito se interrumpe y la lmpara no se
enciende. Todas las posibles combinaciones para los interruptores A y B se
muestran en la tabla de verdad.
A B Lampara
1 1 1
1 0 0
0 1 0
0 0 0
La tabla de esta gura es la misma que la de la conjuncin, es decir dos
interruptores en serie se representan con la compuerta AND
Para representar una compuerta AND se utilizar el smbolo siguiente
Esta compuerta AND es un dispositivo que posee dos entradas A y B y
una salida A B.
El lgebra booleana es una forma de lgica simblica que muestra como
operan las compuertas lgicas. Una expresin booleana es un mtodo de
mostrar que ocurre en un circuito lgico.
A B = Y es la expresin booleana de la compuerta AND se lee .
A
AND
El punto () signica la funcin lgica AND en lgebra booleana, y no la
operacin de multiplicar como en el lgebra corriente.
LA COMPUERTA OR El grco de este circuito ilustra el fun-
cionamiento de la compuerta OR, en el cual los interruptores han sido conec-
tados en paralelo. El encendido de la lmpara se producir si se cierra
cualquiera de los dos interruptores o ambos. Todas las posibles combina-
ciones de los interruptores se muestran en la tabla siguiente.
A B Lampara
1 1 1
1 0 1
0 1 1
0 0 0
La tabla de esta gura es la misma que la de la disyuncin, es decir dos
interruptores en serie se representan con la compuerta OR
Para representar una compuerta OR se utilizar el smbolo siguiente:
Esta compuerta OR es un dispositivo que posee dos entradas A y B y
una salida A +B.
A + B = Y es la expresin booleana de la compuerta OR se lee .
A
OR
El signo mas (+) signica la funcin lgica OR en lgebra booleana, y no
la operacin de sumar como en el lgebra corriente.
COMPUERTA INVERSORA En este circuito cuando se cierra el inter-
ruptor A, la bombilla se apaga,(Por qu?), al abrir el interruptor la bombilla
se enciende.
La tabla es:
A lmpara
1 0
0 1
Es la misma tabla de la negacin ~ p; a este esquema se le llama La
compuerta inversora,
esta posee una entrada y una salida como se muestra en la gura. Su fun-
cin es producir una salida inversa o contraria a su entrada es decir convertir
unos a ceros y ceros a unos.
LA PUERTA NAND Una compuerta NAND es un dispositivo lgico que
opera en forma exactamente contraria a, una compuerta, AND, entregando
una salida baja cuando todas sus entradas son altas y una salida alta mientras
exista por lo menos un bajo a cualquiera de ellas:
En forma de expresin booleana (AB)
0
.
Observar que el smbolo NAND es smbolo AND con un pequeo crculo
a la salida.
LA PUERTA NOR Se ha conectado un inversor a la salida de una puerta
OR, obsrvese que se ha aadido un pequeo circulo inversor al smbolo OR
para formar el smbolo NOR.
Debido a que los interruptores A y B estn en paralelo entre si y con
la lmpara (Y) esta ultima solo enciende cuando ambos interruptores estn
abiertos y permanece apagada mientras cualquiera de ellos , o ambos estn
cerrados.
Smbolo lgico de una compuerta NOR es:
Podemos decir que este dispositivo lgico opera en forma exactamente
opuesta a una compuerta OR , entregando una salida alta cuando todas sus
entradas son bajas y una salida baja cuando existe por lo menos un alto en
cualquiera de ellas.
En forma de expresin booleana (A +B)
c
.
Ejemplo 38. construya un circuito con compuertas lgicas que exprese la
siguiente funcin booleana de dos variables:
Ejemplo 39. f(x; y) = x
0
+xy +xy
0
se comienza con cada sumando
x
0
xy
xy
0
La suma de todos ellas es una compuerta OR de tres entradas:
El lector puede probar que la tabla de verdad de esta funcin booleana es
una tautologa:
debido a que xyz = (xy)z = x(yz) y que x+y+z = (x+y)+z =
x + (y +z)
una compuerta OR de tres entradas puede reemplazarse por dos com-
puertas OR de dos entradas
as:
es equivalente a:
(X+Y)+Z
De manera semejante ocurre para la compuerta AND.
Ejemplo 40. Encontrar una representacin booleana del siguiente circuito
de compuertas lgicas.
solucin: en cada parte del circuito hay un mensaje:
en conclusin F(x; y; z) = [xyz + (yz
c
+y
c
z)]
c
Es posible que la expresin F(x; y; z) = [xyz + (yz
c
+ y
c
z)]
c
se pueda
simplicar ms.
4.22. Actividades
1. Probar que los dos circuitos siguientes realizan la misma funcin lgica:
Ejercicio 20. 1.
2. Simplicar las siguientes expresiones booleanas utilizando mapas de
Karnaugh
ab/(a +b/)c/ +b
a +b + (a/ +b +c)/
bc +da +c + (dc(ab +dc))
3. Construya un circuito de compuertas lgicas que est representado por
la funcin:
Ejercicio 21. 1.
2. (a) f(x; y; z) = x +y
c
+z
(b) f(x; y) = [(x +y)
c
(x +y)]
c
(c) f(x; y; z; w) = (xy +yzw
c
)
c
+x
c
zw
c
4. Simplique los circuitos anteriores aplicando el mtodo de Karnaugh
5. Convertir el siguiente circuito en uno que solo utilice compuertas NAND
6. Encuentre los implicantes primos de este mapa de Karnaugh

Modulo de Logica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Modulo de Logica

Cargado por

Copyright:

Formatos disponibles

Mdulo de Lgica matemtica

Favin Arenas A. y Amaury Camargo .

Favin Arenas. 57 Camargo Bentez.

También podría gustarte