Taller de Ejercicios LOGICA MATEMATICA 2021

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 3

Taller de ejercicios LOGICA MATEMATICA 2021-60

Javier Fernando Ramírez López – 000817067

8/09/2021

1. Realizar la tabla de verdad:


a. ~ [p  ~ (q v r)]
b. ~(p) < - > (p  ~q)
c. (p v t)  [(~p v q)  (r ^ q)]
2. Hallar el equivalente de cada uno de los siguientes ejercicios

SOLUCION
1.
a)
p q r (q v r) ~ (q v r) p~ (q v r) ~[p ~ (q v r)]
F F F F V V F
F F V V F V F
F V F V F V F
F V V V F V F
V F F F V V F
V F V V F F V
V V F V F F V
V V V V F F V
b.
p q ~p ~q p~q ~(p) < - > (p ~q)
F F V V V V
F V V F V V
V F F V V F
V V F F F V

c.
p t q r pvt ~p ~p v q r^q [(~p v q)  (r ^ q)] (p v t)  [(~p v
q)  (r ^ q)]
F F F F F V V F F V
F F F V F V V F F V
F F V F F V V F F V
F F V V F V V V V V
F V F F V V V F F F
F V F V V V V F F F
F V V F V V V F F F
F V V V V V V V V V
V F F F V F F F V V
V F F V V F F F V V
V F V F V F V F F F
V F V V V F V V V V
V V F F V F F F V V
V V F V V F F F V V
V V V F V F V F F F
V V V V V F V V V V
2.Hallar el equivalente de cada uno de los ejercicios

a) [ R ^ (p v ~r ) ] v { [ ( r v s ) v (~r v ~s ) ] ^ ~s }

b) [~p ^ q v (p v q)] ^ { [ p ^ q v ( ~p ^ ~q ) ] v p} ^ ~p

c) [ p v ~q ^ (q v ~p ) v ( p ^ ~q) v (q ^ ~p) ] ^ (p v ~q)

d) [ p v q v ( ~q ^ ~p) ] ^ ( ~p v q ) ^ p

e) [~p ^ ~q v ( p v q) ]^ { p v [ q ^ (~r v ~p) ] } ^ ~q

También podría gustarte