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:

Operaciones matemáticas avanzadas:

Herramientas destacadas:

Calculadora de Signo Solar, Lunar y Ascendente 🌞🌙✨Calculadora de día del año - ¿Qué día del año es hoy?📅 Calculadora de FechaCalculadora de Compatibilidad AmorosaGenerador de IMEI AleatorioSelector de Nombre AleatorioConvertidor de cm a pies y pulgadasCalendario del Día del AñoConvertidor de Pies y Pulgadas a CentímetrosCalculadora de Promedio - Alta PrecisiónGenerador de Cartas de Baraja AleatorioCalculadora de Número del Nombrecalculadora-de-hba1cCalculadora de SumaCalculadora de NumerologíaCalculadora del Signo de VenusSelector de Películas Aleatoriobúsqueda-de-direcciones-MACCalculadora de CombinaciónCalculadora de Duración de TiempoConvertidor de kPa a psiExtractor de Imágenes de VideoEliminar acentos del textoBúsqueda de ID de usuario de FacebookCalculadora de Desviación Estándar RelativaBúsqueda de ID de Usuario de InstagramCalculadora de Camino más Corto de DijkstraGenerador de Código MorseGenerador Aleatorio de ListasCalculadora de Número MaestroCalculadora del Signo de MarteEliminar espaciosSelector AleatorioCalculadora Hexadecimalconvertidor ppm a porcentajeConvertidor de Decimal a TiempoPrimeros n Dígitos de PiCalculadora de Pasos a DistanciaGenerador de anagramasCalculadora de Área de Polígono IrregularCalculadora de MóduloConvertidor de FPSCalculadora de cociente y residuoGenerador de Superpoder AleatorioContador de líneasConvertidor de Porcentaje a PPMDescargador de Miniaturas de YouTubeCalculadora de Número del AlmaGenerador de Palabras DesordenadasGenerador de Nombres AleatoriosCalculadora CPM📅 Calculadora de Diferencia entre FechasConvertidor de Número a PalabraBola Mágica 8Verificador de Nombre de Usuario en Redes SocialesSimulador de Puertas LógicasOrdenar Números¿Cuál es mi número de la suerte?Convertidor de números romanosCalculadora de Promedio de BateoDivisor de imágenesCalculadora de Aumento PorcentualCalculadora OctalConvertidor de Notación Científica a DecimalDivisor de AudioCalculadora de Número de DestinoCalculadora de Círculos🖱️ Contador de ClicsGenerador de cartones de bingoConvertidor de Metros a PiesCalculadora de Coeficiente de VariaciónCalculadora de edad¿Cuál es mi signo del zodiaco?Convertidor de dirección IP a binarioCalculadora de PermutaciónLista de Años BisiestosGenerador de Texto InvisibleConvertidor de fracción a número mixtoDecodificador de Código MorseCalculadora de media, mediana y modaCalculadora de reducción porcentualCalculadora de Número de Trayecto de VidaCreador de Diagramas de Caja y BigotesGenerador de Fechas AleatoriasAnalizador Avanzado de Compatibilidad ZodiacalGraficador de FuncionesCreador de CrucigramasGenerador de números de loteríaCalculadora de notación científicaConversor de HTML a TextoCalculadora de Error PorcentualCalculadora de números de ángelesconvertidor de palabras a números de teléfonoGenerador de Números AleatoriosConvertidor hexadecimal a binarioCalculadora de Cambio PorcentualGenerador de hora aleatoriaCalculadora de la Conjetura de CollatzCalculadora de Retorno de SaturnoLanzador de DadosLanzador de MonedasCalculadora de Horas de TrabajoHerramienta de Cifrado CésarCalculadora de pendiente y gradoCalculadora de ERACalculadora de Percentil de EstaturaConvertidor de Tiempo a DecimalGenerador de Unir los PuntosCalculadora de media aritméticaCalculadora de Mínimo Común MúltiploCalculadora de EscaleraCalculadora de Log Base 10Eliminador de Caracteres Invisiblesgenerador-de-texto-al-revésGenerador de direcciones MACConvertidor Decimal a OctalCalculadora BinariaCalculadora de Descuento PorcentualConvertidor de Tamaño de ArchivoFormateador de TextoGenerador de Números Decimales AleatoriosGenerador de País AleatorioGenerador de sopa de letras⏱️ Calculadora de Horas🌐 Convertidor de Zona HorariaGenerador de Distribución GaussianaValidador XMLCalculadora de RedondeoSimplificador de Álgebra BooleanaCalculadora de Números ComplejosGenerador de LaberintosConvertidor de Porcentaje a DecimalCalculadora de Compatibilidad de Signos LunaresCalculadora de Edad GestacionalGenerador de Coordenadas AleatoriasSolucionador de InecuacionesCalculadora del día de la semana de nacimientoConversor de Libras a KilogramosEstadísticas del Canal de YouTubeGenerador Aleatorio de Nombres en LíneaCalculadora de raíz cuadradaConvertidor de BaseCalculadora de Proporción ÁureaCalculadora de Tipo CorporalConvertidor de Lectura BiónicaGenerador de Tarjeta de Crédito AleatorioCalculadora de ComisionesConvertidor de Decimal a BCDCalculadora de número de dígitosSimplificador de FraccionesConvertidor de psi a kPaGenerador de Colores AleatoriosGenerador de letras aleatoriasConvertidor de Número a FracciónCalculadora de Tasa de Crecimiento PorcentualPredictor de peso de cachorrosGenerador de PIN AleatorioCalculadora CientíficaConvertidor de decimal a notación científicaGenerador de Cumpleaños AleatorioExtractor de AudioGraficador de funciones trigonométricasSolucionador de Mapa de Karnaugh (K-Map)Convertidor de dirección IP a hexadecimalGenerador de ítems aleatoriosCalculadora Log Base 2Generador de CriptogramaCalculadora de Diferencia de Listascalculadora-de-exponentes-alta-precisiónGenerador aleatorio de númerosEliminar saltos de líneaGenerador de Tabla de Valor PosicionalGenerador de Verdad o Reto AleatorioCalculadora de Raíz CúbicaGenerador de Plantilla de Cono DesarrolladoCalculadora de distribución binomialCalculadora de CosenoCalculadora de Log (Logaritmo)Gira la RuletaCalculadora de Punto de EquilibrioContador de SílabasCalculadora de Ganancias de TwitchConvertidor de CM a PulgadasGenerador aleatorio de animalesGenerador de cadenas aleatoriasCalculadora de CalificacionesConvertidor de Fracción a PorcentajeAnalizador de Direcciones MACConvertidor Binario a Código GrisGraficador de Curvas ParamétricasCalculadora de Distribución de ProbabilidadCalculadora de Pies CuadradosCalculadora de Rectángulo ÁureoCalculadora de TechadoCalculadora del Método de NewtonConvertidor binario a BCDConvertidor de Gramos a LibrasSolucionador de Programación LinealCalculadora de División LargaCalculadora de Run Rate de CríquetCalculadora de xG (Goles Esperados) de FútbolMarcador de TenisCalculadora de Escala de Wells TVP/EPCalculadora de la Escala de Coma de GlasgowCalculadora de Puntuación APGARCalculadora de FFMICalculadora de Carrera de 12 Minutos de CooperCalculadora del Test de Caminata de una Milla RockportCalculadora de Masa Magra a FuerzaCalculadora de Relación Carbohidratos-InsulinaCalculadora de Factor de Sensibilidad a la InsulinaConversor de Calendario HebreoConversor de Calendario HijriConvertidor de Calendario LunarCalculadora de Edad en CulturasCalculadora de Hace Cuánto TiempoCalculadora Cuánto Falta ParaGenerador de Patrones de FechasCalculadora de Fecha IntermediaSumar Días Hábiles a una FechaCalculadora de Días HábilesAnalizador de Frecuencia de PalabrasAnalizador de Variación de Longitud de OracionesEditor de Legibilidad Estilo HemingwayConvertidor de Pronunciación IPAHerramienta de Cifrado VigenèreHerramienta de Cifrado AtbashCodificador y Decodificador ROT13Visor y Eliminador de Datos EXIFTraductor de Pig LatinGenerador de BackronymsGenerador de AcrónimosVerificador de PangramasVerificador de LipogramaTrazador de Imagen a SVGConvertidor de Imagen a Arte ASCIIGenerador de Esquemas JSONPlayground de TypeScriptCompilador de Less a CSSCompilador de SCSS a CSSConversor de SVG a React/JSXConstructor de Cadenas de ConsultaAnalizador de URLValidador y Decodificador de UUIDReferencia de Códigos de Estado HTTPGenerador de Comandos cURLGenerador de Triángulo de SierpinskiTrazador de Superficies 3DTrazador de Ecuaciones PolaresGenerador de Conjunto de JuliaExplorador del Conjunto de MandelbrotGenerador de Fractales L-SystemGenerador de Triangulación de DelaunayGenerador de Diagramas de VoronoiGenerador de espirografoGenerador de TeseladosCalculadora de Capacidad de Proceso Seis SigmaGenerador de Diagramas de ParetoCalculadora de NPS (Net Promoter Score)Calculadora de Retención por CohortesCalculadora de Tasa de AbandonoCalculadora de Coste de Adquisición de Cliente (CAC)Calculadora de Valor del Tiempo de Vida del Cliente CLVCalculadora de Tasa de ConversiónCalculadora de Tamaño de Muestra para Test A/BCalculadora de Significancia de Pruebas A/BCalculadora de la Ecuación de las LentesCalculadora de Campo Magnético de un CableCalculadora de Campo EléctricoCalculadora de la Ley de CoulombCalculadora de la Ley de SnellCalculadora de Momento de InerciaCalculadora de Velocidad AngularCalculadora de Fuerza CentrípetaCalculadora del Periodo del PénduloCalculadora de Constante de ResorteCalculadora de Efecto DopplerCalculadora de Ratio de SortinoCalculadora de Ratio de TreynorCalculadora de Beta de AccionesCalculadora de Bonos del Tesoro Protegidos contra la Inflación (TIPS)Calculadora de Recálculo de HipotecaCalculadora de Tasa ForwardCalculadora de Duración del Bono (Macaulay y Modificada)Calculadora de Convexidad de BonosCalculadora de Anualidad Indexada FijaCalculadora de Anualidad VariableCalculadora de Hipoteca InversaCalculadora de Pagos de AnualidadSimulador de Soroban Ábaco JaponésMultiplicación Campesina RusaCalculadora de Trucos de Matemática VédicaCalculadora de Multiplicación EgipciaCalculadora de Matemáticas con Números RomanosEntrenador de Cálculo MentalExamen de Tablas de MultiplicarVisualizador de Llevadas y PrestadasGenerador de Descomposiciones NuméricasSolucionador de Problemas de MonedasCalculadora del Triángulo de Distancia, Velocidad y TiempoResolutor de Problemas de Tasa de TrabajoResolutor de Problemas de MezclasSolucionador de Problemas de EdadSolucionador de Problemas de Encuentro de TrenesCalculadora de HidrataciónCalculadora de Ritmo a CaloríasCalculadora de Dosis de MedicamentosCalculadora de Calorías del AlcoholCalculadora de Recomposición CorporalGenerador de Temas de Debate AleatoriosGenerador de Nombres Aleatorios para Gatos y PerrosGenerador de Versículos Bíblicos AleatoriosGenerador Aleatorio de Problemas de MatemáticasGenerador de Párrafos AleatoriosGenerador de Oraciones Aleatorias en InglésCalculadora de Grava, Arena y Tierra VegetalCalculadora de Peso de AceroCalculadora de Par de Apriete de PernosCalculadora de Flujo en TuberíasCalculadora de Carga de VigasConvertidor de Dólares a OroCalculadora de Probabilidad de OpcionesCalculadora de División de AccionesCalculadora de ESPPCalculadora de Recargo por Mora en FacturaCalculadora de Tarifa por Hora para FreelancersCalculadora de Leasing vs CompraDivisor de Propinas AvanzadoGenerador de Lista de EquipajeCalculadora de Jet LagCalculadora de Presupuesto de ViajeCalculadora de Distancia de VueloCalculadora de Pérdida de CalorCalculadora de Costo de Generación de ElectricidadCalculadora de Consumo de AguaCalculadora de Costo de Energía de ElectrodomésticosCalculadora de Auditoría Energética del HogarCalculadora de ROI SolarCalculadora de Paneles SolaresCalculadora de Compost (Relación C:N)Calculadora de Fertilizante para CéspedCalculadora de Fechas de HeladasCalculadora de Tierra para Bancal ElevadoCalculadora de Fertilizante NPKCalculadora de Tasa de Germinación de SemillasCalculadora de Bitrate de VideoTranspositor de Tonalidad MusicalCalculador de BPM por ToquesEstimador de tamaño de archivo de fotoCalculadora de Megapíxeles a Tamaño de ImpresiónCalculadora de Factor de RecorteCalculadora del Triángulo de ExposiciónCalculadora de Capacidad de Remolque del VehículoCalculadora de Arrendamiento de AutoCalculadora de 0–60 y Cuarto de MillaCalculadora de Tiempo de Carga de VECalculadora de Autonomía de VECalculadora de Distancia 3DCalculadora de ToroCalculadora de Tronco de ConoCalculadora de Polígono RegularIdentificador de Sección CónicaCalculadora de HipérbolaContador de Caracteres Twitter/XSelector de Comentarios de YouTubeExtractor de Etiquetas de YouTubeEstimador de Ganancias de YouTubeGenerador de personaje RPG aleatorio