Minimizador booleano SOP y POS verificado
De 2 a 6 variables, de A a F; A es el bit más significativo de la fila. Se reconocen !
- Funciona en tu navegador
- Sin subir archivos
- Revisa antes de descargar
De 2 a 6 variables, de A a F; A es el bit más significativo de la fila. Se reconocen ! o ~ (NOT), & (AND), ^ (XOR), OR y paréntesis; el AND implícito no existe. Puedes dar los minterms o una expresión, más las condiciones indiferentes. Objetivo exacto en SOP/POS: menos términos y, después, menos literales. Se verifican todas las filas definidas y se muestran hasta 16 soluciones óptimas empatadas. Si se superan los límites, nunca se afirma que sea el mínimo.
Modelo, gramática y límites
F:{0,1}ⁿ→{0,1}; min(T,L)
Texto numérico≤48caracteres,punto/e; sin miles. Generalmente≤60V;5554,5…16V. R1e−9…1e12Ω (5551…1e9),C1e−18…100F (555≥1pF),L1e−12…1e6H. Curvas2…501puntos más corte/resonancia≤502. Red≤32nodos/profundidad8,R positiva. Booleano2…6variables,4096caracteres/1024tokens/512nodosAST/profundidad32,64filas,729cubos,200000nodos;≤16óptimos. LEDs1…100; corriente cable≤1000A,T lineal−100…500°C; rango no certifica idoneidad física.
Normalización al SI, topología explícita y modelos ideales. Se muestran hasta 10 cifras significativas; el CSV conserva los valores numéricos y las unidades. La minimización booleana solo es exacta si la búsqueda, que tiene un límite, termina y se verifican todas las filas definidas. μ0 y ε0 de CODATA 2022 son constantes medidas, redondeadas y con incertidumbre, no definiciones exactas; c = 299792458 m/s sí es exacta. No sirve para aprobar equipos, sistemas críticos, instalaciones ni producción.
Solo se usa un proceso local, con un límite de 15 s. Si editas, restableces, cancelas o sales, se detiene el trabajo pendiente. Los datos no se guardan ni se suben automáticamente. Copia de seguridad de los datos, si la pides: ≤ 1 MiB; los archivos originales no cambian. Nunca se envían datos de entrada, fórmulas ni nombres de archivo. Solo con tu consentimiento voluntario, Refentra envía recuentos agregados de acciones y resultados, sin el contenido de las entradas.
Usar este modelo
- Entradas propias
De 2 a 6 variables, de A a F; A es el bit más significativo de la fila. Se reconocen ! o ~ (NOT), & (AND), ^ (XOR), OR y paréntesis; el AND implícito no existe. Puedes dar los minterms o una expresión, más las condiciones indiferentes. Objetivo exacto en SOP/POS: menos términos y, después, menos literales. Se verifican todas las filas definidas y se muestran hasta 16 soluciones óptimas empatadas. Si se superan los límites, nunca se afirma que sea el mínimo.
- Modelo, gramática y límites
F:{0,1}ⁿ→{0,1}; min(T,L) Normalización al SI, topología explícita y modelos ideales. Se muestran hasta 10 cifras significativas; el CSV conserva los valores numéricos y las unidades. La minimización booleana solo es exacta si la búsqueda, que tiene un límite, termina y se verifican todas las filas definidas. μ0 y ε0 de CODATA 2022 son constantes medidas, redondeadas y con incertidumbre, no definiciones exactas; c = 299792458 m/s sí es exacta. No sirve para aprobar equipos, sistemas críticos, instalaciones ni producción.
- Descargar informe CSV
Solo se usa un proceso local, con un límite de 15 s. Si editas, restableces, cancelas o sales, se detiene el trabajo pendiente. Los datos no se guardan ni se suben automáticamente. Copia de seguridad de los datos, si la pides: ≤ 1 MiB; los archivos originales no cambian. Nunca se envían datos de entrada, fórmulas ni nombres de archivo. Solo con tu consentimiento voluntario, Refentra envía recuentos agregados de acciones y resultados, sin el contenido de las entradas.
Preguntas y límites del modelo
¿Qué supuestos se aplican?
De 2 a 6 variables, de A a F; A es el bit más significativo de la fila. Se reconocen ! o ~ (NOT), & (AND), ^ (XOR), OR y paréntesis; el AND implícito no existe. Puedes dar los minterms o una expresión, más las condiciones indiferentes. Objetivo exacto en SOP/POS: menos términos y, después, menos literales. Se verifican todas las filas definidas y se muestran hasta 16 soluciones óptimas empatadas. Si se superan los límites, nunca se afirma que sea el mínimo.
¿Qué precisión tienen los resultados?
Normalización al SI, topología explícita y modelos ideales. Se muestran hasta 10 cifras significativas; el CSV conserva los valores numéricos y las unidades. La minimización booleana solo es exacta si la búsqueda, que tiene un límite, termina y se verifican todas las filas definidas. μ0 y ε0 de CODATA 2022 son constantes medidas, redondeadas y con incertidumbre, no definiciones exactas; c = 299792458 m/s sí es exacta. No sirve para aprobar equipos, sistemas críticos, instalaciones ni producción.
¿Qué entradas se admiten?
Texto numérico≤48caracteres,punto/e; sin miles. Generalmente≤60V;5554,5…16V. R1e−9…1e12Ω (5551…1e9),C1e−18…100F (555≥1pF),L1e−12…1e6H. Curvas2…501puntos más corte/resonancia≤502. Red≤32nodos/profundidad8,R positiva. Booleano2…6variables,4096caracteres/1024tokens/512nodosAST/profundidad32,64filas,729cubos,200000nodos;≤16óptimos. LEDs1…100; corriente cable≤1000A,T lineal−100…500°C; rango no certifica idoneidad física.
¿Dónde se calcula?
Solo se usa un proceso local, con un límite de 15 s. Si editas, restableces, cancelas o sales, se detiene el trabajo pendiente. Los datos no se guardan ni se suben automáticamente. Copia de seguridad de los datos, si la pides: ≤ 1 MiB; los archivos originales no cambian. Nunca se envían datos de entrada, fórmulas ni nombres de archivo. Solo con tu consentimiento voluntario, Refentra envía recuentos agregados de acciones y resultados, sin el contenido de las entradas.