sábado, 18 de agosto de 2012

Tautología



Mi primer intento fallido

P Q k PvQ Q^K 1v2 ¬K 3v4
0 0 0 0 0 0 1 1
0 0 1 0 0 0 0 0
0 1 0 1 0 1 1 1
0 1 1 1 0 1 0 1
1 0 0 1 0 1 1 1
1 0 1 1 0 1 0 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 0 1


Pasamos al bueno:

Exprecion de la Proposición:

P = ((PvQ)v¬(Q^K))^(Kv(Qv¬K))

Tabla de Verdad:

P
Q
k
PvQ
Q^K
¬(Q^K)
¬K
(PvQ)v¬(Q^K)
(Qv¬K)
Kv(Qv¬K)
((PvQ)v¬(Q^K))^(Kv(Qv¬K))
0
0
0
0
0
1
1
1
1
1
1
0
0
1
0
0
1
0
1
0
1
1
0
1
0
1
0
1
1
1
1
1
1
0
1
1
1
1
0
0
1
1
1
1
1
0
0
1
0
1
1
1
1
1
1
1
0
1
1
0
1
0
1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
1
1
1
1
0
0
1
1
1
1


Aquí tenemos la representación en forma de árbol




1 comentario:

  1. Expresión. Cuida la ortografía. 10 está vez - a la próxima falta de ortografía va un punto.

    ResponderEliminar