Tabla de verdad

Disyunción inclusiva:

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





Disyunción exclusiva:

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

Conjunción:

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

Negación conjunta:

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

Condicional:

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

Bicondicional:

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

Negación alterna:

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