Simplificador de Álgebra Booleana
Simplifica expresiones booleanas con leyes algebraicas, Quine-McCluskey y mapas de Karnaugh. Ingresa AND, OR, NOT, XOR, NAND o NOR para la forma mínima SOP/POS, tabla de verdad y diagrama.
Uso gratuitoNo requiere registroResultados instantáneos
Simplificador de Álgebra BooleanaPruébalo ahora — gratis ▼
Por favor, apoya a MiniWebtool
Tu bloqueador de anuncios impide que mostremos anuncios
MiniWebtool sigue siendo gratis gracias a los anuncios. Si esta herramienta te ayudó, apóyanos actualizando para navegar sin anuncios y tener más usos diarios, o permite MiniWebtool.com y recarga.
- Permite anuncios para MiniWebtool.com y recarga
- O actualiza para navegar sin anuncios y tener límites diarios más altos
Simplificador de Álgebra Booleana
El Simplificador de Álgebra Booleana reduce cualquier expresión lógica a su forma mínima utilizando el algoritmo de Quine-McCluskey y el análisis del mapa de Karnaugh. Ingrese expresiones con AND, OR, NOT, XOR, NAND, NOR (o símbolos como &, |, ~, ^, posfijo A') y reciba instantáneamente la tabla de verdad completa, un mapa de Karnaugh coloreado con bucles de implicantes primos, un gráfico de implicantes primos que marca los esenciales, una derivación paso a paso e implementaciones equivalentes solo NAND y solo NOR.
Lo que produce el simplificador
Tabla de verdad
Todas las \(2^n\) combinaciones de entrada con la salida de la expresión.
Mapa de Karnaugh
Cuadrícula de código Gray con cada implicante primo delineado.
SOP / POS mínima
Menos literales, menos términos: las formas óptimas.
Implicantes primos
Con marcadores esenciales: sepa cuáles son requeridos.
Formas NAND/NOR
Equivalentes de puertas universales para síntesis de circuitos.
Paso a paso
La derivación de Quine-McCluskey explicada.
Leyes del álgebra booleana — Referencia
| Ley | Forma OR | Forma AND |
|---|---|---|
| Identidad | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| Nula | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| Idempotente | \( A + A = A \) | \( A \cdot A = A \) |
| Complemento | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| Doble negación | \( \overline{\overline{A}} = A \) | |
| Conmutativa | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| Asociativa | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| Distributiva | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| Absorción | \( A + AB = A \) | \( A(A + B) = A \) |
| De Morgan | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| Consenso | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
Guía rápida de sintaxis de entrada
| Operador | Formas aceptadas | Ejemplo |
|---|---|---|
| AND | &, *, ·, ., concatenación AB, palabra AND, ∧ | A&B, AB, A AND B |
| OR | +, |, palabra OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, palabra NOT, posfijo ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, palabra XOR | A XOR B, A^B |
| NAND | ⊼, palabra NAND | A NAND B |
| NOR | ⊽, palabra NOR | A NOR B |
| Implica | ->, =>, palabra IMPLIES, → | A -> B |
| Equivalencia | <->, <=>, palabra IFF, ↔ | A <-> B |
| Constantes | 0 1 TRUE FALSE | A + 0, A * 1 |
El algoritmo de Quine-McCluskey
El método de Quine-McCluskey es un enfoque tabular sistemático para encontrar la expresión mínima de Suma de Productos. A diferencia del mapa de Karnaugh (que es visual y está limitado a unas 6 variables), Quine-McCluskey escala y siempre produce una cobertura mínima garantizada.
- Enumerar todos los minitérminos: cada fila de la tabla de verdad que se evalúa como 1.
- Agrupar por recuento de bits en uno: ordenar los minitérminos por la cantidad de 1 en su representación binaria.
- Combinar grupos adyacentes: los pares que difieren exactamente en un bit se fusionan, reemplazando ese bit con un guion. Repetir hasta que no sean posibles más combinaciones.
- Recopilar implicantes primos: cualquier término que nunca se haya combinado más es un implicante primo.
- Construir la tabla de implicantes primos: una cuadrícula con los primos como filas y los minitérminos como columnas. Marcar qué primos cubren qué minitérminos.
- Seleccionar primos esenciales: cualquier primo que sea el único que cubre algún minitérmino es esencial.
- Cubrir los minitérminos restantes: elegir primos adicionales para cubrir los minitérminos que aún no están cubiertos por los esenciales, minimizando el recuento de literales.
Cómo utilizar el simplificador de álgebra booleana
- Ingrese la expresión: Escriba cualquier expresión booleana utilizando la notación que prefiera. Puede mezclar estilos:
A.B + A'CyA AND B OR NOT A AND Cse analizan de forma idéntica. - Haga clic en Simplificar: La herramienta analiza, construye la tabla de verdad, ejecuta Quine-McCluskey y minimiza la expresión.
- Estudie el mapa de Karnaugh: Cada bucle de color es un implicante primo. Los primos esenciales se dibujan con líneas sólidas, los no esenciales con guiones.
- Revise los pasos: El panel paso a paso recorre desde la SOP canónica a través del descubrimiento de implicantes primos hasta la forma mínima.
- Inspeccione formas equivalentes: Utilice la POS mínima cuando su tecnología objetivo sea OR-de-AND, o la forma solo NAND cuando el objetivo sea silicio basado en NAND.
Aplicaciones
| Campo | Caso de uso |
|---|---|
| Diseño de circuitos digitales | Minimizar el recuento de puertas en la lógica combinacional: menos puertas significan menos energía, un chip más pequeño y un menor retraso de propagación. |
| Optimización del compilador | Simplificar las expresiones condicionales en las instrucciones if y las protecciones de bucle para reducir el costo de evaluación de las ramas. |
| Lógica programable (FPGA) | Hacer que quepa más lógica en las tablas de búsqueda (LUT) disponibles al producir formas de literales mínimos. |
| Optimización de consultas de base de datos | Reescribir los predicados de la cláusula WHERE en formas equivalentes pero más económicas de evaluar. |
| Verificación formal | Las formas canónicas (SOP/POS) permiten verificar la equivalencia de dos especificaciones. |
| Enseñanza / Tareas | Verificar tareas, estudiar la selección de implicantes primos y explorar estrategias de agrupación en mapas de Karnaugh. |
Preguntas frecuentes
¿Qué es la simplificación de álgebra booleana?
La simplificación de álgebra booleana reduce una expresión lógica a una expresión equivalente con menos operaciones y literales. Una expresión más simple significa menos puertas lógicas en hardware, una evaluación más rápida en software y una verificación humana más fácil. Los métodos incluyen la aplicación de leyes algebraicas, mapas de Karnaugh y el algoritmo de Quine-McCluskey; esta herramienta combina los tres.
¿Qué es una forma mínima de Suma de Productos (SOP)?
La forma mínima de Suma de Productos escribe una función booleana como una OR de los términos de producto mínimos posibles, donde cada producto utiliza la menor cantidad posible de literales. Se encuentra expandiendo la función a su SOP canónica (un minitérmino por fila verdadera) y luego combinando minitérminos adyacentes usando la regla \( XY + \overline{X}Y = Y \) hasta que no sea posible realizar más combinaciones. El resultado es un circuito AND-OR mínimo de dos niveles.
¿Cómo funciona un mapa de Karnaugh?
Un mapa de Karnaugh es una cuadrícula donde las filas y columnas están etiquetadas con patrones de bits en código Gray para que las celdas físicamente adyacentes difieran exactamente en una variable. Los grupos de celdas de 1 adyacentes de tamaños 1, 2, 4 u 8 corresponden a términos de producto que eliminan 0, 1, 2 o 3 variables respectivamente. Los grupos más grandes posibles dan el menor número de literales por término, por lo que la estrategia es "cubrir cada 1 con los rectángulos legales más grandes".
¿Qué es un implicante primo?
Un implicante primo es un término de producto que cubre un grupo de minitérminos y no puede combinarse con ningún otro grupo adyacente para formar un grupo más grande. Un implicante primo esencial es aquel que es el único implicante primo que cubre al menos un minitérmino específico; debe aparecer en cada cobertura mínima. Los primos no esenciales son opcionales y solo se incluyen cuando es necesario para cubrir los minitérminos restantes.
¿Qué sintaxis de entrada acepta el simplificador?
Puede escribir AND como
&, *, ·, ., o concatenación simple (AB significa A AND B). OR puede ser + o |. NOT puede ser ~, !, ¬, o un apóstrofe posfijo (A', (A+B)'). Los operadores de palabras AND OR NOT XOR NAND NOR IMPLIES IFF también funcionan, al igual que las formas de flecha -> y <->. Los paréntesis agrupan subexpresiones. Las constantes 0 y 1 (o TRUE/FALSE) representan valores fijos.¿Por qué son útiles las formas solo con NAND y solo con NOR?
NAND y NOR se denominan puertas universales porque cualquier función booleana puede construirse utilizando solo una de ellas. En el silicio real, las puertas NAND suelen ser las más rápidas y baratas de fabricar, por lo que los compiladores para lógica programable suelen apuntar a una lista de conexiones solo con NAND. El simplificador muestra las expresiones equivalentes solo NAND y solo NOR; una expresión solo NAND se puede leer directamente como un circuito NAND-NAND de dos niveles, que es estructuralmente idéntico a un circuito AND-OR en la teoría de conmutación.
¿Cuántas variables admite la herramienta?
Hasta 8 variables. El mapa de Karnaugh se representa para 2, 3 y 4 variables (tamaños de cuadrícula de 2×2, 2×4 y 4×4 con etiquetado de código Gray). Para 5 o más variables, la tabla de verdad crece a más de 32 filas, pero el algoritmo de Quine-McCluskey sigue produciendo la forma mínima exacta; el mapa de Karnaugh simplemente se omite ya que los mapas en 3D o divididos son difíciles de leer.
¿Puedo comprobar si dos expresiones booleanas son equivalentes?
Sí: simplifique ambas expresiones de forma independiente. Si sus formas SOP mínimas son idénticas, calculan la misma función. También puede comparar sus tablas de verdad fila por fila. El simplificador genera tanto el conjunto de minitérminos como la SOP canónica, que son huellas digitales únicas de la función.
Cite este contenido, página o herramienta como:
"Simplificador de Álgebra Booleana" en https://MiniWebtool.com/es/simplificador-de-algebra-booleana/ de MiniWebtool, https://MiniWebtool.com/
por el equipo de miniwebtool. Actualizado: 2026-04-19
API para desarrolladores disponible:
Ejecuta esta herramienta desde tu app, automatización o agente con una solicitud HTTP JSON.
Ver documentación de la API
También puede probar nuestro Solucionador de Matemáticas AI GPT para resolver sus problemas matemáticos mediante preguntas y respuestas en lenguaje natural.
Operaciones matemáticas avanzadas:
- Calculadora de Matriz de Adyacencia Nuevo
- Calculadora de Antilogaritmo Popular
- Calculadora de funciones Beta
- Calculadora de Coeficientes Binomiales
- Calculadora de distribución binomial
- Calculadora Bit a Bit
- Simplificador de Álgebra Booleana Nuevo
- Calculadora del Teorema del Límite Central Popular
- Calculadora del Teorema Chino del Resto
- Calculadora de Combinación Popular
- Calculadora de Función de Error Complementaria
- Calculadora de Números Complejos Popular
- Calculadora de fracciones continuas
- Calculadora de Desarreglo (Subfactorial)
- Calculadora de Camino más Corto de Dijkstra
- Calculadora de Entropía
- Calculadora de función error
- Calculadora de la Función Totiente de Euler
- Calculadora de decaimiento exponencial
- Calculadora de Crecimiento Exponencial de Alta Precisión
- Calculadora de Integral Exponencial
- Calculadora de Exponentes (Alta Precisión)
- Calculadora del Algoritmo Euclidiano Extendido
- Calculadora de Factorial
- Calculadora de Función Gamma
- Calculadora de Proporción Áurea Popular
- Calculadora de Coloración de Grafos Nuevo
- Validador de secuencia de grados de grafo
- Calculadora de Orden en Teoría de Grupos Nuevo
- Calculadora de Media Vida
- Verificador de Camino Hamiltoniano Nuevo
- Calculadora de Inclusión-Exclusión Nuevo
- Solucionador de Mapa de Karnaugh (K-Map) Nuevo
- Solucionador de Programación Lineal Nuevo
- Calculadora de Estado Estacionario de Cadena de Markov
- Calculadora de Árbol de Expansión Mínimo
- Calculadora de Exponenciación Modular Nuevo
- Calculadora del Inverso Multiplicativo Modular
- Calculadora de Distribución Binomial Negativa Popular
- Calculadora de Flujo de Red (Flujo Máximo) Nuevo
- Calculadora de Tasa de Crecimiento Porcentual Popular
- Calculadora de Permutación Popular
- Calculadora de Permutaciones con Repetición Nuevo
- Calculadora del Principio del Palomar
- Verificador de Grafo Planar Nuevo
- Calculadora de Distribución de Poisson
- Calculadora de Raíces de Polinomios con Pasos Detallados
- Calculadora de Raíz Primitiva
- Calculadora de probabilidad
- Calculadora de Distribución de Probabilidad
- Calculadora de Proporciones
- Calculadora de Fórmula Cuadrática
- Calculadora de Anillos y Cuerpos Nuevo
- Calculadora de Redondeo Nuevo
- Calculadora Científica Popular
- Calculadora de notación científica Popular
- Calculadora de Teoría de Conjuntos
- Calculadora de Cifras Significativas Nuevo
- Solucionador del Problema del Matrimonio Estable Nuevo
- Calculadora de Números de Stirling
- Calculadora de Suma de Cubos
- Calculadora de suma de números enteros positivos
- Calculadora de Suma de Cuadrados
- Calculadora de Ordenación Topológica Nuevo
- Solucionador del Viajante de Comercio (TSP) Nuevo
- Generador de Tabla de Verdad
- Generador de Diagrama de Venn (3 Conjuntos)