Anda di halaman 1dari 136

Mdulo de Lgica matemtica

Favin Arenas A. y Amaury Camargo .

ndice
1. Generalidades.

1.1. Objetivos generales . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Introduccin a la lgica matemtica . . . . . . . . . . . . . . .

1.3. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Competencias . . . . . . . . . . . . . . . . . . . . . . . . . . .

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.3. Estrategias pedaggicas o actividades de aprendizaje . . . . . 35
2.4. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 35
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.3. Estrategias pedaggicas o actividades de aprendizaje . . . . . 50
3.4. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 50
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.

Camargo Bentez.

NDICE

Lgica Matemtica

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.3. Estrategias pedaggicas o actividades de aprendizaje . . . . . 67
4.4. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 67
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.8. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 101
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.12. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 109
4.13. Algebra de conjuntos . . . . . . . . . . . . . . . . . . . . . . . 110
4.14. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.15. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.16. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 115
Favin Arenas.

Camargo Bentez.

NDICE

Lgica Matemtica

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.21. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 125
4.22. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134

Favin Arenas.

Camargo Bentez.

Lgica Matemtica

1.

Generalidades.

Nombre del curso:


Programa:
Area:
Semestre:
Crditos:
Prerrequisitos:

Favin Arenas.

Camargo Bentez.

1.1 Objetivos generales

1.1.

Lgica Matemtica

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 problemticas de la demostracin automtica de teoremas y la Programacin 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.

Favin Arenas.

Camargo Bentez.

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 subjetiva 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 lgico, 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?

Favin Arenas.

Camargo Bentez.

1.3 Objetivos

1.3.

Lgica Matemtica

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 proposiciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir
si es una ley.

Favin Arenas.

Camargo Bentez.

1.4 Competencias

1.4.

Lgica Matemtica

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 proposiciones compuestas utilizando los conectivos lgicos.

Favin Arenas.

Camargo Bentez.

1.5 Estrategias pedaggicas o actividades de aprendizaje


Lgica Matemtica

1.5.

Estrategias pedaggicas o actividades de aprendizaje


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.

Favin Arenas.

10

Camargo Bentez.

1.7 Proposiciones

1.7.

Lgica Matemtica

Proposiciones

La lgica es toda una disciplina en la que las reexiones y el razonamiento 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.
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,..

Favin Arenas.

11

Camargo Bentez.

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 proposiciones 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 fragmentar 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.

Favin Arenas.

12

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

"Las rosas son rojas y las violetas azules"es un enunciado compuesto por los subenunciados "las rosas son rojas "las violetas
2

son azules".
"El es inteligente o estudia todas las noches"es, implcitamente,
un enunciado compuesto por los subenunciados "El es inteligente

"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 T ablas de
verdad
1.8.1.

Proposiciones conjuntivas, p ^ q

Dos enunciados cualesquiera se pueden combinar con la palabra "para


2

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

Favin Arenas.

13

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

el valor de esta proposicin conjuntiva depender de que las dos proposiciones 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 conjuntiva 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 siguiente tabla:
p

p^q

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.

Favin Arenas.

14

Camargo Bentez.

1.8

Clases de proposiciones

1.8.2.

Lgica Matemtica

Proposiciones disyuntivas, p _ q

Dos enunciados se combinan con la palabra .o"para formar un enunciado


compuesto 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".
El valor de esta proposicin conjuntiva depender de que las dos proposiciones que la conforman sean no sean falsas.
La tabla de verdad del enunciado compuesto p _ q est dada por la siguiente tabla:
p

p_q

En este caso la nica manera en que no salga agua es que ambos grifos
estn cerrados

Favin Arenas.

15

Camargo Bentez.

1.8

Clases de proposiciones

1.8.3.

Lgica Matemtica

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 siguiente tabla:

1.8.4.

pYq

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


en forma simblica
Favin Arenas.

16

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

p!q

En las proposiciones condicionales llamamos a la primera proposicin


que la compone antecedentey a la segunda consecuente. Cuando el antecedente 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

p!q

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.

Favin Arenas.

17

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

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

p$q

0 0
1
La proposicin bicondicional p $ q es equivalente por su tabla de verdad a
(p ! q) ^ (q ! p)
Favin Arenas.

18

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

Compruebe la tabla de verdad para este circuito de acueducto:

1.8.6.

(p ! q) ^ (q ! p)

Proposiciones negativas:

Aunque no es un conectivo lgico (como _; ^; Y ,=); ,) genera nuevas


proposiciones con solo cambiarle el valor de verdad y se simboliza anteponiendo 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:

19

Camargo Bentez.

Favin Arenas.

1.8

Clases de proposiciones

Lgica Matemtica

p
Problema 1.
p

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.

Favin Arenas.

20

Camargo Bentez.

1.8

Clases de proposiciones

1.8.7.

Lgica Matemtica

grifo p

grifo q

grifo r

Sale?

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_
para esto se determinan inicialmente las tablas de:p; q;
y por ltimo (p ! q) ^ (q_

p)

p!q

Favin Arenas.

p; p ! q; q_

p)

q_

21

(p ! q) ^ (q_

p)

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

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.
No de lneas = 2n
Donde n = nmero de variables distintas.
El propsito de estas tablas de verdad consiste en probar si dos proposiciones 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 (
para eso validamos la proposicin (p ! q) , (

p _ q)

p _ q) mediante su tabla de

verdad
Ejemplo 6.
p

p!q

p_q

(p ! q) , (

p _ q)

Ntese que el valor de verdad es en todo caso verdadero, cuando esto


ocurre le llamamos TAUTOLOGA, cuando tenemos una tautologa tenemos una ley lgica.
Veamos otro ejemplo: (p ! q) ^ (p ! r) ) p ! (q ^ r)

Favin Arenas.

22

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

(p ! q) (p ! r) (q ^ 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

(p ! q) ^ (p ! r) p ! (q ^ r) (p ! q) ^ (p ! r) ) p ! (q ^ r)
1

Un ejemplo de las leyes lgicas son :


Leyes de Idempotencia

p^p,p
p_p,p
Favin Arenas.

23

Camargo Bentez.

1.8

Clases de proposiciones

Lgica Matemtica

Leyes conmutativas

p^q ,q^p
p_q ,q_p
pYq ,qYp
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
Favin Arenas.

24

Camargo Bentez.

1.8

Clases de proposiciones

(p ^ q) ,

p_

(p _ q) ,

p^

Lgica Matemtica

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 proposiciones no pueden ser simultneamente verdaderas. veamos
Ejemplo 7. pruebe que las proposiciones p es excluyente con
se debe validar (p^
p

(p^

q)
q)

Ejemplo 8. pruebe que las proposiciones (p^


se debe validar (p^

Favin Arenas.

q) es excluyente con (p ! q)

q) ^ (p ! q)

25

Camargo Bentez.

1.9 Cuanticadores

Lgica Matemtica

p!q

(p^

q) (p^

q) ^ (p ! q)

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, extremadamente importante en Matemtica, de obtener proposiciones a partir
de una condicin p(x), es anteponerle a esta los smbolos 8x; 9x y 9!x que
se llaman cuanticadores (cuanticador universal , cuanticador existencial
y cuanticador existencial de unicidad respectivamente).
La proposicin 8x : 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 9x : 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 9!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.

Favin Arenas.

26

Camargo Bentez.

1.9 Cuanticadores

Lgica Matemtica

Por ejemplo, siendo x una variable real, son verdaderas las proposiciones:
1) 8x : x2 + 1 > 0
2) 9x : x2

4=0

3) 9!x : 8x

4=0

Justicacin:
1) Como ningn nmero al cuadrado es negativo
8x : x2

8x : x2 + 1

0+1

8x : x2 + 1

y como

1>0

8x : x2 + 1 > 0
2) Mostremos los valores de x en los cuales:x2

4=0;

x2 = 4
p
x=
4
x=

solo con lo valores


3) Se pide 8x

2 y 2 la proposicin es verdadera

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
Favin Arenas.

27

Camargo Bentez.

1.10 Actividades

1.10.

Lgica Matemtica

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) 52 = 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) x2 + 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

Favin Arenas.

28

Camargo Bentez.

1.10 Actividades

Lgica Matemtica

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

p!q

4. Una gura de 4 lados se llama cuadriltero, si tiene 5 lados se llama


pentgono, si tiene 6 lados se llama hexgonoEn 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 !
b)

(p $ q)

Favin Arenas.

29

Camargo Bentez.

1.10 Actividades

Lgica Matemtica

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^
b)

(p ! q)

c) (p _ q ) Y (p ! r)
7. Completa las siguientes tablas de verdad

a)

b)

Favin Arenas.

p^

pYq

p$q

p^

(p $ q) ! (p^

30

(p Y q) _ (

p^

q)

q)

Camargo Bentez.

1.10 Actividades

c)

Lgica Matemtica

1 1

1 0

0 1

0 0

1 1

1 0

0 1

0 0

((p ! r) ^ (q ! r)) ! r

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

Jos cumpli?

Gan el equipo de Jos

v Jos pag el almuerzo

Gan el equipo de Jos

v Jos no pag el almuerzo f

Perdi el equipo de Jos f

Jos pag el almuerzo

Perdi el equipo de Jos f

Jos no pag el almuerzo f

10. Encuentre una expresin que solo contenga ^; _ y la negacin

;para

representar:
Favin Arenas.

31

Camargo Bentez.

1.10 Actividades

Lgica Matemtica

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.

Favin Arenas.

32

Camargo Bentez.

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 conjuntos 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 partida 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.

Favin Arenas.

33

Camargo Bentez.

2.1 Objetivos

2.1.

Lgica Matemtica

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 compuestas y nuevos conjuntos.
Reconoce a partir de una proposicin el conjunto equivalente.
Comprende y demuestra las leyes logicas y de conjuntos.

Favin Arenas.

34

Camargo Bentez.

2.3 Estrategias pedaggicas o actividades de aprendizaje


Lgica Matemtica

2.3.

Estrategias pedaggicas o actividades de aprendizaje


Mesa redonda.
Presentacin de trabajos.
Sesin de Chat.
Sesin Foro.
Talleres
Encuentro presencial

2.4.

Recursos de aprendizaje
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.

Favin Arenas.

35

Camargo Bentez.

2.5 Teora de conjuntos

2.5.

Lgica Matemtica

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 conjunto, pero tambin es conjunto aunque tenga solo un elemento o aunque no
tenga elementos; por lo tanto son conjuntos: la familia, la semana, el directorio 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 f g, tambin 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 = f0; 1; 2; 3; 4; 5; 6; 7; 8; 9g
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 2 A (a es un elemento de A).
Pero si se tiene un elemento c que no pertenece al conjunto A ,se escribe
Favin Arenas.

36

Camargo Bentez.

2.6 Clases de conjuntos

Lgica Matemtica

c2
= 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 simboliza con
El conjunto de los nmeros pares que terminan en 3
Representmoslo as:
P = flos nmeros pares que terminan en 3 g =
Conjunto unitario: es el que tiene un solo elemento.
B = { la capital de Colombia}
M = {Lucy}
C = f0g
Conjunto nito: es aquel que tiene un nmero nito de elementos .
Tambin es nito el conjunto unitario.
Favin Arenas.

37

Camargo Bentez.

2.7 Determinacin de un conjunto


Lgica Matemtica
S = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}
N = f3; 13; 23; 33; 34; 35g
T = {Miguel, Jos}
A = fa; b; c; d; :::; x; y; zg
Conjunto innito: si tiene tantos elementos que es imposible contarlos
se le llama conjunto innito.
N = f1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; :::g
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 = fa; e; i; o; ug
F = f1; 11; 21; 31; 41; 51; 61; 71; 81; 91; 101; 111; ::::g
Y =
Por comprensin:
Favin Arenas.

38

Camargo Bentez.

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

As que:
(B

Favin Arenas.

A) () (x 2 B =) x 2 A)

39

Camargo Bentez.

2.8 Algebra de conjuntos

2.8.

Lgica Matemtica

Algebra de conjuntos

Unin de Conjuntos Los conjuntos A = fa; b; c; d; eg y B = fa; e; i; o; ug


se combinan para formar un nuevo conjunto, donde ningn elemento puede
estar repetido fa; b; c; d; e; i; o; ug, a este conjunto lo llamaremos unin de A
y B.
M = f1; 2; 3; 4; 5g y J = f1; 3; 5; 7; 9g entonces
M [ J = f1; 2; 3; 4; 5; 7; 9g
En forma grca la unin es la regin resaltada

Simblicamente la unin de A y B es:


AU B = fx : x 2 A _ x 2 Bg
Interseccin de Conjuntos En esta operacin de conjuntos se trata de
encontrar los elementos comunes a ambos conjuntos, es decir los repetidos,
veamos:
M = f1; 2; 3; 4; 5g
Favin Arenas.

J = f1; 3; 5; 7; 9g entonces
40

Camargo Bentez.

2.8 Algebra de conjuntos

Lgica Matemtica

La interseccin la representamos por:


M \ J = f1; 3; 5g pues son los que se repiten. En forma grca la interseccin es la regin resaltada

Simblicamente la intercepcin de A y B es:


A \ B = fx : x 2 A ^ x 2 Bg
Diferencia de Conjuntos En los conjuntos V = fa; e; i; o; ug y A =
fa; e; og
La diferencia de V

A es el conjunto formado por los elementos de V

que no estn en A as:


V

A = fi; og

M = f1; 2; 3; 4; 5g y J = f1; 3; 5; 7; 9g entonces


La diferencia la representamos por:
M

J = f2; 4g pues son los que estn en M y no en J.

Tambin se puede calcular J


J

M = f7; 9g pues son los que estn en J y no en M .

Favin Arenas.

41

Camargo Bentez.

2.8 Algebra de conjuntos

Lgica Matemtica

En forma grca la diferencia es la regin sombreada


Simblicamente es:
M

J = fx : x 2 M ^ x 2
= Jg

M = fx : x 2 J ^ x 2
= Mg

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 = f0; 1; 2; 3; 4; 5; 6; 7; 8; 9g y el conjunto A = f0; 1; 2; 3g
Llamaremos complemento de A , al conjunto formado por todos los elementos de U que no estn en A, o sea f4; 5; 6; 7; 8; 9g, a este conjunto lo
denotaremos con A0
Notese que A0 = U

U = f1; 3; 5; 7; 11; 13; 17; 19; 23; 29g


Si B = f1; 11; 29g entonces

B0 = f3; 5; 7; 13; 17; 19; 23g

Si C = f3; 5; 7; 17; 23g entonces

C0 = f1; 11; 13; 19; 29g

Si D = f1; 3; 5; 7; 11; 13; 17; 19; 23; 29g entonces

D0 =

Simblicamente es:
A0 = fx : x 2 U ^ x 2
= Ag
Favin Arenas.

42

Camargo Bentez.

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 "(^), .o"(_) y la negacin ( ).
2

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

A0

La contenencia de conjuntos es anloga a la implicacin de proposiciones A

La diferencia de conjuntos es anloga a la implicacin de proposicionesA

p!q,

Por lo tanto gozan de propiedades semejantes a las proposiciones:


Leyes de Idempotencia

A\A=A
A[A=A
Leyes conmutativas
43

B = A \ B0

p_q

Favin Arenas.

Camargo Bentez.

p!q

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 = A0 \ B 0
(A \ B)0 = A0 [ B 0
Leyes de Involucin
(A0 )0 = A
Favin Arenas.

44

Camargo Bentez.

2.10 Actividades

Lgica Matemtica

Veamos grcamente la ley de Morgan (A [ B)0 = A0 \ B 0

2.10.
1.

Actividades
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
Favin Arenas.

45

Camargo Bentez.

2.10 Actividades

Lgica Matemtica

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:

Favin Arenas.

46

Camargo Bentez.

2.10 Actividades

Lgica Matemtica

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.

Favin Arenas.

47

Camargo Bentez.

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

Favin Arenas.

48

Camargo Bentez.

3.1 Objetivos

3.1.

Lgica Matemtica

Objetivos

El alumno conocer, utilizar y aplicar los siguientes elementos bsicos


para la solucin de un problema:
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.

Favin Arenas.

49

Camargo Bentez.

3.3 Estrategias pedaggicas o actividades de aprendizaje


Lgica Matemtica

3.3.

Estrategias pedaggicas o actividades de aprendizaje


Mesa redonda.
Presentacin de trabajos.
Sesin de Chat.
Sesin Foro.
Talleres
Encuentro presencial

3.4.

Recursos de aprendizaje
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.

Favin Arenas.

50

Camargo Bentez.

3.5 Clases de operaciones

3.5.

Lgica Matemtica

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 2 X,entonces tambin la es a

Ejemplo 10. la Suma en el conjunto de los naturales es una operacin binaria


pues si m; n 2 N;entonces m + n 2 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 7 12 =
52
= N:
Ejemplo 12. la divisin en el conjunto de los naturales no es una operacin
binaria pues existen elementos de N; como por ejemplo 9 y 2 tal que 9
9
2
= N:
2

2=

Ejemplo 13. La operacin > en el conjuntofa; b; cg se dene como sigue en


la siguiente tabla:
> a b

a b

a c

a c
a

Favin Arenas.

51

Camargo Bentez.

3.5 Clases de operaciones

Lgica Matemtica

El segundo tipo de operacin se llama operacin unitaria, esta en realidad transforma un nmero en otro, por lo tanto unaOPERACIN UNITARIA ' sobre un conjunto B es una .operacin tal que:
Si a 2 B, entonces '(a) 2 B
Ejemplo 14. el operador menos ( ) el conjunto de los enteros es una operacin binaria
pues si m 2 Z;entonces

m 2 Z:

Ejemplo 15. la Radicacin en el conjunto de los nmeros reales es una


p
operacin binaria si y solo si es raz impar; es decir el operador 2n+1 es
una operacin binaria con n 2 N
p
pero el operador 2n no es una operacin binaria con n 2 N
p
ntese que 1 2 R pero 2n 1 2
= 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:


Favin Arenas.

52

Camargo Bentez.

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) 8a; b 2 B; a

b2B

2) 8a; b 2 B; a

b2B

Ley distributiva
1.

a) 1) 8a; b; c 2 B; a

(b

c) = (a

b)

(a

c)

2) 8a; b; c 2 B; a

(b

c) = (a

b)

(a

c)

Elementos neutros
1.

a) 1) 8a 2 B; 9e 2 B; a
2) 8a 2 B; 9i 2 B;

e = a (Neutro Aditivo o cero)


a

i = a (Neutro Multiplicativo o

unidad)

Complementacin
1.

a) 1) 8a 2 B; 9ac 2 B; a

Favin Arenas.

ac = i (complemento a la unidad)
53

Camargo Bentez.

3.6 lgebra de Boole

Lgica Matemtica

2) 8a 2 B; 9ac 2 B; a

ac = e (complemento al cero)

mas adelante se probar que ac es el mismo en ambos casos.

Ejemplo 16. Sea D26 = f1; 2; 13; 26g el conjunto de los divisores positivos
del 26; denamos las operaciones binarias as:
a

b = M CM (a; b)
a

b = mcd(a; b)

( Mnimo Comn mltiplo)


( 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:
26
(complemento de la unidad)
a
b = 1; depende de quien sea a as:

para que a b = 26; tiene que ser b =


y para que a

si a = 1 entonces b = 26
si a = 2 entonces b = 13
si a = 13 entonces b = 2
si a = 26 entonces b = 1
Para representar estas operaciones utilizaremos tablas algo parecidas a las
de la escuela.
1

13 26

1 2

13 26

13

26

26

26

13 13 26 13

26

13 1

13

13

26 26 26 26

13

26 1

13

26

Favin Arenas.

54

Camargo Bentez.

3.7 Principio de dualidad

3.7.

Lgica Matemtica

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
a + b; a

b por

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) 8a 2 B; a + a = a
2) 8a 2 B; aa = a

Prueba (i): Sea a 2 B

a = a + 0 = a + (aac ) = (a + a) (a + ac ) =

(a + a) (1) = a + a
Ley de acotamiento
1.

a) 1) 8a 2 B; a + 1 = 1

Favin Arenas.

55

Camargo Bentez.

3.7 Principio de dualidad

Lgica Matemtica

2) 8a 2 B; a0 = 0
Prueba (i): Sea a 2 B

a+1 = (a + 1) 1 = (a + 1) (a+ac ) = a+(1ac ) =

a + ac = 1
Ley de absorcin
1.

a) 1) 8a; b 2 B; a + ab = a
2) 8a; b 2 B; a(a + b) = a

Prueba (i): Sea a; b 2 B

a + ab = a1 + ab = a(1 + b) = a(1) = a

Ley asociativa
1.

a) 1) 8a; b; c 2 B; a + (b + c) = (a + b) + c
2) 8a; b; c 2 B; a(bc) = (ab)c

Prueba (i): Sea a; b; c 2 B


a + (b + c) = 1 [a + (b + c)]
= ac a [a + (b + c)]
= ac [aa + a (b + c)]
= ac [a + a (b + c)]
= ac a
= ac [a + ac]
= ac [a (a + b) + ac]
= ac a [(a + b) + c]
= 1 [(a + b) + c]
= (a + b) + c
Favin Arenas.

56

Camargo Bentez.

3.7 Principio de dualidad

Lgica Matemtica

Unicidad del complemento


1.

a) 1) 8a 2 B; (a + x = 1) ^ (ax = 0) ) x = ac

Prueba (i): Sea a 2 B

supngase a + x = 1 y ax = 0

ac = ac 1 = ac (a + x) = ac a + ac x = 0 + ac x = ac x = ac (x + 0) =
ac x + ax = (ac + a)x = 1x = x
Ley de involucin
1.

a) 1) 8a 2 B; (ac )c = a
Prueba (i): Sea a 2 B

a + ac = 1; esto signica que a es el

complemento de ac ; es decir a = (ac )c


Ley de Morgan
a) 1) 8a; b 2 B; (a + b)c = ac bc
2) 8a; b 2 B; (ab)c = ac + bc

Prueba (i): Sea a; b 2 B

(a + b) + ac bc = a + (b + ac bc ) = a +

(b + ac )(b + bc )
= a + (b + ac )1 =
a + b + ac = a + ac + b = 1 + b = 1
con esto por la unicidad del complemento (a + b)c = ac bc

Favin Arenas.

57

Camargo Bentez.

3.8 Funciones booleanas

3.8.
3.8.1.

Lgica Matemtica

Funciones booleanas
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 acostumbrados 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

Favin Arenas.

58

Camargo Bentez.

3.8 Funciones booleanas

Lgica Matemtica

y
10

0
-5

-2 .5

2 .5

5
x

-5

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)
p
f (x1 ; x2 ; x3 ; :::; xn ) = 3 x1 + x2 + x3 + ::: + xn
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.
Favin Arenas.

59

Camargo Bentez.

3.8 Funciones booleanas

Lgica Matemtica

Ejemplo 17. sea la siguiente funcin booleana de una variable:


f (x) = xc
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 0y 1.
Los que la funcin F toma son:
f (0) = 0c = 1
f (1) = 1c = 0

Ejemplo 18.
Ejemplo 19. Sea la siguiente funcin booleana se dos variables:
f (x; y) = xc (x + y)
obtenemos:
f (0; 0) = 0c (0 + 0) = 1 0 = 0
f (0; 1) = 0c (0 + 1) = 1 1 = 1
f (1; 0) = 1c (1 + 0) = 0 1 = 0
f (1; 1) = 1c (1 + 1) = 0 0 = 0
Antes de calcular los valores que toma la funcin, se pueden aplicar algunas propiedades para obtener una funcin ms simplicada:
del ejemplo anterior
f (x; y) = xc (x + y)
= xc x + xc y

(ley distributiva)

= 0 + xc y

(complemento al cero)

= x0 y

Favin Arenas.

60

Camargo Bentez.

3.8 Funciones booleanas

Lgica Matemtica

en el cual tambin obtenemos:


f (0; 0) = 00 0 = 1 0 = 0
f (0; 1) = 00 1 = 1 1 = 1
f (1; 0) = 10 0 = 0 1 = 0
f (1; 1) = 10 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) = xc (x + y)
su tabla es:
x

f (x; y)

El nmero de las de la tabla de verdad depende del nmero de variables


que usemos.
consideremos h(x; y; z) = x + yz

Favin Arenas.

61

Camargo Bentez.

3.8 Funciones booleanas

Favin Arenas.

Lgica Matemtica

yz

x + yx

62

Camargo Bentez.

3.9 Actividades

3.9.

Lgica Matemtica

Actividades

Ejercicio 2. Probar las siguientes equivalencias de expresiones por los mtodos de:
1.

a) Tablas de verdad.
b) Transformaciones algebraicas(propiedades del lgebra de Boole)

abc + ac b + ac bc = ac + bc
ac bc + ac + bcc = ac cc + bc c + ab
ac bc + bd + abc = d + dc bc
(a + bc + ab)(ac + b)abc = 0
(a + bc + abc )(ab + bcc + ac c) = ab + ac bc c
(ab + c + d)(cc + d)(cc + d + e) = abcc + 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 corresponder un elemento x tal que x Y y = e
Favin Arenas.

63

Camargo Bentez.

3.9 Actividades

Lgica Matemtica

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 ltima 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.
Favin Arenas.

64

Camargo Bentez.

Lgica Matemtica

UNIDAD DE APRENDIZAJE IV
4.

Introduccin al mtodo de Karnaugh

El mtodo de Karnaugh convierte una expresin booleana a otra ms simplicada. 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.

Favin Arenas.

65

Camargo Bentez.

4.1 Objetivos

4.1.

Lgica Matemtica

Objetivos

El alumno conocer, utilizar y aplicar los siguientes elementos bsicos


para la solucin de un problema:
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 compuertas lgicas.
Construye tablas de verdad a partir de mediciones en compuestos lgicos.
Representa funciones lgicas mediante simbologa electrnica normalizada y de uso tradicional.
Reconoce por su smbolo, forma o nomenclatura las diferentes funciones
lgicas.

Favin Arenas.

66

Camargo Bentez.

4.3 Estrategias pedaggicas o actividades de aprendizaje


Lgica Matemtica

4.3.

Estrategias pedaggicas o actividades de aprendizaje


Mesa redonda.
Presentacin de trabajos.
Sesin de Chat.
Sesin Foro.
Talleres
Encuentro presencial

4.4.

Recursos de aprendizaje
Aula de clases
Laboratorios
Auditorios.
Videobeam
Retroproyector.

Favin Arenas.

67

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

4.5.

Mtodo de Karnaugh para la Simplicacin de circuitos

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 herramienta ms potente entre los diseadores de computadores y expertos en
Favin Arenas.

68

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

lgica digital durante la dcada de los 50.

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.

Favin Arenas.

Lampara

69

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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:

Favin Arenas.

70

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

La tabla de verdad de esta ltima coincide con el conjuntivo mltiple


p^q^r
es decir:
p

LA COMPUERTA

p^q^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

OR El grco de este circuito ilustra el fun-

cionamiento de la compuerta OR, en el cual los interruptores han sido conectados en paralelo. El encendido de la lmpara se producir si se cierra

Favin Arenas.

71

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

cualquiera de los dos interruptores o ambos. Todas las posibles combinaciones de los interruptores se muestran en la tabla siguiente.

Lampara

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.
Favin Arenas.

72

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

A + B = Y es la expresin booleana de la compuerta OR se lee .A OR


B igual a la salida Y"
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-

Favin Arenas.

73

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

ruptor A, la bombilla se apaga,(Por qu?), al abrir el interruptor la bombilla


se enciende.
La tabla es:
A

lmpara

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 funcin 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.
Favin Arenas.

74

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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 siguientes:

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.
Favin Arenas.

75

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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
Favin Arenas.

76

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

cualquiera de ellas.
En forma proposicional

(p _ q).

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

A XOR B

la cual es equivalente a la disyuncin exclusiva


Favin Arenas.

77

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

pYq

Note que XOR es combinacin de los anteriores:


apliquemos el calculo proposicional:
pYq =

(p , q)

[(p ! q) ^ (q ! p)]

(p ! q)_

= (p^

(q ! p)

q) _ (q^

= (p _ q) ^ (p_

= (p _ q)^
= (p^

ley distributiva

p) ^ (

p_

q _ q) ^ (

p_

p_

q)

q)

q)

q) _ (q^

p) _ (q^

ley distributiva
q)

p) _ 0

complemento a cero
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 XOR B = A0 B+AB 0
VERIFICACIN:
Favin Arenas.

p) = 1

Ley de Morgan
c

q) _ (q^

siempre (p_

simplificando

(p ^ q)

p) _ (p^

= 0 _ (p^

negacin del condicional

p)

= (p _ q) ^ 1 ^ 1 ^ (
= (p _ q) ^ (

aplicando la ley de Morgan

78

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

A=1 y B=1

A=1 y B=0

A=0 y B=1

A=0 y B=0

Favin Arenas.

79

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

Favin Arenas.

80

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

Ejemplo 20. construya un circuito con compuertas lgicas que exprese la


siguiente funcin booleana de dos variables:
Ejemplo 21. f (x; y) = x0 + xy + xy 0
se comienza con cada sumando
x0

xy

XY

xy 0
Favin Arenas.

81

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

XY

X
X+XY+XY
Y

Favin Arenas.

82

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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 compuertas 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 + x0z0

Ejemplo 24. Encontrar una representacin booleana del siguiente circuito


de compuertas lgicas.
Favin Arenas.

83

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

(X+Y)+Z

Ejemplo 23.

y
xyz+xy

Favin Arenas.

84

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

x
y
z

xyz
(xyz)NOR(yzc+ycz)
=[(xyz)+(yzc+ycz)]c

x
y
z

yc
yc XOR zc=
(yc)c(zc)+(yc)(zc)c
=yzc+ycz

zc

Favin Arenas.

85

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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

= (xc + y c + z c )((yz c )c (y c z)c )

ley de Morgan

= (xc + y c + z c )((y c + (z c )c )((y c )c + z c )

ley de involucin

= (xc + y c + z c )(y c + z)(y + z c )

ley distributiva

= (xc + y c + z c )(yz + yy c + zz c + y c z c )

Complemento al cero

= (xc + y c + z c )(yz + 0 + 0 + y c z c )

ley de Morgan

= (xc + y c + z c )(yz + y c z c )

ley de Morgan

= yzxc + yzy c + yzz c + xc y c z c + y c z c z c + z c y c y c ley distributiva


= yzxc + 0 + 0 + xc y c z c + y c z c z c + z c y c y c

Complemento al cero

= yzxc + xc y c z c + z c y c

ley de idempotencia

= yzxc + z c y c

ley de absorcin

Existen mtodos ms prcticos y rpidos para simplicar expresiones


booleanas:

Favin Arenas.

86

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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

xc

y
yc
Ejemplo 25. : Simplica la funcin de dos variables f (x; y) = xc 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: xc 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
Favin Arenas.

87

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

Favin Arenas.

88

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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) = xc 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.

Favin Arenas.

89

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

Correcta

Incorrecta

(3) Los grupos deben contener 1; 2; 4; 8; 9; :::; 2n nmero de unos.

Correcta

Incorrecta

(4) Cada grupo ha de ser tan grande como sea posible.

Correcta
Favin Arenas.

Incorrecta
90

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

(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


Favin Arenas.

91

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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

ycz

yz c

yczc

x
xc
F (x; y; z) = xc y c z c + xc y c z + xc 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 2n elementos, 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.
Favin Arenas.

92

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

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 implicantes primos.
En el cubrimiento mas grande predomina z c
En el cubrimiento mas pequeo no predomina , pero contiene a xc y c z:
entonces los implicantes primos son:
z c y xc y c z:,sin embargo como z c contiene a xc y c z c ;no es necesario incluir en
los implicantes primos a xc y c z:; pues ser suciente con xc y c ; : en conclusin
f (x; y; z) se simplica en:
f (x; y; z) = z c + xc 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

Favin Arenas.

93

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

zw

zcw

zwc

z c wc

xy
xc y
xy c
xc y c

Ejemplo 26. sea f (x; y; z; w) = xyzw + xyzwc + xyz c w + xc yzwc +


xc yz c w+xc yz c wc +xy c zwc +xc y c zw+xc y c zwc +xc y c z c w
primero se marcan con unos las reguiones de la funcin

ahora se agrupan los unos con tal que tengan 2n unos

entonces los implicantes primos son:


a) xyz
b) zwc
Favin Arenas.

94

Camargo Bentez.

4.5 Mtodo de Karnaugh para la Simplicacin de circuitos


Lgica Matemtica

c) yz c w
d) xc y c z
e) xc yz c
f) xc y c zw
Por lo tanto f (x; y; z; w) se simplica en:
f (x; y; z; w) = xyz + zwc + yz c w + xc y c z + xc yz c + xc y c zw

Favin Arenas.

95

Camargo Bentez.

4.6 Actividades

4.6.

Lgica Matemtica

Actividades

Ejercicio 4.

. Simplicar las siguientes expresiones booleanas utilizando

mapas de Karnaugh
ab0(a + b0)c0 + b
a + b + (a0 + b + c)0
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 Carretas. 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 siempre 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 funcin 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

Favin Arenas.

96

Camargo Bentez.

4.6 Actividades

Lgica Matemtica

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 representado por la funcin:
1. (a)
(b)
(c)

f (x; y; z) = x + y c + z
c

f (x; y) = [(x + y)c (x + y)]

f (x; y; z; w) = (xy + yzwc )c + xc zwc

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.

Favin Arenas.

97

Camargo Bentez.

4.6 Actividades

1.

Lgica Matemtica

f (x; y)

f (x; y)

f (x; y)

Ejercicio 13. Construya un circuito de compuertas lgicas para cada una de


las tablas anteriores.

Favin Arenas.

98

Camargo Bentez.

4.6 Actividades

Lgica Matemtica

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 compuertas NAND

1.

Ejercicio 16. Convertir el circuito anterior a uno que solo contenga compuertas NAND de dos entradas

Ejercicio 17. Encuentre los implicantes primos de este mapa de Karnaugh

Favin Arenas.

99

Camargo Bentez.

4.7 Objetivos

Lgica Matemtica

Gua de trabajo 1

4.7.

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 proposiciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir
si es una ley.

Favin Arenas.

100

Camargo Bentez.

4.8 Recursos de aprendizaje

4.8.

Lgica Matemtica

Recursos de aprendizaje
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico

Proposiciones
La lgica es toda una disciplina en la que las reexiones y el razonamiento 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
Favin Arenas.

101

Camargo Bentez.

4.9 Actividades

Lgica Matemtica

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,..
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 proposiciones 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) 52 = 21
d) Un cuadrado es una gura plana de cuatro lados.
e) Un cuadrado es un polgono de cuatro ngulos rectos
Favin Arenas.

102

Camargo Bentez.

4.9 Actividades

Lgica Matemtica

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) x2 + 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 "para for2

mar 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 proposiciones 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:
Favin Arenas.

103

Camargo Bentez.

4.9 Actividades

Lgica Matemtica

p^q

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 conjuntiva 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 compuesto 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".
El valor de esta proposicin conjuntiva depender de que las dos proposiciones 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:
Favin Arenas.

104

Camargo Bentez.

4.9 Actividades

4.9.3.

Lgica Matemtica

p_q

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

p!q

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)

Favin Arenas.

105

Camargo Bentez.

4.9 Actividades

4.9.4.

Lgica Matemtica

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:

4.9.5.

p$q

Negacin de Proposiciones :

Aunque no es un conectivo lgico (como _; ^; Y ,=); ,) genera nuevas


proposiciones con solo cambiarle el valor de verdad y se simboliza anteponiendo 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

Favin Arenas.

p est dada por:


p

106

Camargo Bentez.

4.10 Actividades

4.10.

Lgica Matemtica

Actividades

4. Una gura de 4 lados se llama cuadriltero, si tiene 5 lados se llama


pentgono, si tiene 6 lados se llama hexgonoEn 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 !
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^
b)

(p ! q)

7. Completa las siguientes tablas de verdad

a)

Favin Arenas.

p^

107

pYq

(p Y q) _ (

p^

q)

Camargo Bentez.

4.10 Actividades

b)

c)

Lgica Matemtica

1 1

1 0

0 1

0 0

1 1

1 0

0 1

0 0

p$q

p^

(p $ q) ! (p^

q)

((p ! r) ^ (q ! r)) ! r

8. Construye 3 frases que no sean proposiciones, 3 proposiciones, luego


niega las tres proposiciones.

Favin Arenas.

108

Camargo Bentez.

4.11 Objetivos

Lgica Matemtica

Gua de trabajo 2

4.11.

Objetivos

El alumno estar en la capacidad 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..

4.12.

Recursos de aprendizaje

Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico

Favin Arenas.

109

Camargo Bentez.

4.13 Algebra de conjuntos

4.13.

Lgica Matemtica

Algebra de conjuntos

Unin de Conjuntos Los conjuntos A = fa; b; c; d; eg y B = fa; e; i; o; ug


se combinan para formar un nuevo conjunto, donde ningn elemento puede
estar repetido fa; b; c; d; e; i; o; ug, a este conjunto lo llamaremos unin de A
y B.
M = f1; 2; 3; 4; 5g y J = f1; 3; 5; 7; 9g entonces
M [ J = f1; 2; 3; 4; 5; 7; 9g
Simblicamente la unin de A y B es:
AU B = fx : x 2 A _ x 2 Bg
Interseccin de Conjuntos En esta operacin de conjuntos se trata de
encontrar los elementos comunes a ambos conjuntos, es decir los repetidos,
veamos:
M = f1; 2; 3; 4; 5g

J = f1; 3; 5; 7; 9g entonces

La interseccin la representamos por:


M \ J = f1; 3; 5g pues son los que se repiten.
Simblicamente la intercepcin de A y B es:
A \ B = fx : x 2 A ^ x 2 Bg
Diferencia de Conjuntos En los conjuntos V = fa; e; i; o; ug y A =
fa; e; og
La diferencia de V

A es el conjunto formado por los elementos de V

que no estn en A as:


V

A = fi; og

M = f1; 2; 3; 4; 5g y J = f1; 3; 5; 7; 9g entonces


Favin Arenas.

110

Camargo Bentez.

4.13 Algebra de conjuntos

Lgica Matemtica

La diferencia la representamos por:


M

J = f2; 4g pues son los que estn en M y no en J.

Tambin se puede calcular J


J

M = f7; 9g pues son los que estn en J y no en M .

Simblicamente es:
M

J = fx : x 2 M ^ x 2
= Jg

M = fx : x 2 J ^ x 2
= Mg

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 = f0; 1; 2; 3; 4; 5; 6; 7; 8; 9g y el conjunto A = f0; 1; 2; 3g
Llamaremos complemento de A , al conjunto formado por todos los elementos de U que no estn en A, o sea f4; 5; 6; 7; 8; 9g, a este conjunto lo
denotaremos con A0
Notese que A0 = U

U = f1; 3; 5; 7; 11; 13; 17; 19; 23; 29g


Si B = f1; 11; 29g entonces

B0 = f3; 5; 7; 13; 17; 19; 23g

Si C = f3; 5; 7; 17; 23g entonces

C0 = f1; 11; 13; 19; 29g

Si D = f1; 3; 5; 7; 11; 13; 17; 19; 23; 29g entonces

D0 =

Simblicamente es:
A0 = fx : x 2 U ^ x 2
= Ag

Favin Arenas.

111

Camargo Bentez.

4.14 Actividades

4.14.

Lgica Matemtica

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 AU B
b AU C
c BU C
d A\B
e A\C
f B\C
g A

h A

i B

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 (AU B)

b AU B = B
Favin Arenas.

112

Camargo Bentez.

4.14 Actividades

Lgica Matemtica

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


Favin Arenas.

113

Camargo Bentez.

4.14 Actividades

Lgica Matemtica

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:______

Favin Arenas.

114

Camargo Bentez.

4.15 Objetivos

Lgica Matemtica

Gua de trabajo 3

4.15.

Objetivos

El alumno estar en la capacidad conocer, utilizar y aplicar los siguientes


elementos bsicos para la solucin de un problema:
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.

4.16.

Recursos de aprendizaje

Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico
Favin Arenas.

115

Camargo Bentez.

4.17 Clases de operaciones

4.17.

Lgica Matemtica

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 2 X,entonces tambin la es a

Ejemplo 28. la Suma en el conjunto de los naturales es una operacin binaria


Ejemplo 29. pues si m; n 2 N;entonces m + n 2 N:
Ejemplo 30. 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 7 12 =
52
= N:
El segundo tipo de operacin se llama operacin unitaria, esta en realidad transforma un nmero en otro, por lo tanto unaOPERACIN UNITARIA ' sobre un conjunto B es una .operacin tal que:
Si a 2 B, entonces '(a) 2 B
Ejemplo 31. el operador menos ( ) el conjunto de los enteros es una operacin binaria
pues si m 2 Z;entonces
Favin Arenas.

m 2 Z:
116

Camargo Bentez.

4.18 lgebra de Boole

Lgica Matemtica

Ejemplo 32. la Radicacin en el conjunto de los nmeros reales es una


p
operacin binaria si y solo si es raz impar; es decir el operador 2n+1 es
una operacin binaria con n 2 N
p
pero el operador 2n no es una operacin binaria con n 2 N
p
= R
ntese que 1 2 R pero 2n 1 2

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) 8a; b 2 B; a

b2B

2) 8a; b 2 B; a

b2B

Ley distributiva
1.

a) 1) 8a; b; c 2 B; a

(b

c) = (a

b)

(a

c)

2) 8a; b; c 2 B; a

(b

c) = (a

b)

(a

c)

Elementos neutros
1.

a) 1) 8a 2 B; 9e 2 B; a
2) 8a 2 B; 9i 2 B;

e = a (Neutro Aditivo o cero)


a

i = a (Neutro Multiplicativo o

unidad)

Complementacin
Favin Arenas.

117

Camargo Bentez.

4.18 lgebra de Boole

1.

Lgica Matemtica

a) 1) 8a 2 B; 9ac 2 B; a
2) 8a 2 B; 9ac 2 B; a

ac = i (complemento a la unidad)
ac = e (complemento al cero)

mas adelante se probar que ac es el mismo en ambos casos.

Ejemplo 33. Sea D26 = f1; 2; 13; 26g el conjunto de los divisores positivos
del 26; denamos las operaciones binarias as:
Ejemplo 34. a
a

b = M CM (a; b)

b = mcd(a; b)

( Mnimo Comn mltiplo)

( 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:
26
(complemento de la unidad)
a
b = 1; depende de quien sea a as:

para que a b = 26; tiene que ser b =


y para que a

si a = 1 entonces b = 26
si a = 2 entonces b = 13
si a = 13 entonces b = 2
si a = 26 entonces b = 1
Para representar estas operaciones utilizaremos tablas algo parecidas a las
de la escuela.

Favin Arenas.

118

Camargo Bentez.

4.18 lgebra de Boole

Lgica Matemtica

13 26

2 13 26

13

26

26

26

13 13 26 13

26

13 1

13

13

26 26 26 26 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
1.

8a 2 B; a + a = a

a) 1) 8a 2 B; aa = a

Ley de acotamiento
1.

a) 1) 8a 2 B; a + 1 = 1
2) 8a 2 B; a0 = 0

Ley de absorcin
1.

a) 1) 8a; b 2 B; a + ab = a
2) 8a; b 2 B; a(a + b) = a

Ley asociativa
1.

a) 1) 8a; b; c 2 B; a + (b + c) = (a + b) + c
2) 8a; b; c 2 B; a(bc) = (ab)c

Unicidad del complemento


Favin Arenas.

119

Camargo Bentez.

4.18 lgebra de Boole

1.

Lgica Matemtica

a) 1) 8a 2 B; (a + x = 1) ^ (ax = 0) ) x = ac

Ley de involucin
1.

a) 1) 8a 2 B; (ac )c = a

Ley de Morgan
1.

a) 1) 8a; b 2 B; (a + b)c = ac bc
2) 8a; b 2 B; (ab)c = ac + bc

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 acostumbrados 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
Favin Arenas.

120

Camargo Bentez.

4.18 lgebra de Boole

Lgica Matemtica

y
10

0
-5

-2 .5

2 .5

5
x

-5

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)
p
f (x1 ; x2 ; x3 ; :::; xn ) = 3 x1 + x2 + x3 + ::: + xn
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.
Favin Arenas.

121

Camargo Bentez.

4.18 lgebra de Boole

Lgica Matemtica

Ejemplo 35. sea la siguiente funcin booleana de una variable:


f (x) = xc
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 0y 1.
Los que la funcin F toma son:
f (0) = 0c = 1
f (1) = 1c = 0

Ejemplo 36.
Ejemplo 37. Sea la siguiente funcin booleana se dos variables:
f (x; y) = xc (x + y)
obtenemos:
f (0; 0) = 0c (0 + 0) = 1 0 = 0
f (0; 1) = 0c (0 + 1) = 1 1 = 1
f (1; 0) = 1c (1 + 0) = 0 1 = 0
f (1; 1) = 1c (1 + 1) = 0 0 = 0
Antes de calcular los valores que toma la funcin, se pueden aplicar algunas propiedades para obtener una funcin ms simplicada:
del ejemplo anterior
f (x; y) = xc (x + y)
= xc x + xc y

(ley distributiva)

= 0 + xc y

(complemento al cero)

= x0 y

Favin Arenas.

122

Camargo Bentez.

4.19 Actividades

Lgica Matemtica

en el cual tambin obtenemos:


f (0; 0) = 00 0 = 1 0 = 0
f (0; 1) = 00 1 = 1 1 = 1
f (1; 0) = 10 0 = 0 1 = 0
f (1; 1) = 10 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.

Favin Arenas.

123

Camargo Bentez.

4.19 Actividades

2.

Lgica Matemtica

a) Transformaciones algebraicas(propiedades del lgebra de Boole)

abc + ac b + ac bc = ac + bc
ac bc + ac + bcc = ac cc + bc c + ab
ac bc + bd + abc = d + dc bc
(a + bc + ab)(ac + b)abc = 0
(a + bc + abc )(ab + bcc + ac c) = ab + ac bc c
(ab + c + d)(cc + d)(cc + d + e) = abcc + d
1.

Favin Arenas.

124

Camargo Bentez.

4.20 Objetivos

Lgica Matemtica

Gua de trabajo 4

4.20.

Objetivos

El alumno estar en la capacidad conocer, utilizar y aplicar los siguientes


elementos bsicos para la solucin de un problema:
Entradas y salidas de las compuertas lgicas.
tablas de verdad a partir de mediciones en compuertas lgicas.
Simplicacin Tabular mediante Mapas de Karnaugh

4.21.

Recursos de aprendizaje

Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrnico

Favin Arenas.

125

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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

Lampara

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

Favin Arenas.

126

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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.

LA COMPUERTA

OR El grco de este circuito ilustra el fun-

cionamiento de la compuerta OR, en el cual los interruptores han sido conectados en paralelo. El encendido de la lmpara se producir si se cierra
cualquiera de los dos interruptores o ambos. Todas las posibles combinaciones de los interruptores se muestran en la tabla siguiente.

Favin Arenas.

127

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

Lampara

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
B igual a la salida Y"

Favin Arenas.

128

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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 interruptor A, la bombilla se apaga,(Por qu?), al abrir el interruptor la bombilla
se enciende.
La tabla es:

Favin Arenas.

lmpara

1
129

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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 funcin 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 proposicional

(p ^ q).

En forma de expresin booleana (AB)0 .


Favin Arenas.

130

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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:

Favin Arenas.

131

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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 proposicional

(p _ q).

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) = x0 + xy + xy 0
se comienza con cada sumando
x0
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:

Favin Arenas.

132

Camargo Bentez.

4.21 Recursos de aprendizaje

Lgica Matemtica

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 compuertas OR de dos entradas
as:

es equivalente a:

(X+Y)+Z

De manera semejante ocurre para la compuerta AND.


Favin Arenas.

133

Camargo Bentez.

4.22 Actividades

Lgica Matemtica

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.

Favin Arenas.

1.

134

Camargo Bentez.

4.22 Actividades

Lgica Matemtica

2. Simplicar las siguientes expresiones booleanas utilizando mapas de


Karnaugh
ab0(a + b0)c0 + b
a + b + (a0 + b + c)0
bc + da + c + (dc(ab + dc))
3. Construya un circuito de compuertas lgicas que est representado por
la funcin:
Ejercicio 21.
2. (a)
(b)
(c)

1.

f (x; y; z) = x + y c + z
c

f (x; y) = [(x + y)c (x + y)]

f (x; y; z; w) = (xy + yzwc )c + xc zwc

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

Favin Arenas.

135

Camargo Bentez.

4.22 Actividades

Favin Arenas.

Lgica Matemtica

136

Camargo Bentez.