viernes, 11 de marzo de 2011

Tarea II de la 26-31



26
p
q
r
(pq)
(q r)
[(pq) ʌ (q r)]
¬r
(p ʌ ¬r )
[(p q) ʌ (q r)] (p ʌ ¬r )
1
1
1
1
1
1
0
0
0
1
1
0
1
0
0
1
1
1
1
0
1
0
1
0
0
0
1
1
0
0
0
1
0
1
1
1
0
1
1
1
1
1
0
0
0
0
1
0
1
0
0
1
0
1
0
0
1
1
1
1
0
0
0
0
0
0
1
1
1
1
0
0



27
p
q
r
¬p
(q ʌ r)
[¬p (q ʌ r)]
¬q
(¬q v r)
¬(¬q v r)
[¬p (q ʌ r)] v ¬(¬q v r)
1
1
1
0
1
0
0
1
0
0
1
1
0
0
0
1
0
0
1
1
1
0
1
0
1
0
1
1
0
0
1
0
0
0
0
1
1
1
0
1
0
1
1
1
1
1
0
1
0
1
0
1
0
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
0
0
0
1
0
0
1
1
0
0



28
p
q
¬q
(p v ¬q)
(p q)
[(p v ¬q) (p q)]
¬p
(¬p q)
[(¬p q) v ¬p]
[(p v ¬q) (p q)] [(¬p q) v ¬p]
[(p v ¬q) (p q)] [(¬p q) v ¬p] v ¬p
1
1
0
1
1
1
0
1
1
1
1
1
0
1
1
0
0
0
1
1
1
1
0
1
0
0
1
1
1
1
1
1
1
0
0
1
1
1
1
1
0
1
1
1






29
p
q
(p v q)
¬(p v q)
(p q)
[¬(p v q) v (p q)]
¬p
(¬p q)
[(¬p q) v ¬p]
[¬(p v q) v (p q)] [(¬p q) v ¬p]
1
1
1
0
1
1
0
1
1
1
1
0
1
0
0
0
0
1
1
1
0
1
1
0
1
1
1
1
1
1
0
0
0
1
1
1
1
0
1
1






30
p
q
r
(p q)
(q r)
[(p q) ʌ (q r)]
(p ʌ r )
[(p q) ʌ (q r)] (p ʌ r )
1
1
1
1
1
1
1
1
1
1
0
1
0
0
0
1
1
0
1
0
1
0
1
1
1
0
0
0
1
0
0
1
0
1
1
1
1
1
0
0
0
1
0
1
0
0
0
1
0
0
1
1
1
1
0
0
0
0
0
1
1
1
0
0

31
p
q
r
(p ʌ q)
[(p ʌ q) r]
(p v r)
[(p ʌ q) r] (p v r)
1
1
1
1
1
1
1
1
1
0
1
0
1
1
1
0
1
0
1
1
1
1
0
0
0
1
1
1
0
1
1
0
1
1
1
0
1
0
0
1
0
0
0
0
1
0
1
1
1
0
0
0
0
1
0
0

No hay comentarios:

Publicar un comentario