MATEMATICAS DISCRETAS

PRESENTADO POR:
NILTON ALFONSO
JAVIER MALDONADO
EDGAR ROA
SEBASTIAN ESPINEL
LEONARDO BOHORQUEZ






UNIVERSIDAD ECCI
BOGOTA 2014
8BN

TALLER DE LOGICA PROPOSIONAL

1. Sean p=Luis lee la prensa, q=Luis lee el mundo y r=Luis lee el
universal. Escriba cada una de las siguientes proposiciones en forma
simblica.
a. Luis lee la prensa o el mundo, pero no el universal

i.

b. No es cierto que Luis lee la prensa pero no el universal
i.
2. Para las siguientes expresiones construya los respectivos rboles, las tabla
de verdad y determine si son tautologa, contradicciones o contingencias.
Represente cada expresin en la notacin apropiada de Matlab.
a. [(~p

q) (p V ~r)] ~ (p r)






Tabla de Verdad

p q R s
F F F F
F F V F
F V F V
F V V F
V F F V
V F V F
V V F V
V V V F

Es una Contingencia


b. [(~ p r) (p V ~s)]
^
~(~p
^
~r)
rbol


Tabla de Verdad
p r s R
F F F F
F F V F
F V F F
F V V F
V F F F
V F V F
V V F V
V V V V

Es una contingencia




3. Para los siguientes polinomios lgicos, elabore su tabla de verdad y escriba
los polinomios en las dos formas normales disyuntiva y conjuntiva
a. [(~p r) (p V s)] ~(p
^
q)
Tabla de Verdad
p q r s ~p
~p
r
p V
s
(~p r) (p V
s) p
^
q ~(p
^
q) Respuesta
F F F F V F F V F V F
F F F V V F V V F V F
F F V F V V F F F V V
F F V V V V V V F V F
F V F F V F F V F V F
F V F V V F V V F V F
F V V F V V F F F V V
F V V V V V V V F V F
V F F F F V V V F V F
V F F V F V V V F V F
V F V F F V V V F V F
V F V V F V V V F V F
V V F F F V V V V F F
V V F V F V V V V F F
V V V F F V V V V F F
V V V V F V V V V F F

Forma Normal Conjuntiva
(p v q v r v s) (p v q v r v s) (p v q v r v s) (p v q v r v s) (p v q v r v s)
(p v q v r v s) (-p v q v r v s) ( -p v q v r v s) (-p v q v r v s) (-p v q v
r v s) (-p v q v r v s) (-p v q v r v s) (-p v q v r v s) (-p v q v r v s)
Forma Normal Disyuntiva
(-p -q r -s) v (-p q r -s)
b. [(~p V r) (p V s)]
^
(~p ~r)

Tabla de Verdad
p q r ~p ~r (~p V r) p V s
(~p V r)
(p V s)
(~p
~r) Respuesta
F F F V V V V V V F
F F V V V V F V V F
F V F V F V V V F V
F V V V F V F V F V
V F F F V F F V F V
V F V F V F F V F V
V V F F F V F V V F
V V V F F V F V V F

Forma Normal Conjuntiva
(p v q v r) (p v q v r) (-p v q v r) (-p v q v r)
Forma Normal Disyuntiva
(-p q -r) v (-p q r) v (p -q -r) v (p -q r)



TALLER ALGEBRA BOOLEANA

1.


2.

3. 3. Implemente en lgica cableada los circuitos de las siguientes
expresiones:
b)

c)

4. De acuerdo a los trminos mnimos resuelva, ya sea por suma de productos
o por producto de sumas cada una de las funciones indicadas en la
siguiente tabla. Luego de ello corrobore los resultados, mediante el uso de
mapas de Karnaugh. Dibuje finalmente los respectivos circuitos lgicos.
Salida 1
Corroborando con el mapa de Karnaugh

Factor comn

Circuito lgico

Salida 2
Corroborando con el mapa de Karnaugh

Circuito lgico

5. Dados los circuitos, elabore sus respectivas tablas
a)
A B C Salida
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0

b)
A B C D Salida 0 Salida 1
0 0 0 0 0 0
0 0 0 1 0 1
0 0 1 0 1 1
0 0 1 1 1 0
0 1 0 0 0 0
0 1 0 1 0 0
0 1 1 0 0 0
0 1 1 1 0 1
1 0 0 0 0 0
1 0 0 1 0 0
1 0 1 0 0 0
1 0 1 1 0 1
1 1 0 0 0 0
1 1 0 1 0 1
1 1 1 0 0 0
1 1 1 1 0 0












6) Utilice Simulink de matlab para simular la correspondencia de una de las salidas
anteriores. Para garantizar la validez del ejercicio imprima un pantallazo de la
simulacin.








TALLER DE CONJUNTOS Y RELACIONES