DNF Extractor Sharp

La herramienta toma una expresión booleana y devuelve su Forma Normal Disyuntiva (DNF), permitiendo a los usuarios analizar e implementar la lógica como suma de productos. Soporta operadores comunes y paréntesis para agrupar, por lo que es útil para ingenieros de software, diseñadores digitales y docentes que necesitan una traducción fiable de la lógica a DNF. Conceptualmente construye una tabla de verdad para todas las variables implicadas, deriva una DNF canónica a partir de las filas verdaderas y aplica, cuando corresponde, una minimización para obtener una forma más simple que conserva la veracidad. El valor reside en salidas reproducibles y aptas para scripts que pueden alimentar suites de verificación, generadores de vectores de prueba y rutas de código automatizadas. A diferencia de calculadoras simples, esta herramienta expone explícitamente formas canónicas y reducidas, facilitando comparaciones lado a lado y flujos educativos. Los casos de uso incluyen verificar equivalencia lógica, preparar vectores de prueba y documentar decisiones de diseño para equipos que requieren representaciones lógicas claras y verificables.