Guía Docente Universitaria de Mapas de Karnaugh (K-map) y Simplificación Booleana y Diseño de Circuitos

En el marco del álgebra booleana y la lógica matemática, una función booleana no debe comprenderse únicamente como una expresión simbólica abstracta, sino como una estructura formal que codifica condiciones de verdad y relaciones lógicas entre proposiciones.En términos estrictamente matemáticos, una función booleana constituye un objeto formal cuya interpretación se define mediante reglas precisas de evaluación binaria. Desde una perspectiva formativa, particularmente relevante en la Licenciatura en la Enseñanza de la Matemática y la Física, estas funciones constituyen un puente entre el pensamiento lógico formal y la modelación de sistemas discretos. En efecto, una función booleana puede interpretarse como un modelo lógico que describe el comportamiento de un sistema, y dicho modelo puede implementarse físicamente mediante circuitos digitales construidoscon compuertas lógicas.Esta interpretación se encuentra en plena consonancia con los fundamentos de la Teoría de la Simbolista de Educación Matemática Pura (TSEMP), propuesta por Ruiz Castillo, la cual sostiene que el aprendizaje matemático genuino se consolida cuando el estudiante desarrolla competencia estructural en el uso del lenguaje formal, la notación simbólica y la manipulación rigurosa de expresiones dentro de un sistema axiomático. En este sentido, el álgebra booleana se presenta como un dominio privilegiado para la aplicación de la TSEMP, puesto que: su naturaleza es esencialmente formal y simbólica; sus operaciones se rigen por leyes exactas y demostrables; permite ejercitar el tránsito entre representación semiótica, simplificación algebraica yestructura lógica; vincula la abstracción matemática con una interpretación física concreta mediante cir-cuitos discretos.Por ejemplo, la expresión:F = A · Bindica que la salida F será igual a 1 únicamente en el caso en que ambas entradas sean simultáneamente verdaderas, es decir, cuando A = 1 y B = 1. En cualquier otra combinación posible de valores, la salida permanece en 0. Este enunciado, aunque elemental, permite comprender que el álgebra booleana posee una doble naturaleza:Formal y matemática: como sistema algebraico regido por axiomas, leyes de equivalencia y procesos de reducción simbólica.Aplicada y físico-tecnológica: como herramienta de modelación discreta para representar el funcionamiento de sistemas implementables electrónicamente.En consecuencia, los mapas de Karnaugh se introducen como un recurso metodológico que facilita la simplificación sistemática de expresiones booleanas, articulando el rigor simbólico y deductivo con la interpretación lógica y la representación física del sistema. De esta manera, el método de Karnaugh no solo constituye una técnica de reducción, sino también un escenario formativo idóneo para fortalecer la competencia simbólica y el pensamientomatemático formal, tal como lo propone la TSEMP.