Inicio · Parte 04 — Matemática discreta para computación
absorción: a ∨ (a ∧ b) ≡ a
distributiva: a ∧ (b ∨ c) ≡ (a∧b) ∨ (a∧c)
complemento: a ∨ ¬a ≡ 1, a ∧ ¬a ≡ 0El álgebra de Boole, publicada en 1854, describió las leyes del razonamiento con símbolos. Ochenta años después, Claude Shannon mostró en su tesis de máster —una de las más influyentes de la historia— que esas mismas leyes describen los circuitos de conmutación. Ese puente es el fundamento del hardware digital.
Simplificar una expresión booleana tiene una consecuencia física directa: menos términos significan menos puertas lógicas, menos área de silicio, menos consumo y menor retardo de propagación. La expresión (a∧b) ∨ (a∧¬b) ∨ (a∧c) se reduce a a por absorción y complemento, eliminando cuatro puertas.
La verificación por tabla de verdad es exhaustiva y por tanto concluyente para pocas variables, pero su coste es 2ⁿ. Con veinte variables ya es un millón de filas, y ahí empieza el terreno del problema SAT, el primer problema que se demostró NP-completo (Cook, 1971). Que la verificación sea fácil y la búsqueda difícil es la esencia de esa clase de complejidad.
En machine learning el álgebra booleana aparece de forma menos visible pero real: las máscaras de atención son matrices booleanas, los filtros de datos son expresiones booleanas, y la cuantización binaria de redes (BNN) opera con estas mismas leyes.
Simplificar una expresión de tres términos.
original: (a∧b) ∨ (a∧¬b) ∨ (a∧c)
paso 1: (a∧b) ∨ (a∧¬b) = a∧(b ∨ ¬b) = a∧1 = a
paso 2: a ∨ (a∧c) = a (absorción)
simplificada: a
Verificación exhaustiva: 8 casos (2³)
todas las asignaciones coinciden ✓
Puertas ahorradas: 4Álgebra booleana: simplificación y equivalencia funcional.
python classes/part-04-matematica-discreta-para-computacion/097-algebra-booleana/lab.py
compmath run 097expresionsimplificadacasosequivalentesabsorcion_a∨(a∧b)puertas_ahorradas{
"expresion": "(a∧b) ∨ (a∧¬b) ∨ (a∧c)",
"simplificada": "a",
"casos": 8,
"equivalentes": true,
"absorcion_a∨(a∧b)": true,
"puertas_ahorradas": 4
}Diseño de circuitos digitales, optimización de condiciones y consultas, máscaras de atención y verificación formal de propiedades.
Los grafos de cómputo, la búsqueda en árbol y las GNN son estructuras discretas; el conteo sostiene la probabilidad que después usa todo modelo generativo.
10.1145/800157.805047 verificado en Crossref (2026-08-19).