You are on page 1of 2

p q ¬p ¬q p^q ¬(p^q) ¬p^q ¬(¬p^q) p^¬q ¬(p^¬q)

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

p q ¬p ¬q pvq ¬(pvq) ¬pvq ¬(¬pvq) pv¬q ¬(pv¬q)


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

p q ¬p ¬q p→q ¬(p→q) ¬p→q ¬(¬p→q) p→¬q ¬(p→¬q)


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

p q ¬p ¬q p←q ¬(p←q) ¬p←q ¬(¬p←q) p←¬q ¬(p←¬q)


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

p q ¬p ¬q p⇔q ¬(p⇔q) ¬p⇔q ¬(¬p⇔q) p⇔¬q ¬(p⇔¬q)


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

Lógica: Tablas de verdad


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

¬pv¬q ¬(¬pv¬q)
F V
V F
V F
V F

¬p→¬q ¬(¬p→¬q)
V F
V F
F V
V F

¬p←¬q ¬(¬p←¬q)
V F
F V
V F
V F

¬p⇔¬q ¬(¬p⇔¬q)
V V
F F
F F
V V

Lógica: Tablas de verdad