Simplifique su flujo de trabajo: Busque miniwebtool.
Añadir
Página de inicio > Matemáticas > Operaciones matemáticas avanzadas > Simplificador de Álgebra Booleana
 

Simplificador de Álgebra Booleana

Simplifique expresiones booleanas utilizando leyes algebraicas, Quine-McCluskey y minimización por mapas de Karnaugh. Introduzca cualquier expresión lógica (AND, OR, NOT, XOR, NAND, NOR) y obtenga instantáneamente la forma SOP/POS mínima, la tabla de verdad completa, la visualización del mapa K, el diagrama de puertas, la aplicación paso a paso de las leyes y los equivalentes solo con NAND/NOR.

Simplificador de Álgebra Booleana
Ejemplos:
Insertar:
SINTAXIS ACEPTADA
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR

Embed Simplificador de Álgebra Booleana Widget

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

LeyForma ORForma 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

OperadorFormas aceptadasEjemplo
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 XORA XOR B, A^B
NAND⊼, palabra NANDA NAND B
NOR⊽, palabra NORA NOR B
Implica->, =>, palabra IMPLIES, →A -> B
Equivalencia<->, <=>, palabra IFF, ↔A <-> B
Constantes0 1 TRUE FALSEA + 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.

  1. Enumerar todos los minitérminos: cada fila de la tabla de verdad que se evalúa como 1.
  2. Agrupar por recuento de bits en uno: ordenar los minitérminos por la cantidad de 1 en su representación binaria.
  3. 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.
  4. Recopilar implicantes primos: cualquier término que nunca se haya combinado más es un implicante primo.
  5. 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.
  6. Seleccionar primos esenciales: cualquier primo que sea el único que cubre algún minitérmino es esencial.
  7. 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

  1. Ingrese la expresión: Escriba cualquier expresión booleana utilizando la notación que prefiera. Puede mezclar estilos: A.B + A'C y A AND B OR NOT A AND C se analizan de forma idéntica.
  2. Haga clic en Simplificar: La herramienta analiza, construye la tabla de verdad, ejecuta Quine-McCluskey y minimiza la expresión.
  3. 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.
  4. 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.
  5. 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

CampoCaso de uso
Diseño de circuitos digitalesMinimizar 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 compiladorSimplificar 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 datosReescribir los predicados de la cláusula WHERE en formas equivalentes pero más económicas de evaluar.
Verificación formalLas formas canónicas (SOP/POS) permiten verificar la equivalencia de dos especificaciones.
Enseñanza / TareasVerificar 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

También puede probar nuestro Solucionador de Matemáticas AI GPT para resolver sus problemas matemáticos mediante preguntas y respuestas en lenguaje natural.

Otras herramientas relacionadas:

Simplificador de Expresiones Algebraicas
Convertidor de Base
Calculadora BinariaDestacado
Solucionador de Mapa de Karnaugh (K-Map)Nuevo
Solucionador de Ecuaciones Lineales
Simulador de Puertas LógicasNuevo
Calculadora de Función de MöbiusNuevo
Calculadora de Factorización de Polinomios
Generador de Tabla de VerdadNuevo

Operaciones matemáticas avanzadas:

Herramientas destacadas:

Calculadora de día del año - ¿Qué día del año es hoy?Calculadora de Signo Solar, Lunar y Ascendente 🌞🌙✨📅 Calculadora de FechaGenerador de IMEI AleatorioCalculadora de Compatibilidad AmorosaSelector de Nombre AleatorioConvertidor de Pies y Pulgadas a CentímetrosCalendario del Día del AñoConvertidor de cm a pies y pulgadasCalculadora de Número del NombreExtractor de Imágenes de VideoConvertidor de kPa a psiCalculadora de Promedio - Alta Precisiónbúsqueda-de-direcciones-MACcalculadora-de-hba1cCalculadora de SumaCalculadora de CombinaciónCalculadora de Duración de TiempoCalculadora de Desviación Estándar RelativaEliminar acentos del textoCalculadora de Móduloconvertidor ppm a porcentajeConvertidor de Porcentaje a PPMCalculadora HexadecimalGenerador Aleatorio de ListasCalculadora de Aumento PorcentualCalculadora de NumerologíaGenerador de Nombres Aleatorios📅 Calculadora de Diferencia entre FechasSelector de Películas AleatorioGenerador de Código MorseBúsqueda de ID de Usuario de InstagramSelector AleatorioEliminar espaciosBúsqueda de ID de usuario de FacebookCalculadora CPMCalculadora OctalConvertidor de Decimal a TiempoGenerador de sopa de letrasGenerador de Palabras DesordenadasConvertidor de dirección IP a binarioGenerador de cartones de bingoCalculadora BinariaConvertidor de Número a PalabraCalculadora del Signo de VenusConvertidor de FPSBola Mágica 8Generador de Superpoder AleatorioCalculadora de Número MaestroCalculadora de cociente y residuoContador de líneas¿Cuál es mi número de la suerte?Primeros n Dígitos de PiOrdenar NúmerosCreador de CrucigramasCalculadora de pendiente y gradoCalculadora de PermutaciónLanzador de MonedasCalculadora de reducción porcentualCalcular tiempo entre dos fechasGenerador de Cumpleaños AleatorioCalculadora de Distribución NormalConvertidor de números romanosConvertidor de fracción a número mixtoGenerador de números de loteríaCreador de Diagramas de Caja y BigotesCalculadora de Error PorcentualCalculadora de Coeficiente de Variación¿Cuál es mi signo del zodiaco?Convertidor de Decimal a BCDConvertidor de Notación Científica a DecimalConvertidor hexadecimal a binarioDivisor de imágenesGraficador de FuncionesCalculadora de Descuento PorcentualCalculadora de Retorno de SaturnoDivisor de AudioVerificador de Nombre de Usuario en Redes SocialesCalculadora de Cambio PorcentualCalculadora de Percentil de EstaturaConvertidor de Tiempo a DecimalCalculadora del Signo de MarteGenerador de LaberintosCalculadora de media, mediana y modaDecodificador de Código MorseCalculadora de Promedio de BateoCalculadora de Log Base 10Calculadora de la Conjetura de CollatzConvertidor de decimal a notación científicaCalculadora de RedondeoConversor de HTML a Textoconvertidor de palabras a números de teléfonoCalculadora de media aritméticaConvertidor octal a binarioConvertidor Decimal a HexadecimalFormateador de TextoGenerador de Unir los PuntosConvertidor de Porcentaje a DecimalConvertidor de psi a kPaSolucionador de InecuacionesVerificador de Camino HamiltonianoSolucionador del Viajante de Comercio (TSP)Solucionador de Programación LinealCalculadora de Inclusión-ExclusiónSolucionador de Relaciones de RecurrenciaCalculadora de Matriz de AdyacenciaCalculadora de Ordenación TopológicaCalculadora de Coloración de GrafosSimulador de Puertas LógicasSolucionador de Mapa de Karnaugh (K-Map)Simplificador de Álgebra BooleanaCalculadora de Función de ParticiónCalculadora de Raíz DigitalVerificador de Número de FibonacciCalculadora de Fracciones EgipciasCalculadora de Función de MöbiusVerificador de la Conjetura de GoldbachVerificador de Primo de MersenneBuscador de Primos GemelosVerificador de Números AmigosVerificador de Números PerfectosCalculadora de Exponenciación ModularCalculadora de Permutaciones con RepeticiónCalculadora de Tamaño del EfectoCalculadora de Riesgo RelativoCalculadora de Razón de MomiosCalculadora de Tabla de ContingenciaCalculadora de la Prueba Exacta de FisherCalculadora de Correlación de Rangos de SpearmanCalculadora de Distribución BetaCalculadora de Distribución de WeibullCalculadora de Distribución ExponencialCalculadora de Distribución GeométricaCalculadora de Distribución Binomial NegativaCalculadora de Distribución HipergeométricaCalculadora de Prueba F y Distribución FCalculadora del Teorema de BayesCalculadora de Polinomio CaracterísticoCalculadora de Potencia de MatrizCalculadora de Descomposición de CholeskyCalculadora de Descomposición QRCalculadora de Diagonalización de MatricesCalculadora de la Regla de CramerCalculadora de Espacio ColumnaCalculadora de Espacio NuloCalculadora del Ángulo entre VectoresCalculadora de Vector UnitarioCalculadora de Magnitud de VectorCalculadora de Producto VectorialCalculadora de Producto EscalarCalculadora de Multiplicación de MatricesCalculadora de Matriz InversaCalculadora RREF (Forma Escalonada Reducida por Filas)Calculadora del Método de NewtonCalculadora de Matriz JacobianaCalculadora de Integral de SuperficieCalculadora de Integral de LíneaCalculadora de RotacionalCalculadora de DivergenciaCalculadora de Gradiente MultivariableCalculadora de Optimización (Cálculo)Solucionador de Tasas RelacionadasCalculadora de Tasa de Cambio InstantáneaCalculadora de Tasa de Cambio PromedioCalculadora de Suma de Series InfinitasCalculadora de Prueba de Convergencia de SeriesCalculadora de Series de PotenciasCalculadora de Series de MaclaurinCalculadora de la Regla de L'HôpitalCalculadora de Integral ImpropiaCalculadora de la Regla de SimpsonCalculadora de la Regla del TrapecioCalculadora de Suma de RiemannGraficador de Curvas ParamétricasCalculadora de Superficie de RevoluciónCalculadora de Volumen de RevoluciónCalculadora de Distancia de Geometría CoordenadaCalculadora de la Fórmula de HerónCalculadora de Línea Tangente al CírculoCalculadora de Bisectriz del ÁnguloCalculadora de Círculo Inscrito (Incirculo)Calculadora de Círculo Circunscrito (Circuncentro)Calculadora de Distancia del Círculo MáximoCalculadora de Distancia 3DCalculadora de ToroCalculadora de Tronco de ConoCalculadora de Área de Polígono IrregularCalculadora de Polígono RegularIdentificador de Sección CónicaCalculadora de HipérbolaCalculadora de ParábolaCalculadora de Expansión del Teorema BinomialGenerador del Triángulo de PascalCalculadora de Notación de Producto (Notación Pi)Calculadora de Notación Sigma (Sumatoria)Calculadora del Teorema de la Raíz RacionalCalculadora de la Regla de los Signos de DescartesCalculadora de Líneas Paralelas y PerpendicularesCalculadora de Ecuación de la RectaConvertidor de Forma Estándar a Pendiente-OrdenadaCalculadora de Forma Punto-PendienteResolvedor de Sistema de Ecuaciones No LinealesSolucionador de Ecuaciones RacionalesResolvedor de Ecuaciones LiteralesSolucionador de Ecuaciones TrigonométricasResolvedor de Ecuaciones ExponencialesSolucionador de Ecuaciones LogarítmicasCalculadora de Ecuación CuárticaCalculadora de Ecuación CúbicaCalculadora de EstimaciónConvertidor de Número a FracciónGenerador de Conteo SalteadoCalculadora de Precio UnitarioCalculadora de Techo y PisoCalculadora de Valor AbsolutoBuscador de Patrones NuméricosGenerador de Tabla de Valor PosicionalCalculadora de Orden de Operaciones (PEMDAS)Calculadora de Suma y Resta LargaCalculadora de Multiplicación LargaGenerador de Tablas de Multiplicar🎮 Conversor de Moneda de Juego🎲 Calculadora de Probabilidad de Loot🎰 Calculadora de Pity Gacha⚔️ Calculadora de DPS🎮 Convertidor de Sensibilidad de Juegos❄️ Calculadora de Día de Nieve🚚 Estimador de Costos de Mudanza🔍 Verificador de Plagio📷 OCR / Imagen a Texto📈 Creador de Gráficos de Líneas🥧 Creador de Gráfico Circular📊 Creador de Gráficos de Barras🔊 Generador de Tonos🖱️ Contador de ClicsBloc de Notas en Línea⬛ Calculadora de Relación de Aspecto🌍 Calculadora de Huella de Carbono👙 Calculadora de Talla de SujetadorCalculadora de Tamaño de NeumáticosCalculadora de Costo de Combustible💧 Calculadora de Punto de Rocío🌡️ Calculadora de Índice de Calor🌬️ Calculadora de Sensación Térmica por Viento⏰ Despertador en Línea⏰ Calculadora de Tarjeta de Tiempo🕐 Conversor de Hora Militar⏱️ Calculadora de Horas⏱️ Cronómetro en Línea⏱️ Temporizador de Cuenta Regresiva🌐 Convertidor de Zona HorariaCalculadora de AlfombrasCalculadora de Muro de ContenciónCalculadora de Dimensionamiento HVACCalculadora de AislamientoCalculadora de AdoquinesCalculadora de VarillaCalculadora de MaderaCalculadora de Pies CuadradosCalculadora de Multiplicación CruzadaCalculadora de Resumen de Cinco NúmerosCalculadora de PercentilCalculadora de Valor pCalculadora de ProporcionesCalculadora de Completar el CuadradoCalculadora de División LargaCalculadora CientíficaTemporizador de Estudio PomodoroCalculadora de Cifras SignificativasCalculadora de Calificaciones de ExamenCalculadora de Calificaciones PonderadasCalculadora de Nota FinalCalculadora de CalificacionesCalculadora de Frecuencia de ResonanciaCalculadora de ImpedanciaCalculadora de Decibelios (dB)Calculadora de Factor de PotenciaCalculadora de constante de tiempo RCCalculadora de TransformadoresCalculadora de Calibre de CableCalculadora de Temporizador 555Calculadora de CondensadorCalculadora de Resistencias en ParaleloCalculadora de Divisor de VoltajeCalculadora de Resistencia para LEDConvertidor de Mol/Gramo/PartículaCalculadora de TitulaciónCalculadora de Punto de EbulliciónCalculadora de Fórmula EmpíricaCalculadora de Rendimiento PorcentualCalculadora de EstequiometríaBalanceador de Ecuaciones QuímicasCalculadora de DiluciónCalculadora de Caballos de FuerzaCalculadora de TorqueCalculadora de Caída LibreCalculadora de la Ley de los Gases IdealesCalculadora de PresiónCalculadora de DensidadCalculadora de Trabajo y PotenciaCalculadora de Energía PotencialCalculadora de Energía CinéticaCalculadora de Movimiento de ProyectilCalculadora de MomentoCalculadora de VelocidadCalculadora de AceleraciónCalculadora de FuerzaCalculadora de ROI de InfluencersCalculadora de ROASCalculadora de CTROptimizador de Horarios de Publicación en Redes SocialesCalculadora de ROI de Redes SocialesCalculadora de Costos de Anuncios de FacebookCalculadora de Monetización de YouTube ShortsCalculadora de Ganancias de TwitchCalculadora de Tiempo de Reproducción de YouTubeConversor de Marca de Tiempo de Twitter/XEstadísticas del Canal de YouTubeCalculadora de Dinero de TikTokGuía de Tamaños de Imagen para Redes SocialesGenerador de Fuentes para InstagramContador de Caracteres Twitter/XSelector de Comentarios de YouTubeExtractor de Etiquetas de YouTubeDescargador de Miniaturas de YouTubeEstimador de Ganancias de YouTubeGenerador de personaje RPG aleatorio