Simplifique su flujo de trabajo: Busque miniwebtool.
Añadir
Herramientas relacionadas
Simplificador de Expresiones AlgebraicasSolucionador de Mapa de Karnaugh (K-Map)Simulador de Puertas LógicasCalculadora de Estado Estacionario de Cadena de MarkovGenerador de Tabla de Verdad
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.

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?Generador de IMEI Aleatorio📅 Calculadora de FechaCalculadora de Compatibilidad AmorosaCalculadora del Signo de VenusEliminar acentos del textoConvertidor de cm a pies y pulgadasConvertidor de Pies y Pulgadas a CentímetrosSelector de Películas AleatorioSelector de Nombre AleatorioCalendario del Día del AñoBúsqueda de ID de Usuario de InstagramConvertidor de kPa a psi📅 Calculadora de Diferencia entre FechasBúsqueda de ID de usuario de FacebookCalculadora de Número del Nombrecalculadora-de-hba1cCalculadora de Desviación Estándar RelativaCalculadora de NumerologíaCalculadora de SumaCalculadora de Número MaestroCalculadora de Duración de TiempoDescargador de Miniaturas de YouTubeExtractor de Imágenes de Videobúsqueda-de-direcciones-MACBola Mágica 8Eliminar espaciosSelector AleatorioGenerador de Cartas de Baraja Aleatorioconvertidor ppm a porcentajeConvertidor de Porcentaje a PPMCalculadora HexadecimalGenerador de Código MorseCalculadora de Promedio - Alta PrecisiónConvertidor de psi a kPaOrdenar Números¿Cuál es mi signo del zodiaco?Generador de Palabras DesordenadasCalculadora de CombinaciónDivisor de AudioCalculadora CPMDivisor de imágenesCalculadora de CírculosCalcular tiempo entre dos fechasConvertidor de Decimal a TiempoCalculadora de reducción porcentual¿Cuál es mi número de la suerte?🖱️ Contador de ClicsConvertidor de Tiempo a Decimal🌐 Convertidor de Zona HorariaGenerador de Superpoder AleatorioGenerador Aleatorio de ListasCalculadora de Número del AlmaCalculadora de Coeficiente de VariaciónCalculadora de Aumento PorcentualCalculadora del Signo de MarteCalculadora de cociente y residuoCalculadora de Área de Polígono IrregularGenerador de números de loteríaCalculadora de pendiente y gradoContador de líneasCalculadora de Número de DestinoCalculadora de notación científicaCalculadora de Edad GestacionalCalculadora de Percentil de EstaturaConvertidor de FPSCalculadora de Posición del SolConvertidor de Tamaño de ArchivoEstadísticas del Canal de YouTubeLanzador de MonedasGenerador de Verdad o Reto AleatorioCalculadora de Promedio de BateoDivisor de videoGenerador de Plantilla de Cono DesarrolladoPrimeros n Dígitos de PiCalculadora de Retorno de SaturnoGenerador de Nombres AleatoriosGenerador de Números Decimales AleatoriosGenerador de Cumpleaños AleatorioCalculadora de Error PorcentualCalculadora de PermutaciónVerificador de Nombre de Usuario en Redes SocialesCalculadora del día de la semana de nacimientoGenerador de Fechas AleatoriasFormateador de TextoGenerador de LaberintosCalculadora de Duración de BateríaCalculadora de MóduloConvertidor de fracción a número mixtoCalculadora de Log Base 10Calculadora OctalCalculadora de media aritméticaCalculadora de Número de Trayecto de VidaGenerador de sopa de letrasCalculadora de Grupo SanguíneoConvertidor de Decimal a BCDConvertidor de Número a PalabraLista de Años BisiestosCalculadora de ERAGenerador de Dirección IP AleatoriaCalculadora de Compatibilidad de Signos LunaresConversor de Calendario HebreoCalendario de Mercurio RetrógradoCalculadora de Ganancias de TwitchGenerador de Hash SHA256Validador XMLGenerador de Texto Pequeño ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾Calculadora de ProporcionesGenerador de Versículos Bíblicos AleatoriosRotar VideoCalculadora de Cambio PorcentualGenerador de cartones de bingoGenerador de ContraseñaCalculadora de Número de SemanaConvertidor de Lista de Texto a SQLGenerador de PIN AleatorioCalculadora de números de ángelesGenerador de hora aleatoriaCalculadora de EscaleraConversor de HTML a TextoCalculadora de edadCalculadora de Monetización de YouTube ShortsGenerador de Texto InvisibleEliminar saltos de líneaExtractor de AudioCalculadora de número de dígitosVerificador de Número Par o ImparCalculadora de SenoCalculadora de RedondeoCalculadora del signo de mercurioCalculadora de Log (Logaritmo)Graficador de funciones trigonométricasConvertidor octal a binarioGenerador de direcciones MACDecodificador de Código MorseGenerador de anagramasConvertidor de Notación Científica a DecimalFusionar vídeosAnalizador Avanzado de Compatibilidad ZodiacalCalculadora de Consumo de AguaGenerador de Coordenadas AleatoriasCalculadora de Porcentaje de AsistenciaCalculadora de media, mediana y modaConvertidor de dirección IP a binarioGenerador aleatorio de animalesGraficador de FuncionesGenerador de Números Enteros AleatoriosAnalizador de Direcciones MACCalculadora de Horas de TrabajoConvertidor de CMYK a hexadecimalConvertidor de tazas a gramosCalculadora de Tasa de Interés EfectivoConvertidor de Número a FracciónCalculadora de Tamaño de TVCalculadora de Tipo CorporalConvertidor Decimal a OctalGenerador de cadenas aleatoriasGenerador de Tarjeta de Crédito AleatorioCalculadora de Proporción ÁureaConvertidor hexadecimal a binarioGenerador de letras aleatoriasGraficador de Campo de Direcciones e InclinacionesCalculadora de Dinero de TikTokConvertidor de dirección IP a hexadecimalGenerador de CriptogramaHerramienta en línea para eliminar puntuaciónCalculadora de Flujo en TuberíasCalculadora de Prueba tconvertidor de palabras a números de teléfonoConvertidor de VTT a TXTGenerador de País AleatorioCalculadora de ComisionesCalculadora de Rectángulo ÁureoCalculadora de TechadoGenerador de ítems aleatoriosRepetición de TextoCalculadora de CosenoCalculadora de Diferencia de ListasConvertidor de Porcentaje a DecimalGenerador de Números AleatoriosSolucionador de InecuacionesCalculadora de la Ecuación de BernoulliConvertidor Binario a Código GrisCreador de CrucigramasExtractor de URLGenerador Aleatorio de Nombres en LíneaGenerador y Verificador de Hash BcryptEliminador de Caracteres InvisiblesCalculadora de la Ley de SnellGenerador de Unir los PuntosSimulador de Puertas LógicasCalculadora de Período de RecuperaciónContar el número de caracteresConvertidor de números romanosGenerador de acordes aleatoriosCalculadora Binaria🎰 Calculadora de Pity GachaGenerador de Killer SudokuCalculadora de Hace Cuánto TiempoCalculadora de Puntuación ACFTCalculadora de Wilks y DOTSCalculadora de Offset de LlantasBuscador de Índice de Carga y Código de Velocidad de NeumáticosCalculadora de Costo por MillaCalculadora de Compra de LeasingCalculadora de Mezcla de OctanajeCalculadora de Mezcla de Aceite 2 TiemposCalculadora de Cilindrada del MotorCalculadora de Sofá en la PuertaCalculadora de Cuerdas de LeñaCalculadora de CADR de Purificador de AireCalculadora de Tamaño de DeshumidificadorCalculadora de Tamaño de Ventilador de TechoCalculadora de Tamaño de CortinasCalculadora de Tamaño de AlfombraCalculadora de Altura para Colgar CuadrosCalculadora de Altura de Montaje de TVCalculadora de Volumen y Lámina de EstanqueCalculadora de Sal para PiscinaCalculadora de Volumen de PiscinaCalculadora de Tamaño de Calentador de AguaCalculadora de Resina EpoxiCalculadora de Espaciado de BalaustresCalculadora de Zócalos y MoldurasCalculadora de RevestimientoCalculadora de Tinte para TerrazasCalculadora de Semillas de CéspedCalculadora de CéspedCalculadora de AsfaltoCalculadora de Yardas CúbicasCalculadora de Longitud de AntenaCalculadora de Llenado de ConductoCalculadora de Condensadores en Serie y ParaleloCalculadora de Reactancia InductivaCalculadora de Iluminación de HabitacionesCalculadora de Lux a LúmenesConversor de Lúmenes a VatiosCalculadora de Tamaño de GeneradorConversor de mAh a WhCalculadora de Potencia TrifásicaCalculadora de kVACalculadora de Amperios a VatiosCalculadora de Vatios a AmperiosCalculadora de Resistencias en SerieCalculadora de FricciónCalculadora de Plano InclinadoCalculadora de Ventaja MecánicaCalculadora de Velocidad del SonidoCalculadora de Velocidad de OndaCalculadora de flotabilidadCalculadora de Velocidad TerminalCalculadora de Longitud de Onda de de BroglieCalculadora de Energía del FotónCalculadora E=mc²Calculadora de Dilatación del TiempoCalculadora de la Tercera Ley de KeplerCalculadora de Velocidad de EscapeCalculadora de Fuerza GravitacionalCalculadora de la Ley de Beer-LambertCalculadora de la Ecuación de NernstCalculadora de Presión OsmóticaCalculadora de Elevación del Punto de EbulliciónCalculadora de Descenso del Punto de CongelaciónCalculadora de Composición PorcentualCalculadora de NormalidadCalculadora de MolalidadConversor de pKa a KaCalculadora de Henderson-HasselbalchCalculadora de Rendimiento TeóricoCalculadora de Reactivo LimitanteCalculadora de Configuración ElectrónicaTabla Periódica InteractivaGenerador de Planes de Lecciones con IAGenerador de Cuestionarios con IAGenerador de Citas APA MLA ChicagoCalculadora de Puntuación APCalculadora de Puntuación ACTCalculadora de Puntuación del SATConversor de Porcentaje a CGPAConversor de CGPA a PorcentajeCalificador Fácil (EZ Grader)Calculadora del Costo de Criar un HijoCalculadora de Consumo de Leche para BebésCalculadora de Talla de PañalesGenerador de Nombres de BebéPredictor del Color de Ojos del BebéCalculadora de Percentil de IMC InfantilPredictor de Altura InfantilCalculadora de Tiempo de Duplicación de hCGCalculadora de Fecha de Parto FIVCalculadora de ImplantaciónPredictor de Sexo ChinoFormateador de Fechas ISO 8601Conversor de Fecha JulianaCalculadora de SiestaCalculadora de fases lunaresCalculadora de amanecer y atardecerWorld ClockConvertidor de Fechas a Números RomanosCuenta Regresiva para la JubilaciónCalculadora de SobriedadCalculadora de Medio CumpleañosCalculadora de AniversarioCalculadora de Reparto de PropinasCalculadora de ROI de Email MarketingCalculadora de Costo por LeadCalculadora de Capital de TrabajoEstimador de Ganancias de YouTubeGenerador de personaje RPG aleatorio