p q (~p) (~q) ((~p)→(~q))

F F V V V
F V V F F
V F F V V
V V F F V

p q (p→q) (~((p→q))) (~p)

F F V F V
F V V F V
V F F V F
V V V F F

p q (~q) (q^(~q)) (p→(q^(~q)))

F F V F V
F V F F V
V F V F F
V V F F F

p q (pvq) ((pvq)→q)
F F F V
F V V V
V F V F
V V V V

p q (p^q)
F F F
F V F
V F F
V V V

p q r (p^q) (((p^q))^r)
F F F F F
F F V F F
F V F F F
F V V F F
V F F F F
V F V F F
V V F V F
V V V V V
(~(((~p)→(~q))))
F CONTINGENCIA
V
F
F

(~q) ((~p)^(~q)) ((~((p→q)))v(((~p)^(~q))))

V V V
F F F
V F V
F F F

(~p) (((p→(q^(~q))))→(~p))
V V
V V
F V
F V