Professional Documents
Culture Documents
4. Doble negación(DN)
∼∼ 𝑨 ≈ 𝑨
5. Conmutación(Conm.)
𝑨∧𝑩≈𝑩∧𝑨
𝑨∨𝑩≈𝑩∨𝑨
𝑨↔𝑩≈𝑩↔𝑨
6. Asociación (Asc.)
(𝑨 ∧ 𝑩) ∧ 𝑪 ≈ 𝑨 ∧ (𝑩 ∧ 𝑪)
(𝑨 ∨ 𝑩) ∨ 𝑪 ≈ 𝑨 ∨ (𝑩 ∨ 𝑪)
7. Distribución (Dist.)
𝑨 ∧ (𝑩 ∨ 𝑪) ≈ (𝑨 ∧ 𝑩) ∨ (𝑨 ∧ 𝑪)
𝑨 ∨ (𝑩 ∧ 𝑪) ≈ (𝑨 ∨ 𝑩) ∧ (𝑨 ∨ 𝑪)
8. Idempotencia (Idem)
𝑨∧𝑨≈𝑨
𝑨∨𝑨≈𝑨
9. Contraposición (Contra.)
𝑨 → 𝑩 ≈∼ 𝑩 →∼ 𝑨
10.Absorción (Abs.)
𝑨 ∧ (𝑨 ∨ 𝑩) ≈ 𝑨
𝑨 ∨ (𝑨 ∧ 𝑩) ≈ 𝑨
𝑨 ∧ (∼ 𝑨 ∨ 𝑩) ≈ 𝑨 ∧ 𝑩
𝑨 ∨ (∼ 𝑨 ∧ 𝑩) ≈ 𝑨 ∨ 𝑩
(𝑨 ∧ 𝑩) → 𝑪 ≈ 𝑨 → (𝑩 → 𝑪)