jueves, 10 de marzo de 2011

PARTE 5

22)      ¬qv¬p

p
q
¬q
¬p
¬qv¬p
0
0
1
1
1
0
1
0
1
1
1
0
1
0
1
1
1
0
0
0


23)      (pàq˄r)↔¬(¬qvr)v¬r

p
q
r
¬q
¬r
(pàq)
(pàq˄r)
(¬qvr)
¬(¬qvr)
¬(¬qvr)v¬r
(pàq˄r)↔¬(¬qvr)v¬r
0
0
0
1
1
1
0
1
0
1
0
0
0
1
1
0
1
1
1
0
0
0
0
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
1
0
0
0
1
0
0
1
1
0
0
1
0
1
0
1
0
1
1
0
0
0
1
0
0
1
1
1
0
0
1
1
0
0
1
1
0
1
1
1
0
0
1
1
1
0
0
0




24)      (¬q˄r)à¬(¬qvr)v¬r

q
r
¬q
(¬q˄r)
(¬qvr)
¬(¬qvr)
¬r
¬(¬qvr)v¬r
(¬q˄r)à¬(¬qvr)v¬r
0
0
1
0
1
0
1
1
1
0
1
1
1
1
0
0
0
0
1
0
0
0
0
1
1
1
1
1
1
0
0
1
0
0
0
1


25)      (pàq)˄rà¬(pvr)v¬r

p
q
(pàq)
r
(pàq)˄r
(p v r)
¬(pv r)
¬r
¬(pvr)v¬r
(pàq)˄rà¬(pvr)v¬r
0
0
1
0
0
0
1
1
1
1
0
0
1
1
1
1
0
0
0
0
0
1
1
0
0
0
1
1
1
1
0
1
1
1
1
1
0
0
0
0
1
0
0
0
0
1
0
1
1
1
1
0
0
1
0
1
0
0
0
1
1
1
1
0
0
1
0
1
1
1
1
1
1
1
1
1
0
0
0
0


26)      (pàq)˄(qàr)à(p˄¬r)

P
q
r
¬r
(pàq)
(qàr)
(pàq)˄(qàr)
(p˄¬r)
(pàq)˄(qàr)à(p˄¬r)
0
0
0
1
1
1
1
0
0
0
0
1
0
1
1
1
0
0
0
1
0
1
1
0
0
0
1
0
1
1
0
1
1
1
0
0
1
0
0
1
0
1
0
1
1
1
0
1
0
0
1
0
0
1
1
1
0
1
1
0
0
1
1
1
1
1
0
1
1
1
0
0

No hay comentarios:

Publicar un comentario