Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica de Programacion
Logica de Programacion
F F V F V
F V V F V
V F F F V
V V F F V
B) p↔(pvq)
P q (pvq) (p↔((pvq)))
F F F V
F V V F
V F V V
V V V V
C) (p ^¬r)↔(q ^¬q)
p r q (~r) (p^(~r)) (~q) (q^(~q))
(((p^(~r)))↔((q^(~q))))
F F F V F V F V
F F V V F F F
V
F V F F F V F
V
F V V F F F F
V
V F F V V V F
F
V F V V V F F
F
V V F F F V F
V
V V V F F F F
V
F F V V V
V
F V V F V
V
V F F V F
F
V V V F F
V
b) p→q=(~p)vq
p Q (p→q) (~p)
(((~p))vq)
F F V V
V
F V V V
V
V F F F
F
V V V F
V
c) (p↔~p)= (q↔~q)
(q↔(~q))
F V F F V F
V
V F F V F F
V
(P1) S→r
(P2) q→r
(P3) r
(P4) q v s
P1 ^ P2 ^ P3 → P4
F F F V V F F V
F F V V F V F V
F V F V V F V F
F V V V V V V V
V F F F V V F V
V F V F F V F V
V V F V V V V V
V V V V V V V V