Este documento presenta ocho leyes lógicas fundamentales: la ley de involución, la ley de idempotencia, la ley de conmutatividad de la disyunción y la conjunción, y las leyes de asociatividad de la disyunción y la conjunción. Cada ley establece una equivalencia lógica entre diferentes expresiones proposicionales.

1. Respuestas:
Ley de Involución:
p ~p ¬(¬p) ¬(¬p)⇔ p
V F V V
F V F V
Ley de Idempotencia:
p p p∧p p∧p⇔p p∨p p∨p⇔p
V V V V V V
F F F V F V
Ley de conmutividad de la disyunción:
p q p∨q q∨p p∨q ⇔ q∨p
V V V V V
V F V V V
F V V V V
F F F F V
Ley de conmutividad de la conjunción:
p q p∧q q∧p p∧q ⇔ q∧p
V V V V V
V F F F V
F V F F V
F F F F V
Ley de asociatividad de la disyunción:

2. Ley de asociatividad de la conjunción:
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
V V V V V V V V V V V
V V V V F V V V V V F
V V F V V V V V F V V
V V F V F V V V F F F
F V V V V V F V V V V
F V V V F V F V V V F
F F F V V V F V F V V
F F F F F V F F F F F
( p ∧ q ) ∧ r ⇔ p ∧ (q ∧ r)
V V V V V V V V V V V
V V V F F V V F V F F
V F F F V V V F F F V
V F F F F V V F F F F
F F V F V V F F V V V
F F V F F V F F V F F
F F F F V V F F F F V
F F F F F V F F F F F