Resolución de tablas de verdad
a.)
p
^ q --> p
p
|
q
|
p^q
|
p ^ q --> p
|
v
|
v
|
v
|
v
|
v
|
f
|
f
|
v
|
f
|
v
|
f
|
v
|
f
|
f
|
f
|
v
|
b.) ¬(p --> q) <--> p ^ r)
p
|
q
|
r
|
p ^ r
|
p --> q
|
¬(p --> q)
|
¬(p --> q) <--> p ^ r
|
v
|
v
|
v
|
v
|
v
|
f
|
f
|
v
|
v
|
f
|
f
|
v
|
f
|
v
|
v
|
f
|
v
|
v
|
f
|
v
|
v
|
v
|
f
|
f
|
f
|
f
|
v
|
f
|
f
|
v
|
v
|
f
|
v
|
f
|
v
|
f
|
v
|
f
|
f
|
v
|
f
|
v
|
f
|
f
|
v
|
f
|
v
|
f
|
v
|
f
|
f
|
f
|
f
|
v
|
f
|
v
|
c.) p ^ q) <--> ¬p ^ ¬q
p
|
q
|
¬p
|
¬q
|
¬p ^ ¬q
|
p ^ q
|
¬(p ^ q)
|
¬(p ^ q) <--> ¬p ^ ¬q
|
v
|
v
|
f
|
f
|
f
|
v
|
f
|
v
|
v
|
f
|
f
|
v
|
f
|
f
|
v
|
f
|
f
|
v
|
v
|
f
|
f
|
f
|
v
|
f
|
f
|
f
|
v
|
v
|
v
|
f
|
v
|
v
|
No hay comentarios:
Publicar un comentario