Álgebra Booleana, Lógica Formal y Mapas de Karnaugh

El álgebra booleana constituye una de las construcciones formales más refinadas de lamatemática discreta moderna, al representar la lógica proposicional mediante un sistemaalgebraico cerrado cuya validez depende exclusivamente de axiomas y reglas de transforma-ción simbólica. En consecuencia, su relevancia excede el campo instrumental de la ingenieríadigital: el álgebra booleana es, en sentido estricto, una teoría matemática cuya estructurainterna refleja la esencia deductiva de la racionalidad formal. Este artículo desarrolla una ex-posición extensa, rigurosa y epistemológicamente fundamentada de los principios booleanos,incorporando su axiomatización, leyes derivadas, dualidad estructural, formulación comoretículo distributivo complementado, formas canónicas SOP/POS, operadores derivadosXOR/XNOR y su interpretación como álgebra de funciones sobre el hipercubo booleano.Asimismo, se examinan los mapas de Karnaugh como proyecciones estructurales del espacioBn que preservan adyacencias mediante orden Gray y posibilitan una reducción formalsustentada en leyes de absorción y complementación. Finalmente, se presenta una lecturadidáctico-epistemológica desde la Teoría de la Simbolización y Enseñanza Matemática Pura(TSEMP), sosteniendo que la lógica booleana constituye un escenario privilegiado para la1Juan Carlos Ruiz Castillo Álgebra Booleana, Karnaugh y TSEMPformación matemática avanzada debido a la primacía del símbolo, la demostración y lacoherencia formal como fundamentos del conocimiento.Palabras clave: álgebra booleana, lógica proposicional, formalismo, dualidad, retículos, Kar-naugh, orden Gray, SOP, POS, XOR, XNOR, TSEMP, educación matemática pura.