Conectores Lógicos

Negación

p	¬ p
F	V
V	F

Conjunción

p	q	p ^ q
F	F	F
F	V	F
V	F	F
V	V	V

Disyunción Inclusiva

p	q	p V q
F	F	F
F	V	V
V	F	V
V	V	V

Condicional

p	q	p → q
F	F	V
F	V	V
V	F	F
V	V	V

Bicondicional

p	q	p ↔ q
F	F	V
F	V	F
V	F	F
V	V	V

Disyunción Exclusiva

p	q	p W q
F	F	F
F	V	V
V	F	V
V	V	F